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.
2 Publications
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.)