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.
18 Publications
2002 | Journal Article | IST-REx-ID: 4407
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
View
| DOI
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
1999 | Journal Article | IST-REx-ID: 4442
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
View
| DOI
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
1995 | Journal Article | IST-REx-ID: 4613
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
1992 | Journal Article | IST-REx-ID: 4047 | 
Arrangements of curves in the plane - topology, combinatorics, and algorithms
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, Theoretical Computer Science 92 (1992) 319–336.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, Theoretical Computer Science 92 (1992) 319–336.
1991 | Journal Article | IST-REx-ID: 4052 |
A singly exponential stratification scheme for real semi-algebraic varieties and its applications
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Theoretical Computer Science 84 (1991) 77–105.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Theoretical Computer Science 84 (1991) 77–105.
1989 | Journal Article | IST-REx-ID: 4084 |
Testing the necklace condition for shortest tours and optimal factors in the plane
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.
1985 | Journal Article | IST-REx-ID: 4116 |
Finding Transversals for Sets of Simple Geometric-Figures
H. Edelsbrunner, Theoretical Computer Science 35 (1985) 55–69.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Theoretical Computer Science 35 (1985) 55–69.
1981 | Journal Article | IST-REx-ID: 4133 |
A space-optimal solution of general region location
H. Edelsbrunner, H. Maurer, Theoretical Computer Science 16 (1981) 329–336.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, H. Maurer, Theoretical Computer Science 16 (1981) 329–336.