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.
356 Publications
2013 | Journal Article | IST-REx-ID: 2817 | 
Novak S, Chatterjee K, Nowak M. 2013. Density games. Journal of Theoretical Biology. 334, 26–34.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2819 |
Chatterjee K, Prabhu V. 2013. Quantitative timed simulation functions and refinement metrics for real-time systems. Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control vol. 1, 273–282.
View
| DOI
| Download Preprint (ext.)
2013 | Conference Paper | IST-REx-ID: 2886 |
Chmelik M, Řehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.
View
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2854 |
Chatterjee K, De Alfaro L, Henzinger TA. 2013. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 79(5), 640–657.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2858 |
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2831 |
Chatterjee K, Henzinger M, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2279 |
Chatterjee K, Doyen L, Randour M, Raskin J. 2013. Looking at mean-payoff and total-payoff through windows. 8172, 118–132.
View
| Files available
| DOI
| Download Preprint (ext.)
2013 | Conference Paper | IST-REx-ID: 2000 |
Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Technical Report | IST-REx-ID: 5399 |
Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5400 |
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2295 |
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5404 |
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5410 |
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5409 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5406 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5405 |
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5408 |
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
View
| Files available
| DOI