DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-54830-7_14,2212,KrCh,Perfect-information stochastic mean-payoff parity games
10.1007/978-3-642-54830-7_16,2213,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.1145/2562059.2562141,2216,KrCh,Edit distance for timed automata
10.1016/j.tcs.2013.11.032,2246,KrCh,Alternating traps in Muller and parity games
10.1145/2597631,2141,KrCh,Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
10.1007/978-3-662-43951-7_11,2162,KrCh,The complexity of ergodic mean payoff games
10.1007/978-3-662-43951-7_10,2163,KrCh,Games with a weak adversary
10.1007/s00236-013-0191-5,2187,"KrCh,ToHe",Synthesizing robust systems
10.1007/978-3-319-08867-9_13,2190,"ToHe,KrCh",From LTL to deterministic automata: A safraless compositional approach
10.1016/j.tcs.2014.06.031,1375,KrCh,Approximating the minimum cycle mean
10.1109/IOT.2014.7030120,1853,KrCh,Game theoretic secure localization in wireless sensor networks
null,1884,KrCh,Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
10.4204/EPTCS.146.11,475,KrCh,First cycle games
10.15479/AT:IST-2014-153-v1-1,5412,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v2-2,5413,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-176-v1-1,5418,KrCh,Games with a weak adversary
10.15479/AT:IST-2014-187-v1-1,5419,KrCh,Improved algorithms for reachability and shortest path on low tree-width graphs
10.15479/AT:IST-2014-191-v1-1,5420,KrCh,The value 1 problem for concurrent mean-payoff games
10.15479/AT:IST-2014-190-v2-2,5421,KrCh,The complexity of evolution on graphs