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
- 1
- 2
- 3
- 4
- 5 (current)
1995 | Conference Paper | IST-REx-ID: 4502
What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, ACM, 1995, pp. 373–382.
View
| DOI
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, ACM, 1995, pp. 373–382.
1995 | Conference Paper | IST-REx-ID: 4518
Hybrid automata with finite bisimulations
T.A. Henzinger, in:, Springer, 1995, pp. 324–335.
View
| DOI
T.A. Henzinger, in:, Springer, 1995, pp. 324–335.
1995 | Conference Paper | IST-REx-ID: 4497
A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1995, pp. 41–71.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1995, pp. 41–71.
1995 | Conference Paper | IST-REx-ID: 4498
Computing simulations on finite and infinite graphs
M. Henzinger, T.A. Henzinger, P. Kopke, in:, IEEE, 1995, pp. 453–462.
View
| DOI
M. Henzinger, T.A. Henzinger, P. Kopke, in:, IEEE, 1995, pp. 453–462.
1995 | Conference Paper | IST-REx-ID: 4499
HyTech: The next generation
T.A. Henzinger, P. Ho, H. Wong Toi, in:, IEEE, 1995, pp. 56–65.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, IEEE, 1995, pp. 56–65.
1995 | Conference Paper | IST-REx-ID: 4500
The expressive power of clocks
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, Springer, 1995, pp. 417–428.
View
| DOI
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, Springer, 1995, pp. 417–428.
1995 | Journal Article | IST-REx-ID: 6162
Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
- 1
- 2
- 3
- 4
- 5 (current)