Szymura, J., &; Barton, N. H. (1991). The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. Wiley-Blackwell.https://doi.org/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, N. H., &; Turelli, M. (1991). Natural and sexual selection on many loci. Genetics. Genetics Society of America.https://doi.org/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, N. H., &; Rouhani, S. (1991). The probability of fixation of a new karyotype in a continuous population. Evolution. Wiley-Blackwell.https://doi.org/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, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., &; Snoeyink, J. (1991). Ray shooting in polygons using geodesic triangulations. In 18th International Colloquium on Automata, Languages and Programming (Vol. 510, pp. 661–673). Madrid, Spain: Springer.https://doi.org/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, P., Edelsbrunner, H., Schwarzkopf, O., &; Welzl, E. (1991). Euclidean minimum spanning trees and bichromatic closest pairs. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/BF02574698 
LibreCat: https://research-explorer.ista.ac.at/record/4061
DOI: 10.1007/BF02574698

Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., &; Wenger, R. (1991). Points and triangles in the plane and halving planes in space. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/BF02574700 
LibreCat: https://research-explorer.ista.ac.at/record/4062
DOI: 10.1007/BF02574700

Henzinger, T. A., Manna, Z., &; Pnueli, A. (1991). Temporal proof methodologies for real-time systems. In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 353–366). Orlando, FL, United States of America: ACM.https://doi.org/10.1145/99583.99629 
LibreCat: https://research-explorer.ista.ac.at/record/4508
DOI: 10.1145/99583.99629

Henzinger, T. A. (1991). The temporal specification and verification of real-time systems . Stanford University.
LibreCat: https://research-explorer.ista.ac.at/record/4516

Alur, R., &; Henzinger, T. A. (1991). Time for logic. SIGACT News. ACM.
LibreCat: https://research-explorer.ista.ac.at/record/4592

Alur, R., Feder, T., &; Henzinger, T. A. (1991). The benefits of relaxing punctuality. In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing (pp. 139–152). Montreal, Canada: ACM.https://doi.org/10.1145/227595.227602 
LibreCat: https://research-explorer.ista.ac.at/record/4621
DOI: 10.1145/227595.227602