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.

527 Publications


2026 | Published | Journal Article | IST-REx-ID: 22102 | OA | PlanS
Chatterjee, Krishnendu, et al. “SuperDP: Differential Privacy Refutation via Supermartingales.” Proceedings of the ACM on Programming Languages, vol. 10, no. PLDI, 218, Association for Computing Machinery, 2026, doi:10.1145/3808296.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Research Data Reference | IST-REx-ID: 22134 | OA
Chatterjee, Krishnendu, et al. SuperDP: Differential Privacy Refutation via Supermartingales. Zenodo, 2026, doi:10.5281/ZENODO.18930113.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21411 | OA
Bentert, Matthias, et al. “Fast Re-Routing in Networks: On the Complexity of Perfect Resilience.” 29th International Conference on Principles of Distributed Systems, vol. 361, 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.OPODIS.2025.31.
[Published Version] View | Files available | DOI
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21661 | OA
Hartmanns, Arnd, et al. “The Revised Practitioner’s Guide to MDP Model Checking Algorithms.” International Journal on Software Tools for Technology Transfer, Springer Nature, 2026, doi:10.1007/s10009-026-00848-y.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21717 | OA
Asadi, Ali, et al. “Qualitative Analysis of ω-Regular Objectives on Robust MDPs.” Proceedings of the 40th AAAI Conference on Artificial Intelligence, vol. 40, no. 43, Association for the Advancement of Artificial Intelligence, 2026, pp. 36137–45, doi:10.1609/aaai.v40i43.40931.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21722
Asadi, Ali, et al. “Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 43, Association for the Advancement of Artificial Intelligence, 2026, pp. 36146–54, doi:10.1609/aaai.v40i43.40932.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22101 | OA
Svoboda, Jakub, et al. “The Effect of the Fitness Gradient on Fixation Probability.” Nature Communications, vol. 17, 5325, Springer Nature, 2026, doi:10.1038/s41467-026-71777-2.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20857 | OA
Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” Proceedings of the National Academy of Sciences, vol. 122, no. 51, National Academy of Sciences, 2025, p. e2524109122, doi:10.1073/pnas.2524109122.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Conference Paper | IST-REx-ID: 21268 | OA
Chatterjee, Krishnendu, et al. “The Value Problem for Multiple-Environment MDPs with Parity Objective.” 52nd International Colloquium on Automata, Languages, and Programming, 150, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.ICALP.2025.150.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21281 | OA
Asadi, Ali, et al. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17, doi:10.4230/lipics.fsttcs.2025.9.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21320 | OA
Giambartolomei, Giordano, et al. “IID Prophet Inequality with Random Horizon: Going beyond Increasing Hazard Rates.” 52nd International Colloquium on Automata, Languages, and Programming, vol. 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.ICALP.2025.87.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Chatterjee, Krishnendu, et al. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” 39th International Symposium on Distributed Computing, vol. 356, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi: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 | OA | PlanS
Brázdil, Tomáš, et al. “Learning Algorithms for Verification of Markov Decision Processes.” TheoretiCS, vol. 4, 10, TheoretiCS Foundation, 2025, doi:10.46298/theoretics.25.10.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Hartmanns, Arnd, et al. Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms. Zenodo, 2025, doi:10.5281/ZENODO.14500423.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 17037
Attia, Luc, et al. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research, vol. 50, no. 1, Institute for Operations Research and the Management Sciences, 2025, pp. 482–505, doi:10.1287/moor.2023.0297.
View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 18529
Zhang, Yichao, et al. “Limitation of Time Promotes Cooperation in Structured Collaboration Systems.” IEEE Transactions on Network Science and Engineering, vol. 12, no. 1, IEEE, 2025, pp. 4–12, doi:10.1109/TNSE.2024.3481434.
View | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 19074 | OA | PlanS
Hübner, Valentin, et al. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” Dynamic Games and Applications, vol. 15, Springer Nature, 2025, pp. 1617–45, doi:10.1007/s13235-025-00627-5.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
Azeem, Muqsit, et al. “1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.” 26th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 15530, Springer Nature, 2025, pp. 97–120, doi:10.1007/978-3-031-82703-7_5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
Křišťan, Jan Matyáš, and Jakub Svoboda. “Reconfiguration Using Generalized Token Jumping.” 19th International Conference and Workshops on Algorithms and Computation, vol. 15411, Springer Nature, 2025, pp. 244–65, doi:10.1007/978-981-96-2845-2_16.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19499 | OA
Muroya Lei, Stefanie, et al. “Hardware-Optimal Quantum Algorithms.” Proceedings of the National Academy of Sciences, vol. 122, no. 12, e2419273122, National Academy of Sciences, 2025, doi:10.1073/pnas.2419273122.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=KrCh

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed