Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6978 Publications
1999 |Published| Journal Article | IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry. Springer, 1999. https://doi.org/10.1007/PL00009412.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 4204
Heisenberg, Carl-Philipp J, Caroline Brennan, and Stephen Wilson. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development. Company of Biologists, 1999. https://doi.org/10.1242/dev.126.10.2129.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 4279
Goodman, Simon, Nicholas H Barton, Graeme Swanson, Kate Abernethy, and Josephine Pemberton. “Introgression through Rare Hybridisation: A Genetic Study of a Hybrid Zone between Red and Sika Deer (Genus Cervus), in Argyll, Scotland.” Genetics. Genetics Society of America, 1999. https://doi.org/10.1093/genetics/152.1.355.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Thesis | IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View
| Download None (ext.)
1999 |Published| Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science. Elsevier, 1999. https://doi.org/10.1016/S0304-3975(99)00038-9.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_23.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,” 494–99. IEEE, 1999. https://doi.org/10.1109/ICCAD.1999.810700.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” Formal Methods in System Design. Springer, 1999. https://doi.org/10.1023/A:1008739929481.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999. https://doi.org/10.1007/3-540-49213-5_2.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:82–97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_8.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 3582 | 
Dey, Tamal, Herbert Edelsbrunner, Sumanta Guha, and Dmitry Nekhayev. “Topology Preserving Edge Contraction.” Publications de l’Institut Mathématique. Mathematical Institute, Serbian Academy of Sciences and Arts, 1999.
View
| Download None (ext.)
1999 |Published| Journal Article | IST-REx-ID: 2592 |
Masugi, Miwako, Mineto Yokoi, Ryuichi Shigemoto, Keiko Muguruma, Yasuyoshi Watanabe, Gilles Sansig, Herman Van Der Putten, and Shigetada Nakanishi. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2593 |
Yu, Xiao, En Zhang, Arthur Craig, Ryuichi Shigemoto, Alfredo Ribeiro Da Silva, and Yves De Koninck. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2591
Kummer, Wolfgang, Ryuichi Shigemoto, and Rainer Haberberger. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters. Elsevier, 1999. https://doi.org/10.1016/S0304-3940(98)00926-4.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature. Nature Publishing Group, 1999. https://doi.org/10.1038/22514.
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1450 |
Hausel, Tamás. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” Advances in Theoretical and Mathematical Physics. International Press, 1998. https://doi.org/10.4310/ATMP.1998.v2.n5.a3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 |Published| Journal Article | IST-REx-ID: 1449 |
Hausel, Tamás. “Compactification of Moduli of Higgs Bundles.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 1998. https://doi.org/10.1515/crll.1998.096.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 |Published| Journal Article | IST-REx-ID: 1956 |
Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” PNAS. National Academy of Sciences, 1998. https://doi.org/10.1073/pnas.95.3.1319.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC