DOI,IST REx ID,Research Group,Title of publication
10.1145/3158119,10417,KrCh,Data-centric dynamic partial order reduction
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination
10.1016/j.ipl.2017.02.003,1065,"KrCh,HeEd",Pushdown reachability with constant treewidth
10.1016/j.ic.2016.10.006,1066,"KrCh,ToHe",Quantitative fair simulation games
10.1038/ncomms14114,1080,KrCh,Reconstructing metastatic seeding patterns of human cancers
10.1007/978-3-319-68167-2_4,949,KrCh,JTDec: A tool for tree decompositions in soot
10.4230/LIPIcs.CONCUR.2017.21,950,"ToHe,KrCh",Infinite-duration bidding games
10.1145/3009837.3009873,1194,KrCh,Stochastic invariants for probabilistic termination
10.23638/LMCS-13(3:26)2017,464,KrCh,Improved algorithms for parity and Streett objectives
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.23638/LMCS-13(2:15)2017,466,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1038/s41598-017-00107-w,512,KrCh,Amplification on undirected population structures: Comets beat stars
10.1145/2818052.2869122,1245,KrCh,Game-theoretic models identify useful principles for peer collaboration in online learning platforms
10.1371/journal.pone.0163867,1322,KrCh,Asymmetric power boosts extortion in an economic experiment
null,1324,KrCh,Indefinite-horizon reachability in Goal-DEC-POMDPs
10.4230/LIPIcs.CONCUR.2016.10,1325,KrCh,Stability in graphs and games
10.1007/978-3-319-46520-3_3,1326,KrCh,Optimizing the expected mean payoff in Energy Markov Decision Processes
null,1327,KrCh,Stochastic shortest path with energy constraints in POMDPs
10.1038/ncomms10915,1333,KrCh,Humans choose representatives who enforce cooperation in social dilemmas through extortion