Otto, Sarah, and Nicholas H. Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.”10.1093/genetics/147.2.879__Genetics, vol. 147, no. 2, Genetics Society of America, 1997, pp. 879–906, doi: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.”10.1098/rstb.1996.0073__Evolution on Islands, Oxford University Press, 1997, pp. 102–23, doi: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.”10.1007/BFb0014712__Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 48–62, doi: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.”10.1007/3-540-63165-8_213__Proceedings of the 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer, 1997, pp. 582–93, doi: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., et al. “Fair Simulation.”10.1007/3-540-63141-0_19__Proceedings of the 8th International Conference on Concurrency Theory, vol. 1243, Springer, 1997, pp. 273–87, doi: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., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi: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., et al. “HyTech: A Model Checker for Hybrid Systems.”10.1007/s100090050008__Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

Gupta, Vineet, et al. “Robust Timed Automata.”10.1007/BFb0014736__Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 331–45, doi: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.”10.1007/3-540-63141-0_6__8th International Conference on Concurrency Theory, vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi: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.”10.1007/s100090050007__Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007

Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.”10.1007/3-540-63166-6_34__9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi: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, et al. “Alternating-Time Temporal Logic.”10.1145/585265.585270__Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–09, doi:10.1145/585265.585270.
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.”10.1023/A:1008626013578__Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.”10.1109/CDC.1997.650717Â  __Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–07, doi: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.”10.1007/bf02466014__Functional Analysis and Its Applications, vol. 31, no. 2, Springer Nature, 1997, pp. 95–99, doi:10.1007/bf02466014.
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

Hunt, Brian R., and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.”10.1088/0951-7715/10/5/002__Nonlinearity, vol. 10, no. 5, IOP Publishing, 1997, pp. 1031–46, doi:10.1088/0951-7715/10/5/002.
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002