DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2013-130-v1-1,5406,"KrCh,ToHe",Distributed synthesis for LTL Fragments
10.15479/AT:IST-2013-141-v1-1,5408,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.15479/AT:IST-2013-144-v1-1,5409,KrCh,Edit distance for timed automata
10.15479/AT:IST-2013-146-v1-1,5410,KrCh,Automatic generation of alternative starting positions for traditional board games
10.1371/journal.pone.0080814.s001,9749,KrCh,Forgiver triumphs in alternating prisoner's dilemma 
10.1007/978-3-642-39799-8_36,2444,KrCh,Faster algorithms for Markov decision processes with low treewidth
10.1007/978-3-642-37064-9_20,10902,KrCh,How to travel between languages
10.1007/978-3-642-45221-5_17,2238,KrCh,Multi-objective discounted reward verification in graphs and MDPs
10.1371/journal.pone.0080814,2247,KrCh,Forgiver triumphs in alternating prisoner's dilemma 
10.1007/978-3-319-02444-8_10,2279,KrCh,Looking at mean-payoff and total-payoff through windows
10.1007/978-3-642-40313-2,2292,KrCh,Mathematical Foundations of Computer Science 2013
10.4230/LIPIcs.CSL.2013.165,2295,KrCh,What is decidable about partially observable Markov decision processes with omega-regular objectives
10.1007/s10009-011-0207-9,2299,"KrCh,ToHe",Synthesis of AMBA AHB from formal specification: A case study
10.1109/LICS.2013.39,2305,KrCh,Trading performance for stability in Markov decision processes
10.1007/978-3-642-40184-8_35,2329,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1007/978-3-642-39799-8_37,2446,KrCh,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
10.1142/S0129054113400066,2814,KrCh,The complexity of coverage
10.7554/eLife.00747,2816,KrCh,Evolutionary dynamics of cancer in response to targeted combination therapy
10.1016/j.jtbi.2013.05.029,2817,"NiBa,KrCh",Density games
10.1145/2461328.2461370,2819,KrCh,Quantitative timed simulation functions and refinement metrics for real-time systems