DOI,IST REx ID,Research Group,Title of publication
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.15479/at:ista:10293,10293,"GradSch,KrCh",Evolution of cooperation via (in)direct reciprocity under imperfect information
10.1038/s41598-021-96932-1,9997,"GradSch,KrCh",The evolution of indirect reciprocity under action and assessment generosity
10.1038/s41562-021-01114-8,9402,"KrCh,GradSch",A unified framework of direct and indirect reciprocity
10.15479/AT:ISTA:8934,8934,"KrCh,GradSch",Parameterized and algebro-geometric advances in static program analysis
10.5061/DRYAD.CRJDFN318,13060,"SyCr,KrCh",Social immunity modulates competition between coinfecting pathogens
10.1609/aaai.v34i06.6531,15055,KrCh,Reinforcement learning of risk-constrained policies in Markov decision processes
null,15082,"KrCh,UlWa",Disjoint tree-compatible plane perfect matchings
10.1017/9781108770750.008,19986,KrCh,Termination Analysis of Probabilistic Programs with Martingales
10.1145/3373718.3394761,7955,KrCh,Approximating values of generalized-reachability stochastic games
null,8193,KrCh,Multiple-environment Markov decision processes: Efficient analysis and applications
10.1007/978-3-030-53291-8_21,8272,KrCh,Stochastic games with lexicographic reachability-safety objectives
10.1145/3371093,8324,KrCh,Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
10.4230/LIPIcs.MFCS.2020.22,8533,KrCh,Simplified game of life: Algorithms and complexity
10.4230/LIPIcs.MFCS.2020.51,8534,KrCh,Unary prime languages
10.4230/LIPIcs.CONCUR.2020.23,8600,"KrCh,ToHe",Multi-dimensional long-run average problems for vector addition systems with states