L. Kruuk, S. Baird, K. Gale, and N. H. Barton, “A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids,” Genetics, vol. 153, no. 4. Genetics Society of America, pp. 1959–1971, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/3626
DOI: 10.1093/genetics/153.4.1959
PMID: 10581299

N. H. Barton, “Clines in polygenic traits,” Genetical Research, vol. 74, no. 3. Cambridge University Press, pp. 223–236, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/3625
DOI: 10.1017/S001667239900422X
PMID: 10689800 

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

C.-P. J. Heisenberg, C. Brennan, and S. Wilson, “Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development,” Development, vol. 126, no. 10. Company of Biologists, pp. 2129–2140, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/4204
DOI: 10.1242/dev.126.10.2129
PMID: 10207138

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

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

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

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

T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.
LibreCat: https://research-explorer.ista.ac.at/record/4485
DOI: 10.1007/3-540-48320-9_23

T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America, 1999, pp. 494–499.
LibreCat: https://research-explorer.ista.ac.at/record/4480
DOI: 10.1109/ICCAD.1999.810700

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

R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1. Springer, pp. 7–48, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/4582
DOI: 10.1023/A:1008739929481

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

R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 82–97.
LibreCat: https://research-explorer.ista.ac.at/record/4602
DOI: 10.1007/3-540-48320-9_8

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

T. Dey, H. Edelsbrunner, S. Guha, and D. Nekhayev, “Topology preserving edge contraction,” Publications de l’Institut Mathématique, vol. 66. Mathematical Institute, Serbian Academy of Sciences and Arts, pp. 23–45, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/3582

M. Masugi et al., “Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion,” Journal of Neuroscience, vol. 19, no. 3. Society for Neuroscience, pp. 955–963, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/2592
DOI: 10.1523/JNEUROSCI.19-03-00955.1999
PMID: 9920659

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

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

A. Kondrashov and F. Kondrashov, “Interactions among quantitative traits in the course of sympatric speciation,” Nature, vol. 400, no. 6742. Nature Publishing Group, pp. 351–354, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/883
DOI: 10.1038/22514
PMID: 10432111