DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-54434-1_11,1011,"KrCh,ToHe",Faster algorithms for weighted recursive state machines
10.1145/3158118,10416,KrCh,Optimal Dyck reachability for data-dependence and Alias analysis
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.15479/AT:ISTA:th_854,821,KrCh,Algorithmic advances in program analysis and their applications
10.4230/LIPIcs.CONCUR.2017.21,950,"ToHe,KrCh",Infinite-duration bidding games
10.1007/978-3-319-63387-9_10,645,KrCh,Value iteration for long run average reward in markov decision processes
10.4230/LIPICS.CSL.2017.18,6519,KrCh,Improved set-based symbolic algorithms for parity games
10.1038/ng.3764,653,KrCh,Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
10.1073/pnas.1621239114,671,KrCh,Memory-n strategies of direct reciprocity
10.1016/j.ic.2016.10.012,681,KrCh,Doomsday equilibria for omega-regular games
10.1017/jsl.2016.71,684,KrCh,Obligation blackwell games and p-automata
10.1073/pnas.1702020114,699,KrCh,The red queen and king in finite populations
10.4230/LIPIcs.CONCUR.2017.5,711,"KrCh,ToHe",Bidirectional nested weighted automata
10.1145/3121408,716,KrCh,The complexity of mean-payoff pushdown games
10.1016/j.jcss.2017.04.005,717,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1007/s00236-017-0299-0,719,KrCh,Special issue: Synthesis and SYNT 2014
10.23638/LMCS-13(2:15)2017,466,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes