The geometry of adaptation
N.H. Barton, Nature 395 (1998) 751–752.
LibreCat: https://research-explorer.ista.ac.at/record/4283
DOI: 10.1038/27338

Genetics and analysis of quantitative traits
N.H. Barton, Genetical Research 72 (1998) 73–73.
LibreCat: https://research-explorer.ista.ac.at/record/4282
DOI: 10.1017/S0016672398219732

An algorithm for the approximative analysis of rectangular automata
J. Preußig, S. Kowalewski, H. Wong Toi, T.A. Henzinger, in:, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1998, pp. 228–240.
LibreCat: https://research-explorer.ista.ac.at/record/4410
DOI: 10.1007/BFb0055350

Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–236.
LibreCat: https://research-explorer.ista.ac.at/record/4408
DOI: 10.1007/BFb0055625

Reachability verification for hybrid automata
T.A. Henzinger, V. Rusu, in:, Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, Springer, 1998, pp. 190–204.
LibreCat: https://research-explorer.ista.ac.at/record/4429
DOI: 10.1007/3-540-64358-3_40

HSCC: Hybrid Systems—Computation and Control
T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
LibreCat: https://research-explorer.ista.ac.at/record/4430
DOI: 10.1007/3-540-64358-3

An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Springer, 1998, pp. 421–432.
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27

The regular real-time languages
T.A. Henzinger, J. Raskin, P. Schobbens, in:, Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Springer, 1998, pp. 580–591.
LibreCat: https://research-explorer.ista.ac.at/record/4490
DOI: 10.1007/BFb0055086

From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 195–206.
LibreCat: https://research-explorer.ista.ac.at/record/4489
DOI: 10.1007/BFb0028745

You assume, we guarantee: Methodology and case studies
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 440–451.
LibreCat: https://research-explorer.ista.ac.at/record/4488
DOI: 10.1007/BFb0028765

Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554.
LibreCat: https://research-explorer.ista.ac.at/record/4491
DOI: 10.1109/9.664156 

What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
LibreCat: https://research-explorer.ista.ac.at/record/4492
DOI: 10.1006/jcss.1998.1581

It's about time: Real-time logics reviewed
T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
LibreCat: https://research-explorer.ista.ac.at/record/4515
DOI: 10.1007/BFb0055640

Symbolic exploration of transition hierarchies
R. Alur, T.A. Henzinger, S. Rajamani, in:, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1998, pp. 330–344.
LibreCat: https://research-explorer.ista.ac.at/record/4606
DOI: 10.1007/BFb0054181

Alternating refinement relations
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
LibreCat: https://research-explorer.ista.ac.at/record/4603
DOI: 10.1007/BFb0055622

Mocha: Modularity in model checking
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525.
LibreCat: https://research-explorer.ista.ac.at/record/4604
DOI: 10.1007/BFb0028774

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:,  Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507  

Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans
M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.
LibreCat: https://research-explorer.ista.ac.at/record/6160
DOI: 10.1016/s0092-8674(00)81609-8
PMID: 9741632