Kruuk, L., Baird, S., Gale, K., &; Barton, N. H. (1999). A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. Genetics Society of America.https://doi.org/10.1093/genetics/153.4.1959 

Barton, N. H. (1999). Clines in polygenic traits. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S001667239900422X 

Edelsbrunner, H. (1999). Deformable smooth surface design. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/PL00009412 

Heisenberg, C.-P. J., Brennan, C., &; Wilson, S. (1999). Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. Company of Biologists.https://doi.org/10.1242/dev.126.10.2129 

Goodman, S., Barton, N. H., 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. Genetics Society of America.https://doi.org/10.1093/genetics/152.1.355 

Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.

Henzinger, T. A., &; Kopke, P. (1999). Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/S0304-3975(99)00038-9 

Henzinger, T. A., Qadeer, S., &; Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 301–315). Trento, Italy: Springer.https://doi.org/10.1007/3-540-48683-6_27 

Henzinger, T. A., Horowitz, B., &; Majumdar, R. (1999). Rectangular hybrid games. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 320–335). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-48320-9_23 

Henzinger, T. A., Liu, X., Qadeer, S., &; Rajamani, S. (1999). Formal specification and verification of a dataflow processor array (pp. 494–499). Presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America: IEEE.https://doi.org/10.1109/ICCAD.1999.810700 

Henzinger, T. A., Qadeer, S., &; Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer.https://doi.org/10.1007/3-540-48683-6_20 

Alur, R., &; Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008739929481 

Alur, R., Henzinger, T. A., &; Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer.https://doi.org/10.1007/3-540-49213-5_2 

Alur, R., De Alfaro, L., Henzinger, T. A., &; Mang, F. (1999). Automating modular verification. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 82–97). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-48320-9_8 

Kaloshin, V. (1999). An extension of the Artin-Mazur theorem. The Annals of Mathematics. JSTOR.https://doi.org/10.2307/121093 

Dey, T., Edelsbrunner, H., Guha, S., &; Nekhayev, D. (1999). Topology preserving edge contraction. Publications de l’Institut Mathématique. Mathematical Institute, Serbian Academy of Sciences and Arts.

Masugi, M., Yokoi, M., Shigemoto, R., Muguruma, K., Watanabe, Y., Sansig, G.,https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999__Nakanishi, S. (1999). Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999 

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. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999 

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. Elsevier.https://doi.org/10.1016/S0304-3940(98)00926-4 

Kondrashov, A., &; Kondrashov, F. (1999). Interactions among quantitative traits in the course of sympatric speciation. Nature. Nature Publishing Group.https://doi.org/10.1038/22514