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
SuperDP: Differential privacy refutation via supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, Proceedings of the ACM on Programming Languages 10 (2026).
[Published Version] View | Files available | DOI | arXiv
 

2026 | Research Data Reference | IST-REx-ID: 22134 | OA
SuperDP: Differential Privacy Refutation via Supermartingales
K. Chatterjee, E. Goharshady, D. Zikelic, (2026).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21411 | OA
Fast re-routing in networks: On the complexity of perfect resilience
M. Bentert, E. Ceylan, V. Hübner, S. Schmid, J. Srba, in:, 29th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version] View | Files available | DOI
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21661 | OA
The revised practitioner’s guide to MDP model checking algorithms
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, International Journal on Software Tools for Technology Transfer (2026).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2026 | Published | Conference Paper | IST-REx-ID: 21717 | OA
Qualitative analysis of ω-regular objectives on robust MDPs
A. Asadi, K. Chatterjee, E. Goharshady, M. Karrabi, A. Shafiee, in:, Proceedings of the 40th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2026, pp. 36137–36145.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 21722
Revealing POMDPs: Qualitative and quantitative analysis for parity objectives
A. Asadi, K. Chatterjee, D. Lurie, R.J. Saona Urmeneta, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2026, pp. 36146–36154.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22101 | OA
The effect of the fitness gradient on fixation probability
J. Svoboda, H. Nemati, J. Tkadlec, K. Kaveh, K. Chatterjee, Nature Communications 17 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20857 | OA
Promoters of cooperation in evolutionary games
J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences 122 (2025) e2524109122.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Conference Paper | IST-REx-ID: 21268 | OA
The value problem for multiple-environment MDPs with parity objective
K. Chatterjee, L. Doyen, J.-F. Raskin, O. Sankur, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21281 | OA
ε-stationary Nash equilibria in multi-player stochastic graph games
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21320 | OA
IID prophet inequality with random horizon: Going beyond increasing hazard rates
G. Giambartolomei, F. Mallmann-Trenn, R.J. Saona Urmeneta, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21413 | OA | PlanS
Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
[Published Version] View | Files available | DOI | arXiv
 

2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Benchmark data for the revised practitioner's guide to MDP model checking algorithms
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 18529
Limitation of time promotes cooperation in structured collaboration systems
Y. Zhang, J. Wang, G. Wen, J. Guan, S. Zhou, G. Chen, K. Chatterjee, M. Perc, IEEE Transactions on Network Science and Engineering 12 (2025) 4–12.
View | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 19074 | OA | PlanS
Time-dependent strategies in repeated asymmetric public goods games
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications 15 (2025) 1617–1645.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Conference Paper | IST-REx-ID: 19375 | OA
1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization
M. Azeem, D. Chakraborty, S. Kanav, J. Kretinsky, M. Mohagheghi, S. Mohr, M. Weininger, in:, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2025, pp. 97–120.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
Reconfiguration using generalized token jumping
J.M. Křišťan, J. Svoboda, in:, 19th International Conference and Workshops on Algorithms and Computation, Springer Nature, 2025, pp. 244–265.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19499 | OA
Hardware-optimal quantum algorithms
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences 122 (2025).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=KrCh

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed