Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.”https://doi.org/10.4230/LIPIcs.STACS.2021.44__In 38th International Symposium on Theoretical Aspects of Computer Science, Vol. 187. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.STACS.2021.44 .
LibreCat: https://research-explorer.ista.ac.at/record/10055
DOI: 10.4230/LIPIcs.STACS.2021.44
WoS: 000635691700044

Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.”https://doi.org/10.1007/978-3-030-81685-8_16__In 33rd International Conference on Computer-Aided Verification , 12759:341–66. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-81685-8_16 .
LibreCat: https://research-explorer.ista.ac.at/record/9987
DOI: 10.1007/978-3-030-81685-8_16
WoS: 000698732400016
arXiv: 2105.06424

Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.”https://doi.org/10.1145/3485541__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021.https://doi.org/10.1145/3485541 .
LibreCat: https://research-explorer.ista.ac.at/record/10191
DOI: 10.1145/3485541
arXiv: 2011.11763

Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.”https://doi.org/10.15479/at:ista:10199__Institute of Science and Technology Austria, 2021.https://doi.org/10.15479/at:ista:10199 .
LibreCat: https://research-explorer.ista.ac.at/record/10199
DOI: 10.15479/at:ista:10199

Chatterjee, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.”https://doi.org/10.1016/j.artint.2021.103499__Artificial Intelligence. Elsevier, 2021.https://doi.org/10.1016/j.artint.2021.103499 .
LibreCat: https://research-explorer.ista.ac.at/record/9293
DOI: 10.1016/j.artint.2021.103499
WoS: 000657537500003
arXiv: 1804.07031

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Bounded Treewidth Graphs.”https://doi.org/10.1007/s10703-021-00373-5__Formal Methods in System Design. Springer, 2021.https://doi.org/10.1007/s10703-021-00373-5 .
LibreCat: https://research-explorer.ista.ac.at/record/9393
DOI: 10.1007/s10703-021-00373-5
WoS: 000645490300001
arXiv: 1504.07384

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.”https://doi.org/10.1145/3453483.3454093__In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021.https://doi.org/10.1145/3453483.3454093 .
LibreCat: https://research-explorer.ista.ac.at/record/9644
DOI: 10.1145/3453483.3454093
WoS: 000723661700067
arXiv: 2104.01189

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “RevTerm.”https://doi.org/10.1145/3410304__Association for Computing Machinery, 2021.https://doi.org/10.1145/3410304 .
LibreCat: https://research-explorer.ista.ac.at/record/15284
DOI: 10.1145/3410304

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jií Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”https://doi.org/10.1007/978-3-030-90870-6_33__In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90870-6_33 .
LibreCat: https://research-explorer.ista.ac.at/record/10414
DOI: 10.1007/978-3-030-90870-6_33
WoS: 000758218600033
arXiv: 2108.02188

Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.”https://doi.org/10.15479/AT:ISTA:8934__Institute of Science and Technology Austria, 2021.https://doi.org/10.15479/AT:ISTA:8934 .
LibreCat: https://research-explorer.ista.ac.at/record/8934
DOI: 10.15479/AT:ISTA:8934

Schmid, Laura. “Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information.”https://doi.org/10.15479/at:ista:10293__Institute of Science and Technology Austria, 2021.https://doi.org/10.15479/at:ista:10293 .
LibreCat: https://research-explorer.ista.ac.at/record/10293
DOI: 10.15479/at:ista:10293

Schmid, Laura, Pouya Shati, Christian Hilbe, and Krishnendu Chatterjee. “The Evolution of Indirect Reciprocity under Action and Assessment Generosity.”https://doi.org/10.1038/s41598-021-96932-1__Scientific Reports. Springer Nature, 2021.https://doi.org/10.1038/s41598-021-96932-1 .
LibreCat: https://research-explorer.ista.ac.at/record/9997
DOI: 10.1038/s41598-021-96932-1
WoS: 000692406400018
PMID: 34465830

Schmid, Laura, Krishnendu Chatterjee, Christian Hilbe, and Martin A. Nowak. “A Unified Framework of Direct and Indirect Reciprocity.”https://doi.org/10.1038/s41562-021-01114-8__Nature Human Behaviour. Springer Nature, 2021.https://doi.org/10.1038/s41562-021-01114-8 .
LibreCat: https://research-explorer.ista.ac.at/record/9402
DOI: 10.1038/s41562-021-01114-8
WoS: 000650304000002
PMID: 33986519

Schmid, Laura, Krishnendu Chatterjee, and Stefan Schmid. “The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game.”https://doi.org/10.4230/LIPIcs.OPODIS.2019.21__In Proceedings of the 23rd International Conference on Principles of Distributed Systems, Vol. 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.OPODIS.2019.21 .
LibreCat: https://research-explorer.ista.ac.at/record/7346
DOI: 10.4230/LIPIcs.OPODIS.2019.21
arXiv: 1906.00110

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.23__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 .
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Simplified Game of Life: Algorithms and Complexity.”https://doi.org/10.4230/LIPIcs.MFCS.2020.22__In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.MFCS.2020.22 .
LibreCat: https://research-explorer.ista.ac.at/record/8533
DOI: 10.4230/LIPIcs.MFCS.2020.22
arXiv: 2007.02894

Jecker, Ismael R, Orna Kupferman, and Nicolas Mazzocchi. “Unary Prime Languages.”https://doi.org/10.4230/LIPIcs.MFCS.2020.51__In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.MFCS.2020.51 .
LibreCat: https://research-explorer.ista.ac.at/record/8534
DOI: 10.4230/LIPIcs.MFCS.2020.51

Ashok, Pranav, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, and Tobias Winkler. “Approximating Values of Generalized-Reachability Stochastic Games.”https://doi.org/10.1145/3373718.3394761__In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , 102–15. Association for Computing Machinery, 2020.https://doi.org/10.1145/3373718.3394761 .
LibreCat: https://research-explorer.ista.ac.at/record/7955
DOI: 10.1145/3373718.3394761
WoS: 000665014900010
arXiv: 1908.05106

Kaveh, Kamran, Alex McAvoy, Krishnendu Chatterjee, and Martin A. Nowak. “The Moran Process on 2-Chromatic Graphs.”https://doi.org/10.1371/journal.pcbi.1008402__PLOS Computational Biology. Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1008402 .
LibreCat: https://research-explorer.ista.ac.at/record/8767
DOI: 10.1371/journal.pcbi.1008402
WoS: 000591317200004

Kleshnina, Maria, Sabrina Streipert, Jerzy Filar, and Krishnendu Chatterjee. “Prioritised Learning in Snowdrift-Type Games.”https://doi.org/10.3390/math8111945__Mathematics. MDPI, 2020.https://doi.org/10.3390/math8111945 .
LibreCat: https://research-explorer.ista.ac.at/record/8789
DOI: 10.3390/math8111945
WoS: 000593962100001