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.




344 Publications

2019 | Journal Article | IST-REx-ID: 6836 | OA
Hauser, Oliver P., Christian Hilbe, Krishnendu Chatterjee, and Martin A. Nowak. “Social Dilemmas among Unequals.” Nature 572, no. 7770 (2019): 524–27. https://doi.org/10.1038/s41586-019-1488-5.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3339984.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3363525.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , 3:129. ACM, 2019. https://doi.org/10.1145/3360555.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7210 | OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology 2 (2019). https://doi.org/10.1038/s42003-019-0373-y.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706.
View | DOI | Download (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7950 | OA
Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.” ArXiv:1903.06981. ArXiv, n.d.
View | Files available | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 143 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotny, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. https://doi.org/10.1145/3209108.3209191.
View | DOI | Download (ext.)
 
2018 | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee, Krishnendu, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, and Viktor Toman. “Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives,” 10982:178–97. Springer, 2018. https://doi.org/10.1007/978-3-319-96142-2_13.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 157 | OA
Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak. “Evolution of Cooperation in Stochastic Games.” Nature 559, no. 7713 (2018): 246–49. https://doi.org/10.1038/s41586-018-0277-x.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 198 | OA
Ibsen-Jensen, Rasmus, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Language Acquisition with Communication between Learners.” Journal of the Royal Society Interface 15, no. 140 (2018). https://doi.org/10.1098/rsif.2018.0073.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 2 | OA
Hilbe, Christian, Laura Schmid, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Indirect Reciprocity with Private Noisy and Incomplete Information.” PNAS 115, no. 48 (2018): 12241–46. https://doi.org/10.1073/pnas.1810565115 .
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Conference Paper | IST-REx-ID: 25
Horák, Karel, Branislav Bošanský, and Krishnendu Chatterjee. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018–July:4764–70. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/662.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 24 | OA
Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotny, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,” 2018:4692–99. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/652.
View | DOI | Download (ext.) | arXiv
 

Search

Filter Publications