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.

6 Publications

1996 | Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.
View | DOI | Download None (ext.)

1996 | Journal Article | IST-REx-ID: 4611 | OA
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.
View | DOI | Download Published Version (ext.)

1996 | Journal Article | IST-REx-ID: 4024
N. Akkiraju, H. Edelsbrunner, P. Fu, and J. Qian, “Viewing geometric protein structures from inside a CAVE,” IEEE Computer Graphics and Applications, vol. 16, no. 4. IEEE, pp. 58–61, 1996.
View | DOI

1994 | Conference Paper | IST-REx-ID: 4586
R. Alur and T. A. Henzinger, “Finitary fairness,” in Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, Paris, France, 1994, pp. 52–61.
View | DOI | Download None (ext.)

1989 | Conference Paper | IST-REx-ID: 4596
R. Alur and T. A. Henzinger, “A really temporal logic,” in 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, NC, USA, 1989, pp. 164–169.
View | DOI | Download None (ext.)

1983 | Journal Article | IST-REx-ID: 4128
H. Edelsbrunner, D. Kirkpatrick, and R. Seidel, “On the shape of a set of points in the plane,” IEEE Transactions on Information Theory, vol. 29, no. 4. IEEE, pp. 551–559, 1983.
View | DOI | Download None (ext.)

Filters and Search Terms



Filter Publications