Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs.”https://doi.org/10.1109/SFCS.1995.492576__In Proceedings of IEEE 36th Annual Foundations of Computer Science, 453–62. IEEE, 1995.https://doi.org/10.1109/SFCS.1995.492576 .

Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?”https://doi.org/10.1145/225058.225162__In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995.https://doi.org/10.1145/225058.225162 .

Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.”https://doi.org/10.1007/3-540-60084-1_93__In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995.https://doi.org/10.1007/3-540-60084-1_93 .

Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.”https://doi.org/10.1007/3-540-60084-1_85__In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995.https://doi.org/10.1007/3-540-60084-1_85 .

Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.”https://doi.org/10.1007/3-540-60045-0_49__In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995.https://doi.org/10.1007/3-540-60045-0_49 .

Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.”https://doi.org/10.1016/0304-3975(94)00202-T__Theoretical Computer Science. Elsevier, 1995.https://doi.org/10.1016/0304-3975(94)00202-T .

Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.”https://doi.org/10.1101/gad.9.2.155__Genes and Development. CSH Press, 1995.https://doi.org/10.1101/gad.9.2.155 .