Barton, Nicholas H. “The Geometry of Adaptation.”10.1038/27338__Nature, vol. 395, no. 6704, Nature Publishing Group, 1998, pp. 751–52, doi:10.1038/27338.
LibreCat: https://research-explorer.ista.ac.at/record/4283
DOI: 10.1038/27338

Barton, Nicholas H. “Genetics and Analysis of Quantitative Traits.”10.1017/S0016672398219732__Genetical Research, vol. 72, no. 1, Cambridge University Press, 1998, pp. 73–73, doi:10.1017/S0016672398219732.
LibreCat: https://research-explorer.ista.ac.at/record/4282
DOI: 10.1017/S0016672398219732

Preußig, Jörg, et al. “An Algorithm for the Approximative Analysis of Rectangular Automata.”10.1007/BFb0055350__Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
LibreCat: https://research-explorer.ista.ac.at/record/4410
DOI: 10.1007/BFb0055350

Raskin, Jean, et al. “Axioms for Real-Time Logics.”10.1007/BFb0055625__Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
LibreCat: https://research-explorer.ista.ac.at/record/4408
DOI: 10.1007/BFb0055625

Henzinger, Thomas A., and Vlad Rusu. “Reachability Verification for Hybrid Automata.”10.1007/3-540-64358-3_40__Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
LibreCat: https://research-explorer.ista.ac.at/record/4429
DOI: 10.1007/3-540-64358-3_40

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

Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.”10.1007/3-540-49519-3_27__Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27

Henzinger, Thomas A., et al. “The Regular Real-Time Languages.”10.1007/BFb0055086__Proceedings of the 25th International Colloqium on Automata, Languages and Programming, vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
LibreCat: https://research-explorer.ista.ac.at/record/4490
DOI: 10.1007/BFb0055086

Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.”10.1007/BFb0028745__Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
LibreCat: https://research-explorer.ista.ac.at/record/4489
DOI: 10.1007/BFb0028745

Henzinger, Thomas A., et al. “You Assume, We Guarantee: Methodology and Case Studies.”10.1007/BFb0028765__Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 440–51, doi:10.1007/BFb0028765.
LibreCat: https://research-explorer.ista.ac.at/record/4488
DOI: 10.1007/BFb0028765

Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.”10.1109/9.664156 __IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
LibreCat: https://research-explorer.ista.ac.at/record/4491
DOI: 10.1109/9.664156 

Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?”10.1006/jcss.1998.1581__Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
LibreCat: https://research-explorer.ista.ac.at/record/4492
DOI: 10.1006/jcss.1998.1581

Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.”10.1007/BFb0055640__Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
LibreCat: https://research-explorer.ista.ac.at/record/4515
DOI: 10.1007/BFb0055640

Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.”10.1007/BFb0054181__Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1384, Springer, 1998, pp. 330–44, doi:10.1007/BFb0054181.
LibreCat: https://research-explorer.ista.ac.at/record/4606
DOI: 10.1007/BFb0054181

Alur, Rajeev, et al. “Alternating Refinement Relations.”10.1007/BFb0055622__Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055622.
LibreCat: https://research-explorer.ista.ac.at/record/4603
DOI: 10.1007/BFb0055622

Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.”10.1007/BFb0028774__Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
LibreCat: https://research-explorer.ista.ac.at/record/4604
DOI: 10.1007/BFb0028774

De Alfaro, Luca, et al. “Concurrent Reachability Games.”10.1109/SFCS.1998.743507Â  __10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507Â  .
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507  

de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.”10.1016/s0092-8674(00)81609-8__Cell, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:10.1016/s0092-8674(00)81609-8.
LibreCat: https://research-explorer.ista.ac.at/record/6160
DOI: 10.1016/s0092-8674(00)81609-8
PMID: 9741632