Please note that IST 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.

5430 Publications


1991 | Conference Paper | IST-REx-ID: 4054
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” presented at the New Results and New Trends in Computer Science , 1991, vol. 555, pp. 108–123.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4059
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” presented at the ICALP: Automata, Languages and Programming, 1991, vol. 510, pp. 661–673.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, and E. Welzl, “Euclidean minimum spanning trees and bichromatic closest pairs,” Discrete & Computational Geometry, vol. 6, no. 1, pp. 407–422, 1991.
View | DOI
 

1991 | Thesis | IST-REx-ID: 4516
T. A. Henzinger, The Temporal Specification and Verification of Real-time Systems . Stanford University, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4592
R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22, no. 3, pp. 6–12, 1991.
View | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed