Szymura, Jacek, and Nicholas H. Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.”10.1111/j.1558-5646.1991.tb04400.x__Evolution, vol. 45, no. 2, Wiley-Blackwell, 1991, pp. 237–61, doi:10.1111/j.1558-5646.1991.tb04400.x.
LibreCat: https://research-explorer.ista.ac.at/record/3646
DOI: 10.1111/j.1558-5646.1991.tb04400.x
PMID: 28567861 

Barton, Nicholas H., and Michael Turelli. “Natural and Sexual Selection on Many Loci.”10.1093/genetics/127.1.229__Genetics, vol. 127, no. 1, Genetics Society of America, 1991, pp. 229–55, doi:10.1093/genetics/127.1.229.
LibreCat: https://research-explorer.ista.ac.at/record/3647
DOI: 10.1093/genetics/127.1.229
PMID: 2016044

Barton, Nicholas H., and Shahin Rouhani. “The Probability of Fixation of a New Karyotype in a Continuous Population.”10.1111/j.1558-5646.1991.tb04326.x__Evolution, vol. 45, no. 3, Wiley-Blackwell, 1991, pp. 499–517, doi:10.1111/j.1558-5646.1991.tb04326.x.
LibreCat: https://research-explorer.ista.ac.at/record/3648
DOI: 10.1111/j.1558-5646.1991.tb04326.x
PMID: 28568824

Chazelle, Bernard, et al. “Ray Shooting in Polygons Using Geodesic Triangulations.”10.1007/3-540-54233-7_172__18th International Colloquium on Automata, Languages and Programming, vol. 510, Springer, 1991, pp. 661–73, doi:10.1007/3-540-54233-7_172.
LibreCat: https://research-explorer.ista.ac.at/record/4059
DOI: 10.1007/3-540-54233-7_172

Agarwal, Pankaj, et al. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.”10.1007/BF02574698__Discrete &; Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 407–22, doi:10.1007/BF02574698.
LibreCat: https://research-explorer.ista.ac.at/record/4061
DOI: 10.1007/BF02574698

Aronov, Boris, et al. “Points and Triangles in the Plane and Halving Planes in Space.”10.1007/BF02574700__Discrete &; Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 435–42, doi:10.1007/BF02574700.
LibreCat: https://research-explorer.ista.ac.at/record/4062
DOI: 10.1007/BF02574700

Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Real-Time Systems.”10.1145/99583.99629__Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
LibreCat: https://research-explorer.ista.ac.at/record/4508
DOI: 10.1145/99583.99629

Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
LibreCat: https://research-explorer.ista.ac.at/record/4516

Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News, vol. 22, no. 3, ACM, 1991, pp. 6–12.
LibreCat: https://research-explorer.ista.ac.at/record/4592

Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.”10.1145/227595.227602__Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–52, doi:10.1145/227595.227602.
LibreCat: https://research-explorer.ista.ac.at/record/4621
DOI: 10.1145/227595.227602