DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63121-9_18,625,"KrCh,ToHe",The cost of exactness in quantitative reachability
10.1007/978-3-319-63387-9_6,628,KrCh,Automated recurrence analysis for almost linear expected runtime bounds
null,1009,KrCh,Optimizing expectation with guarantees in POMDPs
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