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.

5 Publications


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
 

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

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

Filters and Search Terms

eissn=1879-2294

Search

Filter Publications

Display / Sort

Export / Embed