DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ICALP.2021.124,10054,KrCh,Faster algorithms for bounded liveness in graphs and game graphs
10.4230/LIPIcs.STACS.2021.44,10055,KrCh,A Ramsey theorem for finite monoids
10.4230/LIPIcs.MFCS.2021.53,10075,KrCh,A bit of nondeterminism makes pushdown automata expressive and succinct
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems
10.15479/at:ista:10293,10293,"GradSch,KrCh",Evolution of cooperation via (in)direct reciprocity under imperfect information
10.1007/978-3-030-90870-6_33,10414,KrCh,On lexicographic proof rules for probabilistic termination
10.4230/LIPIcs.FSTTCS.2021.42,10629,KrCh,Quantitative verification on product graphs of small treewidth
10.4230/LIPIcs.FSTTCS.2021.34,10630,KrCh,On the complexity of intersection non-emptiness for star-free language classes
10.48550/arXiv.2111.03165,10667,"GradSch,ToHe,KrCh",Infinite time horizon safety of Bayesian neural networks
10.1137/1.9781611976465.38,10694,"GradSch,KrCh",Infinite-duration all-pay bidding games
10.1038/s41467-021-24271-w,9640,KrCh,Fast and strong amplifiers of natural selection
10.1145/3453483.3454093,9644,KrCh,Proving non-termination by program reversal
10.1145/3453483.3454076,9645,KrCh,Polynomial reachability witnesses via Stellensätze
10.1145/3453483.3454102,9646,KrCh,Quantitative analysis of assertion violations in probabilistic programs
10.1007/978-3-030-81685-8_16,9987,KrCh,Stateless model checking under a reads-value-from equivalence
10.1038/s41598-021-96932-1,9997,"GradSch,KrCh",The evolution of indirect reciprocity under action and assessment generosity
10.24963/ijcai.2021/575,10847,KrCh,Solving partially observable stochastic shortest-path games
10.5061/DRYAD.CRJDFN318,13060,"SyCr,KrCh",Social immunity modulates competition between coinfecting pathogens
10.1007/978-3-030-53291-8_21,8272,KrCh,Stochastic games with lexicographic reachability-safety objectives