Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.”10.1007/3-540-60045-0_53__7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 225–38, doi: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, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.”10.1007/3-540-60472-3_13__3rd International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi: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, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”10.1007/3-540-60472-3_14__4th International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi: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, Thomas A., et al. “A User Guide to HyTech.”10.1007/3-540-60630-0_3__1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1019, Springer, 1995, pp. 41–71, doi: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, Thomas A., et al. “HyTech: The next Generation.”10.1109/REAL.1995.495196 __Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .
LibreCat: https://research-explorer.ista.ac.at/record/4499
DOI: 10.1109/REAL.1995.495196 

Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite Graphs.”10.1109/SFCS.1995.492576__Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
LibreCat: https://research-explorer.ista.ac.at/record/4498
DOI: 10.1109/SFCS.1995.492576

Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?”10.1145/225058.225162__Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162

Henzinger, Thomas A., et al. “The Expressive Power of Clocks.”10.1007/3-540-60084-1_93__22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 417–28, doi: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, Thomas A. “Hybrid Automata with Finite Bisimulations.”10.1007/3-540-60084-1_85__22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 324–35, doi: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, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.”10.1007/3-540-60045-0_49__7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 166–79, doi: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, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1016/0304-3975(94)00202-T__Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi: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, Mario, et al. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.”10.1101/gad.9.2.155__Genes and Development, vol. 9, no. 2, CSH Press, 1995, pp. 155–67, doi:10.1101/gad.9.2.155.
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791