DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2015-330-v2-1,5437,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-334-v1-1,5438,KrCh,Edit distance for pushdown automata
10.15479/AT:IST-2015-323-v2-2,5440,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.15479/AT:IST-2015-399-v1-1,5444,KrCh,Reconstructing robust phylogenies of metastatic cancers
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1137/1.9781611973730.69,10796,KrCh,The value 1 problem under finite-memory strategies for concurrent mean-payoff games
10.1016/j.ic.2015.03.010,523,KrCh,Looking at mean-payoff and total-payoff through windows
10.1016/j.ic.2015.03.009,524,KrCh,Qualitative analysis of concurrent mean payoff games
10.1016/j.tcs.2014.08.019,1733,"ToHe,KrCh",Interface simulation distances
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.1007/978-3-662-44522-8_1,1903,KrCh,Partial-observation stochastic reachability and parity games
10.1007/978-3-319-11936-6_8,2027,"KrCh,ToHe",Verification of markov decision processes using learning algorithms
10.1145/2629686,2038,"ToHe,KrCh",Temporal specifications with accumulative values
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-662-44584-6_37,2054,KrCh,Qualitative concurrent parity games: Bounded rationality