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.
7018 Publications
2013 |Published| Technical Report | IST-REx-ID: 5399 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2295 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with omega-regular objectives,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 165–180, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5402 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5400 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Report | IST-REx-ID: 5401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
[Published Version]
View
| Files available
2013 |Published| Technical Report | IST-REx-ID: 5405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5406 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Report | IST-REx-ID: 5407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Porsche, Technical requirements and features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 |Published| Technical Report | IST-REx-ID: 5410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2327 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 5920
C. J. Hillar and A. Martin del Campo Sanchez, “Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals,” Journal of Symbolic Computation, vol. 50. Elsevier, pp. 314–334, 2013.
View
| Files available
| DOI