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: 4497
A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1995, pp. 41–71.
View | DOI
 

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
 

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
 

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
 

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
 

Filters and Search Terms

year=1995

Search

Filter Publications