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.

23 Publications


2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 12566 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 14362 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 9647 | OA
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
 

2021 | Published | Journal Article | IST-REx-ID: 9827 | OA
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
 

2020 | Published | Journal Article | IST-REx-ID: 6761 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 11898 | OA
New amortized cell-probe lower bounds for dynamic problems
S. Bhattacharya, M. Henzinger, S. Neumann, Theoretical Computer Science 779 (2019) 72–87.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 11901 | OA
Truthful unit-demand auctions with budgets revisited
M. Henzinger, V. Loitzenbauer, Theoretical Computer Science 573 (2015) 1–15.
View | DOI | Download None (ext.)
 

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
 

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
 

2014 | Published | Journal Article | IST-REx-ID: 2246 | OA
Alternating traps in Muller and parity games
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 11902
Bidder optimal assignments for general utilities
P. Dütting, M. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
View | Files available | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View | DOI
 

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
 

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
 

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.)
 

1992 | Published | Journal Article | IST-REx-ID: 4047 | OA
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.)
 

1991 | Published | Journal Article | IST-REx-ID: 4052 | OA
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.)
 

Filters and Search Terms

issn=0304-3975

Search

Filter Publications

Display / Sort

Export / Embed