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

T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998.
LibreCat: https://research-explorer.ista.ac.at/record/4492
DOI: 10.1006/jcss.1998.1581

T. A. Henzinger, “It’s about time: Real-time logics reviewed,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 439–454.
LibreCat: https://research-explorer.ista.ac.at/record/4515
DOI: 10.1007/BFb0055640

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

R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 163–178.
LibreCat: https://research-explorer.ista.ac.at/record/4603
DOI: 10.1007/BFb0055622

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

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

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