Barton, N. H. (1998). The geometry of adaptation. Nature. Nature Publishing Group.https://doi.org/10.1038/27338 

Barton, N. H. (1998). Genetics and analysis of quantitative traits. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672398219732 

Preußig, J., Kowalewski, S., Wong Toi, H., &; Henzinger, T. A. (1998). An algorithm for the approximative analysis of rectangular automata. In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 1486, pp. 228–240). Lyngby, Denmark: Springer.https://doi.org/10.1007/BFb0055350 

Raskin, J., Schobbens, P., &; Henzinger, T. A. (1998). Axioms for real-time logics. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 219–236). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/BFb0055625 

Henzinger, T. A., &; Rusu, V. (1998). Reachability verification for hybrid automata. In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control (Vol. 1386, pp. 190–204). Berkely, CA, United States of America: Springer.https://doi.org/10.1007/3-540-64358-3_40 

Henzinger, T. A. (Ed.). (1998). HSCC: Hybrid Systems—Computation and Control (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley, CA, United States of America: Springer.https://doi.org/10.1007/3-540-64358-3 

Henzinger, T. A., Qadeer, S., Rajamani, S., &; Tasiran, S. (1998). An assume-guarantee rule for checking simulation. In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design (Vol. 1522, pp. 421–432). Palo Alto, CA, United States of America: Springer.https://doi.org/10.1007/3-540-49519-3_27 

Henzinger, T. A., Raskin, J., &; Schobbens, P. (1998). The regular real-time languages. In Proceedings of the 25th International Colloqium on Automata, Languages and Programming (Vol. 1443, pp. 580–591). Aalborg, Denmark: Springer.https://doi.org/10.1007/BFb0055086 

Henzinger, T. A., Kupferman, O., &; Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 195–206). Vancouver, Canada: Springer.https://doi.org/10.1007/BFb0028745 

Henzinger, T. A., Qadeer, S., &; Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 440–451). Vancouver, Canada: Springer.https://doi.org/10.1007/BFb0028765 

Henzinger, T. A., Ho, P., &; Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/9.664156  

Henzinger, T. A., Kopke, P., Puri, A., &; Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1006/jcss.1998.1581 

Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 439–454). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/BFb0055640 

Alur, R., Henzinger, T. A., &; Rajamani, S. (1998). Symbolic exploration of transition hierarchies. In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1384, pp. 330–344). Lisbon, Portugal: Springer.https://doi.org/10.1007/BFb0054181 

Alur, R., Henzinger, T. A., Kupferman, O., &; Vardi, M. (1998). Alternating refinement relations. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 163–178). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/BFb0055622 

Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., &; Tasiran, S. (1998). Mocha: Modularity in model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer.https://doi.org/10.1007/BFb0028774 

De Alfaro, L., Henzinger, T. A., &; Kupferman, O. (1998). Concurrent reachability games. In https://doi.org/10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science (pp. 564–575). Palo Alto, CA, United States of America: IEEE.https://doi.org/10.1109/SFCS.1998.743507Â   

de Bono, M., &; Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. Elsevier.https://doi.org/10.1016/s0092-8674(00)81609-8