DOI,IST REx ID,Research Group,Title of publication
10.1073/pnas.2405605121,18703,KrCh,Density amplifiers of cooperation for spatial games
10.46298/lmcs-20(4:11)2024,18630,KrCh,Stochastic processes with expected stopping time
10.1007/978-3-031-67695-6_4,18600,KrCh,"Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report"
10.4230/LIPIcs.FSTTCS.2024.5,17099,KrCh,Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
10.24963/ijcai.2024/1,18159,KrCh,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
10.1007/s10703-023-00411-4,12738,KrCh,Stochastic games with lexicographic objectives
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1016/j.ic.2024.105214,17474,KrCh,Entropic risk for turn-based stochastic games
10.1109/noms59830.2024.10575579,18925,KrCh,Congestion-free rerouting of network flows: Hardness and an FPT algorithm
10.1145/3662158.3662769,17328,"KrCh,KrPi",Fully automated selfish mining analysis in efficient proof systems blockchains
10.4230/LIPIcs.OPODIS.2023.12,15007,KrPi,Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks
10.1007/978-3-031-58734-4_11,17051,KrPi,Trapdoor memory-hard functions
10.1145/3656462,17283,"KrCh,GradSch",Equivalence and similarity refutation for probabilistic programs
10.1016/j.tcs.2023.114353,14820,"KrCh,KrPi",Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
10.1007/978-3-031-58723-8_9,17126,KrPi,Lower bounds for lattice-based compact functional encryption
10.1007/978-981-96-0891-1_7,18755,KrPi,Strongly secure universal thresholdizer
null,18974,KrCh,Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance
10.15479/at:ista:18088,18088,"KrPi,GradSch",On the efficiency and security of secure group messaging
10.1007/978-3-031-71073-5_14,18086,"GradSch,KrPi","DeCAF: Decentralizable CGKA with fast healing"
10.56553/popets-2024-0134,18961,"KrPi,GradSch",Deniability in automated contact tracing: Impossibilities and possibilities