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.

6283 Publications


2005 | Journal Article | IST-REx-ID: 3808 View | DOI
 

2005 | Book Review | IST-REx-ID: 3812 View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Springer, 2005, pp. 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Two-player nonzero-sum ω-regular games
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Complexity of compositional model checking of computation tree logic on simple structures
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Springer, 2005, pp. 89–102.
View | DOI
 

Search

Filter Publications