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.
7 Publications
1998 | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 1998;43(4):540-554. doi:10.1109/9.664156
View
| DOI
1996 | Journal Article | IST-REx-ID: 4024
Akkiraju N, Edelsbrunner H, Fu P, Qian J. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 1996;16(4):58-61. doi:10.1109/38.511855
View
| DOI
1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 | 
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 1996;22(3):181-201. doi:10.1109/32.489079
[Published Version]
View
| DOI
| Download Published Version (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. Finitary fairness. In: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4596
Alur R, Henzinger TA. A really temporal logic. In: 30th Annual Symposium on Foundations of Computer Science. FCOS. IEEE; 1989:164-169. doi:10.1109/SFCS.1989.63473
View
| DOI
| Download None (ext.)
1983 | Journal Article | IST-REx-ID: 4128
Edelsbrunner H, Kirkpatrick D, Seidel R. On the shape of a set of points in the plane. IEEE Transactions on Information Theory. 1983;29(4):551-559. doi:10.1109/TIT.1983.1056714
View
| DOI
| Download None (ext.)