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, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156
View
| DOI
1996 | Journal Article | IST-REx-ID: 4024
Akkiraju, N., Edelsbrunner, H., Fu, P., & Qian, J. (1996). Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. IEEE. https://doi.org/10.1109/38.511855
View
| DOI
1996 | Conference Paper | IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 |
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079
[Published Version]
View
| DOI
| Download Published Version (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur, R., & Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE. https://doi.org/10.1109/LICS.1994.316087
View
| DOI
| Download None (ext.)
1989 | Conference Paper | IST-REx-ID: 4596
Alur, R., & Henzinger, T. A. (1989). A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science (pp. 164–169). Research Triangle Park, NC, USA: IEEE. https://doi.org/10.1109/SFCS.1989.63473
View
| DOI
| Download None (ext.)
1983 | Journal Article | IST-REx-ID: 4128
Edelsbrunner, H., Kirkpatrick, D., & Seidel, R. (1983). On the shape of a set of points in the plane. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.1983.1056714
View
| DOI
| Download None (ext.)