Henzinger, T. A., &; Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer.https://doi.org/10.1007/3-540-60045-0_53 
LibreCat: https://research-explorer.ista.ac.at/record/4450
DOI: 10.1007/3-540-60045-0_53

Henzinger, T. A., &; Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, &; S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer.https://doi.org/10.1007/3-540-60472-3_13 
LibreCat: https://research-explorer.ista.ac.at/record/4448
DOI: 10.1007/3-540-60472-3_13

Henzinger, T. A., &; Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, &; S. Sastry (Eds.), 4th International Hybrid Systems Workshop (Vol. 999, pp. 265–293).https://doi.org/10.1007/3-540-60472-3_14__New Brunswick, NJ, United States of America: Springer.https://doi.org/10.1007/3-540-60472-3_14 
LibreCat: https://research-explorer.ista.ac.at/record/4447
DOI: 10.1007/3-540-60472-3_14

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

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

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

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

Henzinger, T. A., Kopke, P., &; Wong Toi, H. (1995). The expressive power of clocks. In 22nd International Colloquium on Automata, Languages and Programming  (Vol. 944, pp. 417–428). Szeged, Hungary: Springer.https://doi.org/10.1007/3-540-60084-1_93 
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

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

Alur, R., &; Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer.https://doi.org/10.1007/3-540-60045-0_49 
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49

Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X.,https://doi.org/10.1016/0304-3975(94)00202-T__Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/0304-3975(94)00202-T 
LibreCat: https://research-explorer.ista.ac.at/record/4613
DOI: 10.1016/0304-3975(94)00202-T

de Bono, M., Zarkower, D., &; Hodgkin, J. (1995). Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. CSH Press.https://doi.org/10.1101/gad.9.2.155 
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791