DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-08867-9_31,2063,"KrCh,ToHe",CEGAR for qualitative analysis of probabilistic systems
10.1016/j.tcs.2014.06.031,1375,KrCh,Approximating the minimum cycle mean
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-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
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
10.15479/AT:IST-2014-300-v1-1,5423,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.15479/AT:IST-2014-305-v1-1,5424,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-305-v2-1,5426,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-314-v1-1,5427,KrCh,Optimal tree-decomposition balancing and reachability on low treewidth graphs
10.15479/AT:IST-2014-315-v1-1,5428,"ToHe,KrCh",Quantitative fair simulation games
10.1371/journal.pcbi.1003818.s001,9739,KrCh,"Detailed proofs for “The time scale of evolutionary innovation”"
10.1007/978-3-642-54013-4_15,10884,KrCh,Parameterized model checking of token-passing systems
10.1007/978-3-642-54013-4_5,10885,KrCh,Doomsday equilibria for omega-regular 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