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 | OA
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.)
 

Filters and Search Terms

issn=0018-9162

Search

Filter Publications