Edelsbrunner H, Shah N. 1997. Triangulating topological spaces. International Journal of Computational Geometry &; Applications. 7(4), 365–378.
LibreCat: https://research-explorer.ista.ac.at/record/4018
DOI: 10.1142/S0218195997000223

Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
LibreCat: https://research-explorer.ista.ac.at/record/4174
DOI: 10.1016/S0896-6273(01)80045-3
PMID: 9010204

Heisenberg C-PJ, Nüsslein Volhard C. 1997. The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. 184(1), 85–94.
LibreCat: https://research-explorer.ista.ac.at/record/4201
DOI: 10.1006/dbio.1997.8511
PMID: 9142986 

Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

Barton NH. 1997.Natural selection and random genetic drift as causes of evolution on islands. In: Evolution on islands. , 102–123.
LibreCat: https://research-explorer.ista.ac.at/record/4284
DOI: 10.1098/rstb.1996.0073
PMID: 8693020

Henzinger TA, Kupferman O. 1997. From quantity to quality. Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 48–62.
LibreCat: https://research-explorer.ista.ac.at/record/4438
DOI: 10.1007/BFb0014712

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

Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. Proceedings of the 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

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

Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

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

Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6

Alur R, Henzinger TA. 1997. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1(1–2), 86–109.
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007

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

Alur R, Henzinger TA, Kupferman O. 1997. Alternating-time temporal logic. Proceedings of the 38th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 100–109.
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

Alur R, Courcoubetis C, Henzinger TA. 1997. Computing accumulated delays in real-time systems. Formal Methods in System Design. 11(2), 137–156.
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems. Proceedings of the 36th IEEE Conference on Decision and Control. CDC: Decision and Control, 702–707.
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. 31(2), 95–99.
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

Hunt BR, Kaloshin V. 1997. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 10(5), 1031–1046.
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002

Henzinger MH, Williamson DP. 1996. On the number of small cuts in a graph. Information Processing Letters. 59(1), 41–44.
LibreCat: https://research-explorer.ista.ac.at/record/11761
DOI: 10.1016/0020-0190(96)00079-8