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.
9086 Publications
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 | 
Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356, Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View
| DOI