T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.
LibreCat: https://research-explorer.ista.ac.at/record/4450
DOI: 10.1007/3-540-60045-0_53

T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.
LibreCat: https://research-explorer.ista.ac.at/record/4448
DOI: 10.1007/3-540-60472-3_13

T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop,  New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.
LibreCat: https://research-explorer.ista.ac.at/record/4447
DOI: 10.1007/3-540-60472-3_14

T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
LibreCat: https://research-explorer.ista.ac.at/record/4497
DOI: 10.1007/3-540-60630-0_3

T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp. 56–65.
LibreCat: https://research-explorer.ista.ac.at/record/4499
DOI: 10.1109/REAL.1995.495196 

M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462.
LibreCat: https://research-explorer.ista.ac.at/record/4498
DOI: 10.1109/SFCS.1995.492576

T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162

T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85

R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 166–179.
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49