Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5836 Publications
2013 | Published | Technical Report | IST-REx-ID: 5400 |

What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5404 |

The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
2013 | Published | Conference Paper | IST-REx-ID: 10902
How to travel between languages
Chatterjee, Krishnendu, How to travel between languages. 7th International Conference on Language and Automata Theory and Applications 7810. 2013
View
| DOI
Chatterjee, Krishnendu, How to travel between languages. 7th International Conference on Language and Automata Theory and Applications 7810. 2013
2013 | Published | Technical Report | IST-REx-ID: 5405 |

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5408 |

The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
2013 | Published | Journal Article | IST-REx-ID: 2817 |

Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
[Published Version]
View
| Files available
| DOI
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
2013 | Published | Journal Article | IST-REx-ID: 2289 |

Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
2013 | Published | Conference Paper | IST-REx-ID: 2181 |

Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
2013 | Published | Conference Paper | IST-REx-ID: 2182
Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
2013 | Published | Book Chapter | IST-REx-ID: 5747 |

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
Dragoi, Cezara, Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. Computer Aided Verification 8044. 2013
View
| Files available
| DOI
Dragoi, Cezara, Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. Computer Aided Verification 8044. 2013