Assume-guarantee refinement between different time scales
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.
LibreCat: https://research-explorer.ista.ac.at/record/4487
DOI: 10.1007/3-540-48683-6_20

Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
LibreCat: https://research-explorer.ista.ac.at/record/4582
DOI: 10.1023/A:1008739929481

Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the International Symposium on Compositionality, Springer, 1999, pp. 23–60.
LibreCat: https://research-explorer.ista.ac.at/record/4601
DOI: 10.1007/3-540-49213-5_2

Automating modular verification
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
LibreCat: https://research-explorer.ista.ac.at/record/4602
DOI: 10.1007/3-540-48320-9_8

An extension of the Artin-Mazur theorem
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
LibreCat: https://research-explorer.ista.ac.at/record/8526
DOI: 10.2307/121093

Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
LibreCat: https://research-explorer.ista.ac.at/record/3582

Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
LibreCat: https://research-explorer.ista.ac.at/record/2592
DOI: 10.1523/JNEUROSCI.19-03-00955.1999
PMID: 9920659

NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
LibreCat: https://research-explorer.ista.ac.at/record/2593
DOI: 10.1523/JNEUROSCI.19-09-03545.1999
PMID: 10212314

Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve
W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999) 119–122.
LibreCat: https://research-explorer.ista.ac.at/record/2591
DOI: 10.1016/S0304-3940(98)00926-4
PMID: 10025572

Interactions among quantitative traits in the course of sympatric speciation
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
LibreCat: https://research-explorer.ista.ac.at/record/883
DOI: 10.1038/22514
PMID: 10432111