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.
527 Publications
2026 |
Published |
Journal Article |
IST-REx-ID: 22102 |
| 
|
Chatterjee, K., Goharshady, E., & Zikelic, D. (2026). SuperDP: Differential privacy refutation via supermartingales. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3808296
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Research Data Reference |
IST-REx-ID: 22134 |
Chatterjee, K., Goharshady, E., & Zikelic, D. (2026). SuperDP: Differential Privacy Refutation via Supermartingales. Zenodo. https://doi.org/10.5281/ZENODO.18930113
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2026 |
Published |
Conference Paper |
IST-REx-ID: 21411 |
Bentert, M., Ceylan, E., Hübner, V., Schmid, S., & Srba, J. (2026). Fast re-routing in networks: On the complexity of perfect resilience. In 29th International Conference on Principles of Distributed Systems (Vol. 361). Iaşi, Romania: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2025.31
[Published Version]
View
| Files available
| DOI
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21661 |
Hartmanns, A., Junges, S., Quatmann, T., & Weininger, M. (2026). The revised practitioner’s guide to MDP model checking algorithms. International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-026-00848-y
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2026 |
Published |
Conference Paper |
IST-REx-ID: 21717 |
Asadi, A., Chatterjee, K., Goharshady, E., Karrabi, M., & Shafiee, A. (2026). Qualitative analysis of ω-regular objectives on robust MDPs. In Proceedings of the 40th AAAI Conference on Artificial Intelligence (Vol. 40, pp. 36137–36145). Singapore, Singapore: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v40i43.40931
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 21722
Asadi, A., Chatterjee, K., Lurie, D., & Saona Urmeneta, R. J. (2026). Revealing POMDPs: Qualitative and quantitative analysis for parity objectives. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 40, pp. 36146–36154). Singapore, Singapore: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v40i43.40932
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22101 |
Svoboda, J., Nemati, H., Tkadlec, J., Kaveh, K., & Chatterjee, K. (2026). The effect of the fitness gradient on fixation probability. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-026-71777-2
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 20857 |
Svoboda, J., & Chatterjee, K. (2025). Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2524109122
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 21268 |
Chatterjee, K., Doyen, L., Raskin, J.-F., & Sankur, O. (2025). The value problem for multiple-environment MDPs with parity objective. In 52nd International Colloquium on Automata, Languages, and Programming. Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2025.150
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
Asadi, A., Brice, L., Chatterjee, K., & Thejaswini, K. S. (2025). ε-stationary Nash equilibria in multi-player stochastic graph games. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 9:1-9:17). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/lipics.fsttcs.2025.9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21320 |
Giambartolomei, G., Mallmann-Trenn, F., & Saona Urmeneta, R. J. (2025). IID prophet inequality with random horizon: Going beyond increasing hazard rates. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2025.87
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21412 |
Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., & Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In 39th International Symposium on Distributed Computing (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2025.23
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21413 |
|
|
Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. TheoretiCS. TheoretiCS Foundation. https://doi.org/10.46298/theoretics.25.10
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Research Data Reference |
IST-REx-ID: 21668 |
Hartmanns, A., Junges, S., Quatmann, T., & Weininger, M. (2025). Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. Zenodo. https://doi.org/10.5281/ZENODO.14500423
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Journal Article |
IST-REx-ID: 18529
Zhang, Y., Wang, J., Wen, G., Guan, J., Zhou, S., Chen, G., … Perc, M. (2025). Limitation of time promotes cooperation in structured collaboration systems. IEEE Transactions on Network Science and Engineering. IEEE. https://doi.org/10.1109/TNSE.2024.3481434
View
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
Hübner, V., Hilbe, C., Staab, M., Kleshnina, M., & Chatterjee, K. (2025). Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-025-00627-5
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Conference Paper |
IST-REx-ID: 19375 |
Azeem, M., Chakraborty, D., Kanav, S., Kretinsky, J., Mohagheghi, M., Mohr, S., & Weininger, M. (2025). 1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization. In 26th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 15530, pp. 97–120). Denver, CO, United States: Springer Nature. https://doi.org/10.1007/978-3-031-82703-7_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19445 |
Křišťan, J. M., & Svoboda, J. (2025). Reconfiguration using generalized token jumping. In 19th International Conference and Workshops on Algorithms and Computation (Vol. 15411, pp. 244–265). Chengdu, China: Springer Nature. https://doi.org/10.1007/978-981-96-2845-2_16
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19499 |
Muroya Lei, S., Chatterjee, K., & Henzinger, T. A. (2025). Hardware-optimal quantum algorithms. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2419273122
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 19600 |
Avarikioti, Z., Bastankhah, M., Maddah-Ali, M. A., Pietrzak, K. Z., Svoboda, J., & Yeo, M. X. (2025). Route discovery in private payment channel networks. In Computer Security. ESORICS 2024 International Workshops (Vol. 15263, pp. 207–223). Bydgoszcz, Poland: Springer Nature. https://doi.org/10.1007/978-3-031-82349-7_15
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)