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 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
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: Vol 944. Springer; 1995:324-335. doi:0.1007/3-540-60084-1_85
View | DOI
 

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 | Journal Article | IST-REx-ID: 6162
de Bono M, Zarkower D, Hodgkin J. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 1995;9(2):155-167. doi:10.1101/gad.9.2.155
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1995

Search

Filter Publications