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
Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.
View | DOI | Download None (ext.)
 

1996 | Journal Article | IST-REx-ID: 4611 | OA
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.
View | DOI | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 4024
Akkiraju, Nataraj, et al. “Viewing Geometric Protein Structures from inside a CAVE.” IEEE Computer Graphics and Applications, vol. 16, no. 4, IEEE, 1996, pp. 58–61, doi:10.1109/38.511855.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.” Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
View | DOI | Download None (ext.)
 

1989 | Conference Paper | IST-REx-ID: 4596
Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–69, doi:10.1109/SFCS.1989.63473.
View | DOI | Download None (ext.)
 

1983 | Journal Article | IST-REx-ID: 4128
Edelsbrunner, Herbert, et al. “On the Shape of a Set of Points in the Plane.” IEEE Transactions on Information Theory, vol. 29, no. 4, IEEE, 1983, pp. 551–59, doi:10.1109/TIT.1983.1056714 .
View | DOI | Download None (ext.)
 

Filters and Search Terms

issn=0018-9162

Search

Filter Publications