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

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

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

Heisenberg C-PJ, Brennan C, Wilson S. 1999. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 126(10), 2129–2140.
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. 1999. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 152(1), 355–371.
LibreCat: https://research-explorer.ista.ac.at/record/4279
DOI: 10.1093/genetics/152.1.355
PMID: 10224266

Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4411

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

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

Henzinger TA, Horowitz B, Majumdar R. 1999. Rectangular hybrid games. Proceedings of the 10th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1664, 320–335.
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. 1999. Formal specification and verification of a dataflow processor array. ICCAD: Computer-Aided Design, 494–499.
LibreCat: https://research-explorer.ista.ac.at/record/4480
DOI: 10.1109/ICCAD.1999.810700

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