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.

6016 Publications


1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger M, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: ACM; 1995:373-382. doi:10.1145/225058.225162
View | DOI
 

Search

Filter Publications