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

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

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

Alur R, De Alfaro L, Henzinger TA, Mang F. 1999. Automating modular verification. Proceedings of the 10th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1664, 82–97.
LibreCat: https://research-explorer.ista.ac.at/record/4602
DOI: 10.1007/3-540-48320-9_8

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

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

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

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

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

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