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.
401 Publications
2021 | Thesis | IST-REx-ID: 8934 |

Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10293
Schmid L. 2021. Evolution of cooperation via (in)direct reciprocity under imperfect information. IST Austria.
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9402
Schmid L, Chatterjee K, Hilbe C, Nowak MA. 2021. A unified framework of direct and indirect reciprocity. Nature Human Behaviour. 5(10), 1292–1302.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 7955 |

Ashok P, Chatterjee K, Kretinsky J, Weininger M, Winkler T. 2020. Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . LICS: Symposium on Logic in Computer Science, 102–115.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View
| Files available
2020 | Conference Paper | IST-REx-ID: 8272 |

Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8533 |

Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 22:1-22:13.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8534 |

Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 51:1-51:12.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8600 |

Chatterjee K, Henzinger TA, Otop J. 2020. Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 23.
View
| Files available
| DOI
| arXiv
2020 | Thesis | IST-REx-ID: 7196 |

Tkadlec J. 2020. A role of graphs in evolutionary processes. IST Austria.
View
| Files available
| DOI