DOI,IST REx ID,Research Group,Title of publication
10.7554/eLife.00747,2816,KrCh,Evolutionary dynamics of cancer in response to targeted combination therapy
10.1007/978-3-642-39799-8_6,2000,KrCh,TTP: Tool for tumor progression
10.4230/LIPIcs.FSTTCS.2012.461,2715,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
10.1016/j.jtbi.2012.02.021,2848,"KrCh,ToHe",Evolutionary game dynamics in populations with different learners
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1007/978-3-642-33386-6_30,2947,KrCh,Equivalence of games with probabilistic uncertainty and partial observation games
10.1109/LICS.2012.30,2956,KrCh,Mean payoff pushdown games
10.1109/LICS.2012.29,2957,KrCh,Decidable problems for probabilistic automata on infinite words
10.1016/j.tcs.2012.07.038,2972,KrCh,Energy parity games
10.4204/EPTCS.96.18,495,KrCh,A Myhill Nerode theorem for automata with advice
10.1109/LICS.2012.65,496,KrCh,Interpretations in trees with countably many branches
10.4230/LIPIcs.CSL.2012.167,497,KrCh,Faster algorithms for alternating refinement relations
10.15479/AT:IST-2012-0002,5377,KrCh,Mean-payoff pushdown games
10.15479/AT:IST-2012-0001,5378,KrCh,Faster algorithms for alternating refinement relations
10.1007/s10703-012-0164-2,3128,"KrCh,ToHe",A survey of partial-observation stochastic parity games
10.1007/978-3-642-31424-7_8,3135,KrCh,Efficient controller synthesis for consumption games with multiple resource types
10.1137/1.9781611973099.109,3165,KrCh,An O(n2) time algorithm for alternating Büchi games
10.1007/978-3-642-27940-9_11,3252,KrCh,Synthesizing protocols for digital contract signing
10.1016/j.ic.2011.11.004,3254,KrCh,The complexity of stochastic Müller games
10.1007/978-3-642-25929-6_3,3255,KrCh,Games and Markov decision processes with mean payoff parity and energy parity objectives