DOI,IST REx ID,Research Group,Title of publication
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
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,2039,KrCh,The time scale of evolutionary innovation
10.1007/978-3-662-44584-6_9,2052,KrCh,Parameterized model checking of rendezvous systems
10.1007/978-3-662-44584-6_18,2053,"ToHe,KrCh",Probabilistic bisimulation: Naturally on distributions
10.1007/978-3-319-08867-9_31,2063,"KrCh,ToHe",CEGAR for qualitative analysis of probabilistic systems