DOI,IST REx ID,Research Group,Title of publication
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
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.23638/LMCS-13(3:26)2017,464,KrCh,Improved algorithms for parity and Streett objectives
10.1016/j.jtbi.2017.08.025,744,KrCh,Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1007/978-3-319-68167-2_4,949,KrCh,JTDec: A tool for tree decompositions in soot