Kruuk L, Baird S, Gale K, Barton NH. A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. 1999;153(4):1959-1971. doi:10.1093/genetics/153.4.1959
LibreCat: https://research-explorer.ista.ac.at/record/3626
DOI: 10.1093/genetics/153.4.1959
PMID: 10581299

Barton NH. Clines in polygenic traits. Genetical Research. 1999;74(3):223-236. doi:10.1017/S001667239900422X
LibreCat: https://research-explorer.ista.ac.at/record/3625
DOI: 10.1017/S001667239900422X
PMID: 10689800 

Edelsbrunner H. Deformable smooth surface design. Discrete &; Computational Geometry. 1999;21(1):87-115. doi:10.1007/PL00009412
LibreCat: https://research-explorer.ista.ac.at/record/4014
DOI: 10.1007/PL00009412

Heisenberg C-PJ, Brennan C, Wilson S. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 1999;126(10):2129-2140. doi:10.1242/dev.126.10.2129
LibreCat: https://research-explorer.ista.ac.at/record/4204
DOI: 10.1242/dev.126.10.2129
PMID: 10207138

Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 1999;152(1):355-371. doi:10.1093/genetics/152.1.355
LibreCat: https://research-explorer.ista.ac.at/record/4279
DOI: 10.1093/genetics/152.1.355
PMID: 10224266

Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.
LibreCat: https://research-explorer.ista.ac.at/record/4411

Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9
LibreCat: https://research-explorer.ista.ac.at/record/4442
DOI: 10.1016/S0304-3975(99)00038-9

Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27
LibreCat: https://research-explorer.ista.ac.at/record/4484
DOI: 10.1007/3-540-48683-6_27

Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
LibreCat: https://research-explorer.ista.ac.at/record/4485
DOI: 10.1007/3-540-48320-9_23

Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700
LibreCat: https://research-explorer.ista.ac.at/record/4480
DOI: 10.1109/ICCAD.1999.810700

Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:208-221. doi: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 R, Henzinger TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
LibreCat: https://research-explorer.ista.ac.at/record/4582
DOI: 10.1023/A:1008739929481

Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the International Symposium on Compositionality. Vol 1536. Springer; 1999:23-60. doi: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 R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi: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 V. An extension of the Artin-Mazur theorem. The Annals of Mathematics. 1999;150(2):729-741. doi:10.2307/121093
LibreCat: https://research-explorer.ista.ac.at/record/8526
DOI: 10.2307/121093

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

Masugi M, Yokoi M, Shigemoto R, et al. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 1999;19(3):955-963. doi: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 X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 1999;19(9):3545-3555. doi: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 W, Shigemoto R, Haberberger R. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 1999;259(2):119-122. doi: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 A, Kondrashov F. Interactions among quantitative traits in the course of sympatric speciation. Nature. 1999;400(6742):351-354. doi:10.1038/22514
LibreCat: https://research-explorer.ista.ac.at/record/883
DOI: 10.1038/22514
PMID: 10432111