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.
17 Publications
2023 | Published | Journal Article | IST-REx-ID: 12566 | 
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14362 |
Weakly weighted generalised quasi-metric spaces and semilattices
I. Castellano, A. Giordano Bruno, N. Zava, Theoretical Computer Science 977 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
I. Castellano, A. Giordano Bruno, N. Zava, Theoretical Computer Science 977 (2023).
2021 | Published | Journal Article | IST-REx-ID: 9647 |
Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
[Published Version]
View
| Files available
| DOI
| WoS
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
2021 | Published | Journal Article | IST-REx-ID: 9827 |
Concurrent linearizable nearest neighbour search in LockFree-kD-tree
B. Chatterjee, I. Walulya, P. Tsigas, Theoretical Computer Science 886 (2021) 27–48.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Chatterjee, I. Walulya, P. Tsigas, Theoretical Computer Science 886 (2021) 27–48.
2019 | Published | Journal Article | IST-REx-ID: 11898 |
New amortized cell-probe lower bounds for dynamic problems
S. Bhattacharya, M.H. Henzinger, S. Neumann, Theoretical Computer Science 779 (2019) 72–87.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, S. Neumann, Theoretical Computer Science 779 (2019) 72–87.
2015 | Published | Journal Article | IST-REx-ID: 5804
From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
View
| DOI
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
2015 | Published | Journal Article | IST-REx-ID: 5807
On different topological classes of spherical geodesic paths and circles inZ3
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.
View
| DOI
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.
2015 | Published | Journal Article | IST-REx-ID: 11901 |
Truthful unit-demand auctions with budgets revisited
M.H. Henzinger, V. Loitzenbauer, Theoretical Computer Science 573 (2015) 1–15.
View
| DOI
| Download None (ext.)
M.H. Henzinger, V. Loitzenbauer, Theoretical Computer Science 573 (2015) 1–15.
2013 | Published | Journal Article | IST-REx-ID: 11902
Bidder optimal assignments for general utilities
P. Dütting, M.H. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
View
| Files available
| DOI
P. Dütting, M.H. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
2002 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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.