DOI,IST REx ID,Research Group,Title of publication
10.1007/s00236-021-00412-y,10602,KrCh,Index appearance record with preorders
10.1038/s41598-022-05333-5,10731,KrCh,Infection dynamics of COVID-19 virus under lockdown and reopening
10.1016/j.jcss.2022.04.003,11402,KrCh,Graph planning with expected finite horizon
10.1145/3519939.3523435,11459,"GradSch,KrCh",Differential cost analysis with simultaneous potentials and anti-potentials
10.7155/jgaa.00591,11938,"UlWa,HeEd,KrCh",On compatible matchings
10.1007/978-3-031-13185-1_4,12000,KrCh,"Sound and complete certificates for auantitative termination analysis of probabilistic programs"
10.4230/LIPIcs.FSTTCS.2022.11,12101,KrCh,Complexity of spatial games
10.4230/LIPIcs.FSTTCS.2022.29,12102,"KrCh,GradSch",Algorithms and hardness results for computing cores of Markov chains
10.1007/978-3-030-72016-2,12767,KrCh,On satisficing in quantitative games
10.1016/j.dam.2020.10.022,8793,KrCh,Optimal strategies for selecting coordinators
10.15479/AT:ISTA:8934,8934,"KrCh,GradSch",Parameterized and algebro-geometric advances in static program analysis
10.1016/j.artint.2021.103499,9293,KrCh,Algorithms and conditional lower bounds for planning problems
10.1007/978-3-030-68211-8_18,9296,"UlWa,HeEd,KrCh",On compatible matchings
10.1371/journal.pcbi.1008523,9381,KrCh,Mistakes can stabilise the dynamics of rock-paper-scissors games
10.1007/s10703-021-00373-5,9393,KrCh,Faster algorithms for quantitative verification in bounded treewidth graphs
10.1038/s41562-021-01114-8,9402,"KrCh,GradSch",A unified framework of direct and indirect reciprocity
null,9403,"GradSch,KrCh",The evolution of strategic ignorance in strategic interaction
10.1109/LICS52264.2021.9470739,10002,KrCh,Symbolic time and space tradeoffs for probabilistic verification
10.1109/LICS52264.2021.9470595,10004,KrCh,Stochastic processes with expected stopping time
10.4230/LIPIcs.CONCUR.2021.18,10052,KrCh,Decomposing permutation automata