Please note that ISTA 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.
71 Publications
1996 | Conference Paper | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066, 377–388.
View
| DOI
| Download None (ext.)
1996 | Book Chapter | IST-REx-ID: 4427
Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4519
Henzinger TA. 1996. The theory of hybrid automata. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 278–292.
View
| DOI
| Download None (ext.)
1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218.
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 | 
Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4610
Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 6161 |
de Bono M, Hodgkin J. 1996. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 144(2), 587–595.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC