DOI,IST REx ID,Research Group,Title of publication
10.1103/physreve.106.034321,12257,KrCh,Social balance on networks: Local minima and best-edge dynamics
10.7155/jgaa.00591,11938,"UlWa,HeEd,KrCh",On compatible matchings
10.1007/978-3-030-68211-8_18,9296,"UlWa,HeEd,KrCh",On compatible matchings
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
10.15479/at:ista:10293,10293,"GradSch,KrCh",Evolution of cooperation via (in)direct reciprocity under imperfect information
10.1038/s41467-021-24271-w,9640,KrCh,Fast and strong amplifiers of natural selection
10.1371/journal.pcbi.1007494,7212,KrCh,Limits on amplifiers of natural selection under death-Birth updating
10.1145/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs
10.1145/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1038/s42003-019-0373-y,7210,KrCh,Population structure determines the tradeoff between fixation probability and fixation time
10.1109/BLOC.2019.8751326,6056,KrCh,Probabilistic smart contracts: Secure randomness on the blockchain
10.1145/3314221.3314581,6175,KrCh,Cost analysis of nondeterministic probabilistic programs
10.1145/3297280.3297319,6378,KrCh,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
10.1145/3290366,6380,KrCh,Efficient parameterized algorithms for data packing
10.1145/3360555,6780,KrCh,Modular verification for almost-sure termination of probabilistic programs
10.1038/s41586-019-1488-5,6836,KrCh,Social dilemmas among unequals
10.4230/LIPICS.CONCUR.2019.7,6887,KrCh,Near-linear time algorithms for Streett objectives in graphs and MDPs
10.1007/978-3-319-95246-8_9,86,"KrCh,ToHe",Computing average response time
10.1007/s11241-017-9293-4,738,KrCh,Automated competitive analysis of real time scheduling with graph games