Whitlock, Michael, and Nicholas H Barton. “The Effective Size of a Subdivided Population.”https://doi.org/10.1093/genetics/146.1.427__Genetics. Genetics Society of America, 1997.https://doi.org/10.1093/genetics/146.1.427 .
LibreCat: https://research-explorer.ista.ac.at/record/3630
DOI: 10.1093/genetics/146.1.427
PMID: 9136031 

Kawecki, Tadeusz, Nicholas H Barton, and James Fry. “Mutational Collapse of Fitness in Marginal Habitats and the Evolution of Ecological Specialisation.”https://doi.org/10.1046/j.1420-9101.1997.10030407.x__Journal of Evolutionary Biology. Wiley-Blackwell, 1997.https://doi.org/10.1046/j.1420-9101.1997.10030407.x .
LibreCat: https://research-explorer.ista.ac.at/record/3631
DOI: 10.1046/j.1420-9101.1997.10030407.x

Edelsbrunner, Herbert, and Nimish Shah. “Triangulating Topological Spaces.”https://doi.org/10.1142/S0218195997000223__International Journal of Computational Geometry &; Applications. World Scientific Publishing, 1997.https://doi.org/10.1142/S0218195997000223 .
LibreCat: https://research-explorer.ista.ac.at/record/4018
DOI: 10.1142/S0218195997000223

Masai, Ichiro, Carl-Philipp J Heisenberg, K Anukampa Barth, Rachel Macdonald, Sylwia Adamek, and Stephen Wilson. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.”https://doi.org/10.1016/S0896-6273(01)80045-3__Neuron. Elsevier, 1997.https://doi.org/10.1016/S0896-6273(01)80045-3 .
LibreCat: https://research-explorer.ista.ac.at/record/4174
DOI: 10.1016/S0896-6273(01)80045-3
PMID: 9010204

Heisenberg, Carl-Philipp J, and Christiane Nüsslein Volhard. “The Function of Silberblick in the Positioning of the Eye Anlage in the Zebrafish Embryo.”https://doi.org/10.1006/dbio.1997.8511__Developmental Biology. Elsevier, 1997.https://doi.org/10.1006/dbio.1997.8511 .
LibreCat: https://research-explorer.ista.ac.at/record/4201
DOI: 10.1006/dbio.1997.8511
PMID: 9142986 

Otto, Sarah, and Nicholas H Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.”https://doi.org/10.1093/genetics/147.2.879__Genetics. Genetics Society of America, 1997.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, Nicholas H. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.”https://doi.org/10.1098/rstb.1996.0073__In Evolution on Islands, 102–23. Oxford University Press, 1997.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, Thomas A, and Orna Kupferman. “From Quantity to Quality.”https://doi.org/10.1007/BFb0014712__In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:48–62. Springer, 1997.https://doi.org/10.1007/BFb0014712 .
LibreCat: https://research-explorer.ista.ac.at/record/4438
DOI: 10.1007/BFb0014712

Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.”https://doi.org/10.1007/3-540-63165-8_213__In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997.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, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1007/3-540-63141-0_19__In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997.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, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,”https://doi.org/10.1007/3-540-63166-6_48__1254:460–63. Springer, 1997.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, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.”https://doi.org/10.1007/s100090050008__Software Tools For Technology Transfer. Springer, 1997.https://doi.org/10.1007/s100090050008 .
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.”https://doi.org/10.1007/BFb0014736__In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997.https://doi.org/10.1007/BFb0014736 .
LibreCat: https://research-explorer.ista.ac.at/record/4520
DOI: 10.1007/BFb0014736

Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-63141-0_6__In 8th International Conference on Concurrency Theory, 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997.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, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.”https://doi.org/10.1007/s100090050007__Software Tools For Technology Transfer. Springer, 1997.https://doi.org/10.1007/s100090050007 .
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007

Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.”https://doi.org/10.1007/3-540-63166-6_34__In 9th International Conference on Computer Aided Verification, 1254:340–51. Springer, 1997.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, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997.https://doi.org/10.1145/585265.585270 .
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.”https://doi.org/10.1023/A:1008626013578__Formal Methods in System Design. Springer, 1997.https://doi.org/10.1023/A:1008626013578 .
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.”https://doi.org/10.1109/CDC.1997.650717Â  __In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997.https://doi.org/10.1109/CDC.1997.650717Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4605
DOI: 10.1109/CDC.1997.650717  

Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.”https://doi.org/10.1007/bf02466014__Functional Analysis and Its Applications. Springer Nature, 1997.https://doi.org/10.1007/bf02466014 .
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014