DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1145/2380356.2380370,2936,"KrCh,ToHe",Finite automata with time delay blocks
10.1007/978-3-642-33386-6_30,2947,KrCh,Equivalence of games with probabilistic uncertainty and partial observation games
10.1109/LICS.2012.28,2955,KrCh,Partial-observation stochastic games: How to win when belief fails
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.1038/nature11219,3157,KrCh,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
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
10.1016/j.tpb.2011.11.003,3260,KrCh,Evolutionary dynamics of biological auctions