DOI,IST REx ID,Research Group,Title of publication
10.1145/3808296,22102,KrCh,SuperDP: Differential privacy refutation via supermartingales
10.5281/ZENODO.18930113,22134,KrCh,SuperDP: Differential Privacy Refutation via Supermartingales
10.4230/LIPIcs.OPODIS.2025.31,21411,KrCh,Fast re-routing in networks: On the complexity of perfect resilience
10.1007/s10009-026-00848-y,21661,KrCh,"The revised practitioner’s guide to MDP model checking algorithms"
10.1609/aaai.v40i43.40931,21717,"KrCh,GradSch","Qualitative analysis of ω-regular objectives on robust MDPs"
10.1609/aaai.v40i43.40932,21722,KrCh,Revealing POMDPs: Qualitative and quantitative analysis for parity objectives
10.1038/s41467-026-71777-2,22101,KrCh,The effect of the fitness gradient on fixation probability
10.1073/pnas.2524109122,20857,KrCh,Promoters of cooperation in evolutionary games
10.4230/LIPIcs.ICALP.2025.150,21268,KrCh,The value problem for multiple-environment MDPs with parity objective
10.4230/lipics.fsttcs.2025.9,21281,"KrCh,GradSch",ε-stationary Nash equilibria in multi-player stochastic graph games
10.4230/LIPIcs.ICALP.2025.87,21320,KrCh,IID prophet inequality with random horizon: Going beyond increasing hazard rates
10.4230/LIPIcs.DISC.2025.23,21412,KrCh,Boosting payment channel network liquidity with topology optimization and transaction selection
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes
10.5281/ZENODO.14500423,21668,KrCh,Benchmark data for the revised practitioner's guide to MDP model checking algorithms
10.1287/moor.2023.0297,17037,"GradSch,KrCh",Marginal values of a stochastic game
10.1109/TNSE.2024.3481434,18529,KrCh,Limitation of time promotes cooperation in structured collaboration systems
10.1007/s13235-025-00627-5,19074,KrCh,Time-dependent strategies in repeated asymmetric public goods games
10.1007/978-3-031-82703-7_5,19375,KrCh,"1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization"
10.1007/978-981-96-2845-2_16,19445,KrCh,Reconfiguration using generalized token jumping
10.1073/pnas.2419273122,19499,"KrCh,ToHe",Hardware-optimal quantum algorithms