S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2. Genetics Society of America, pp. 879–906, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

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

T. A. Henzinger and O. Kupferman, “From quantity to quality,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 48–62.
LibreCat: https://research-explorer.ista.ac.at/record/4438
DOI: 10.1007/BFb0014712

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

T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” in Proceedings of the 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 460–463.
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48

T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 110–122, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 331–345.
LibreCat: https://research-explorer.ista.ac.at/record/4520
DOI: 10.1007/BFb0014736

R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” in 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6

R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 86–109, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007

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

R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 1997, pp. 100–109.
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2. Springer, pp. 137–156, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

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

V. Kaloshin, “Prevalence in the space of finitely smooth maps,” Functional Analysis and Its Applications, vol. 31, no. 2. Springer Nature, pp. 95–99, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

B. R. Hunt and V. Kaloshin, “How projections affect the dimension spectrum of fractal measures,” Nonlinearity, vol. 10, no. 5. IOP Publishing, pp. 1031–1046, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002