DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-36046-6_12,2886,KrCh,Controllable-choice message sequence graphs
10.4230/LIPIcs.CSL.2013.181,1374,KrCh,Infinite-state games with finitary conditions
10.1109/FMCAD.2013.6679386,1376,"KrCh,ToHe",Distributed synthesis for LTL fragments
10.15479/AT:IST-2013-104-v1-1,5399,KrCh,TTP: Tool for Tumor Progression
10.15479/AT:IST-2013-109-v1-1,5400,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.15479/AT:IST-2013-126-v1-1,5403,KrCh,Qualitative analysis of concurrent mean-payoff games
10.15479/AT:IST-2013-127-v1-1,5404,KrCh,The complexity of ergodic games
10.15479/AT:IST-2013-128-v1-1,5405,KrCh,Perfect-information stochastic mean-payoff parity games
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.1007/978-3-642-36046-6_11,19995,KrCh,Strategy complexity of finite-horizon Markov decision processes and simple stochastic games
10.1007/978-3-642-39799-8_6,2000,KrCh,TTP: Tool for tumor progression
10.1007/s10703-012-0170-4,3116,KrCh,Code aware resource management
10.1371/journal.pone.0080814.s001,9749,KrCh,Forgiver triumphs in alternating prisoner's dilemma 
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
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