DOI,IST REx ID,Research Group,Title of publication
10.1038/s41598-022-05333-5,10731,KrCh,Infection dynamics of COVID-19 virus under lockdown and reopening
10.1103/physreve.106.034321,12257,KrCh,Social balance on networks: Local minima and best-edge dynamics
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.4230/LIPIcs.FSTTCS.2021.42,10629,KrCh,Quantitative verification on product graphs of small treewidth
10.1007/s10703-021-00373-5,9393,KrCh,Faster algorithms for quantitative verification in bounded treewidth graphs
10.1038/s41467-021-24271-w,9640,KrCh,Fast and strong amplifiers of natural selection
10.1007/978-3-030-81685-8_16,9987,KrCh,Stateless model checking under a reads-value-from equivalence
10.1109/TCAD.2020.3012803,8788,KrCh,Precedence-aware automated competitive analysis of real-time scheduling
10.1371/journal.pcbi.1007494,7212,KrCh,Limits on amplifiers of natural selection under death-Birth updating
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.1038/s42003-019-0373-y,7210,KrCh,Population structure determines the tradeoff between fixation probability and fixation time
10.1145/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1145/3290366,6380,KrCh,Efficient parameterized algorithms for data packing
10.1038/s42003-018-0078-7,5751,KrCh,Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
10.1145/3158119,10417,KrCh,Data-centric dynamic partial order reduction
10.1007/s11241-017-9293-4,738,KrCh,Automated competitive analysis of real time scheduling with graph games
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1038/s41598-017-00107-w,512,KrCh,Amplification on undirected population structures: Comets beat stars