Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.”https://doi.org/10.1007/3-540-48683-6_20__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 .
LibreCat: https://research-explorer.ista.ac.at/record/4487
DOI: 10.1007/3-540-48683-6_20

Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.”https://doi.org/10.1023/A:1008739929481__Formal Methods in System Design. Springer, 1999.https://doi.org/10.1023/A:1008739929481 .
LibreCat: https://research-explorer.ista.ac.at/record/4582
DOI: 10.1023/A:1008739929481

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1007/3-540-49213-5_2__In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999.https://doi.org/10.1007/3-540-49213-5_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4601
DOI: 10.1007/3-540-49213-5_2

Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.”https://doi.org/10.1007/3-540-48320-9_8__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 .
LibreCat: https://research-explorer.ista.ac.at/record/4602
DOI: 10.1007/3-540-48320-9_8

Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.”https://doi.org/10.2307/121093__The Annals of Mathematics. JSTOR, 1999.https://doi.org/10.2307/121093 .
LibreCat: https://research-explorer.ista.ac.at/record/8526
DOI: 10.2307/121093

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.
LibreCat: https://research-explorer.ista.ac.at/record/3582

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.”https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999__Journal of Neuroscience. Society for Neuroscience, 1999.https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999 .
LibreCat: https://research-explorer.ista.ac.at/record/2592
DOI: 10.1523/JNEUROSCI.19-03-00955.1999
PMID: 9920659

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.”https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999__Journal of Neuroscience. Society for Neuroscience, 1999.https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999 .
LibreCat: https://research-explorer.ista.ac.at/record/2593
DOI: 10.1523/JNEUROSCI.19-09-03545.1999
PMID: 10212314

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.”https://doi.org/10.1016/S0304-3940(98)00926-4__Neuroscience Letters. Elsevier, 1999.https://doi.org/10.1016/S0304-3940(98)00926-4 .
LibreCat: https://research-explorer.ista.ac.at/record/2591
DOI: 10.1016/S0304-3940(98)00926-4
PMID: 10025572

Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.”https://doi.org/10.1038/22514__Nature. Nature Publishing Group, 1999.https://doi.org/10.1038/22514 .
LibreCat: https://research-explorer.ista.ac.at/record/883
DOI: 10.1038/22514
PMID: 10432111