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.
50 Publications
1999 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics. JSTOR, 1999. https://doi.org/10.2307/121093.
View
| DOI
1999 | 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 | 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 | 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 | 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 | 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