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.
25 Publications
1991 |
Published |
Conference Paper |
IST-REx-ID: 4059
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.” In 18th International Colloquium on Automata, Languages and Programming, 510:661–73. Springer, 1991. https://doi.org/10.1007/3-540-54233-7_172.
View
| DOI
| Download None (ext.)
1991 |
Published |
Journal Article |
IST-REx-ID: 4061 |
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/10.1007/BF02574698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 |
Published |
Journal Article |
IST-REx-ID: 4062 |
Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/10.1007/BF02574700.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 |
Published |
Conference Paper |
IST-REx-ID: 4508
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Real-Time Systems.” In Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 353–66. ACM, 1991. https://doi.org/10.1145/99583.99629.
View
| DOI
| Download None (ext.)
1991 |
Published |
Thesis | PhD |
IST-REx-ID: 4516
Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.
View
| Download None (ext.)