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
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, in:, 18th International Colloquium on Automata, Languages and Programming, Springer, 1991, pp. 661–673.
View | DOI | Download None (ext.)
 

1991 | Published | Journal Article | IST-REx-ID: 4061 | OA
Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, Discrete & Computational Geometry 6 (1991) 407–422.
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Published | Journal Article | IST-REx-ID: 4062 | OA
Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, Discrete & Computational Geometry 6 (1991) 435–442.
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Published | Conference Paper | IST-REx-ID: 4508
Temporal proof methodologies for real-time systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–366.
View | DOI | Download None (ext.)
 

1991 | Published | Thesis | PhD | IST-REx-ID: 4516
The temporal specification and verification of real-time systems
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
View | Download None (ext.)
 

Filters and Search Terms

year=1991

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed