DOI,IST REx ID,Research Group,Title of publication
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.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.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.6084/m9.figshare.5973013.v1,9814,KrCh,Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1016/j.ress.2019.106665,6918,KrCh,An efficient algorithm for computing network reliability in small treewidth
10.1007/978-3-030-11245-5_22,5948,KrCh,Termination of nondeterministic probabilistic programs
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.48550/arXiv.1903.06981,7950,"HeEd,UlWa,KrCh",Token swapping on trees
10.1007/978-3-030-25540-4_36,6462,"ToHe,KrCh",Run-time optimization for learned controllers through quantitative games
10.1038/s41586-019-1488-5,6836,KrCh,Social dilemmas among unequals