Otto, S., &; Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics. Genetics Society of America.https://doi.org/10.1093/genetics/147.2.879 
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

Barton, N. H. (1997). Natural selection and random genetic drift as causes of evolution on islands. In Evolution on islands (pp. 102–123). Oxford University Press.https://doi.org/10.1098/rstb.1996.0073 
LibreCat: https://research-explorer.ista.ac.at/record/4284
DOI: 10.1098/rstb.1996.0073
PMID: 8693020

Henzinger, T. A., &; Kupferman, O. (1997). From quantity to quality. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 48–62). Grenoble, France: Springer.https://doi.org/10.1007/BFb0014712 
LibreCat: https://research-explorer.ista.ac.at/record/4438
DOI: 10.1007/BFb0014712

Henzinger, T. A., &; Kopke, P. (1997). Discrete-time control for rectangular hybrid automata. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 582–593). Bologna, Italy: Springer.https://doi.org/10.1007/3-540-63165-8_213 
LibreCat: https://research-explorer.ista.ac.at/record/4441
DOI: 10.1007/3-540-63165-8_213

Henzinger, T. A., Kupferman, O., &; Rajamani, S. (1997). Fair simulation. In Proceedings of the 8th International Conference on Concurrency Theory (Vol. 1243, pp. 273–287). Warsaw, Poland: Springer.https://doi.org/10.1007/3-540-63141-0_19 
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

Henzinger, T. A., Ho, P., &; Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Haifa, Israel: Springer.https://doi.org/10.1007/3-540-63166-6_48 
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48

Henzinger, T. A., Ho, P., &; Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer.https://doi.org/10.1007/s100090050008 
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

Gupta, V., Henzinger, T. A., &; Jagadeesan, R. (1997). Robust timed automata. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 331–345). Grenoble, France: Springer.https://doi.org/10.1007/BFb0014736 
LibreCat: https://research-explorer.ista.ac.at/record/4520
DOI: 10.1007/BFb0014736

Alur, R., &; Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-63141-0_6 
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6

Alur, R., &; Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer.https://doi.org/10.1007/s100090050007 
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007

Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., &; Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration. In 9th International Conference on Computer Aided Verification (Vol. 1254, pp. 340–351). Haifa, Israel: Springer.https://doi.org/10.1007/3-540-63166-6_34 
LibreCat: https://research-explorer.ista.ac.at/record/4608
DOI: 10.1007/3-540-63166-6_34

Alur, R., Henzinger, T. A., &; Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (pp. 100–109). Washington, DC, United States: Association for Computing Machinery (ACM).https://doi.org/10.1145/585265.585270 
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

Alur, R., Courcoubetis, C., &; Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008626013578 
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Alur, R., Henzinger, T. A., &; Wong Toi, H. (1997). Symbolic analysis of hybrid systems. In Proceedings of the 36th IEEE Conference on Decision and Control (pp. 702–707). San Diego, CA, USA: IEEE.https://doi.org/10.1109/CDC.1997.650717Â   
LibreCat: https://research-explorer.ista.ac.at/record/4605
DOI: 10.1109/CDC.1997.650717  

Kaloshin, V. (1997). Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. Springer Nature.https://doi.org/10.1007/bf02466014 
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

Hunt, B. R., &; Kaloshin, V. (1997). How projections affect the dimension spectrum of fractal measures. Nonlinearity. IOP Publishing.https://doi.org/10.1088/0951-7715/10/5/002 
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002