Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
47 Publications
1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?,” 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations,” 944:324–35. Springer, 1995. https://doi.org/0.1007/3-540-60084-1_85.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech,” 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs,” 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation,” 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 .
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks,” 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View
| DOI
1995 | Journal Article | IST-REx-ID: 6162
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.” Genes and Development. CSH Press, 1995. https://doi.org/10.1101/gad.9.2.155.
View
| DOI
| PubMed | Europe PMC