DOI,IST REx ID,Research Group,Title of publication
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
10.29252/ijmsi.15.2.117,8671,KrCh,A note on belief structures and s-approximation spaces
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1371/journal.pcbi.1008402,8767,KrCh,The Moran process on 2-chromatic graphs
10.1109/TCAD.2020.3012803,8788,KrCh,Precedence-aware automated competitive analysis of real-time scheduling
10.3390/math8111945,8789,KrCh,Prioritised learning in snowdrift-type games
10.1609/aaai.v34i02.5546,9197,"ToHe,KrCh",All-pay bidding games on graphs
10.1016/j.ress.2019.106665,6918,KrCh,An efficient algorithm for computing network reliability in small treewidth
10.15479/AT:ISTA:7196,7196,"KrCh,GradSch",A role of graphs in evolutionary processes
10.1371/journal.pcbi.1007494,7212,KrCh,Limits on amplifiers of natural selection under death-Birth updating
10.1111/ele.13458,7343,"SyCr,KrCh",Social immunity modulates competition between coinfecting pathogens
10.4230/LIPIcs.OPODIS.2019.21,7346,KrCh,The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1145/3373718.3394761,7955,KrCh,Approximating values of generalized-reachability stochastic games
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs
null,8193,KrCh,Multiple-environment Markov decision processes: Efficient analysis and applications
10.1609/aaai.v34i06.6531,15055,KrCh,Reinforcement learning of risk-constrained policies in Markov decision processes