DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-21690-4_31,1601,"ToHe,KrCh",The Hanoi omega-automata format
10.1145/2676726.2676979,1602,KrCh,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
10.1007/978-3-319-21690-4_10,1603,"KrCh,ToHe",Counterexample explanation by learning small strategies in Markov decision processes
10.1145/2676726.2676968,1604,KrCh,Quantitative interprocedural analysis
10.1007/978-3-319-21690-4_9,1607,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.1007/978-3-662-47666-6_9,1609,KrCh,The complexity of synthesis from probabilistic components
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1038/srep17147,1624,KrCh,Cellular cooperation with shift updating and repulsion
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.1109/LICS.2015.15,1660,KrCh,Long-run average behaviour of probabilistic vector addition systems
10.1109/LICS.2015.34,1661,KrCh,Improved algorithms for one-pair and k-pair Streett objectives
10.1038/nature15395,1665,KrCh,Mutations driving CLL and their evolution in progression and relapse
10.1007/978-3-319-22264-6_10,1667,KrCh,Optimizing performance of continuous-time stochastic systems using timeout synthesis
10.1098/rspa.2015.0114,1673,KrCh,Amplifiers of selection
10.3390/g6040413,1681,"NiBa,KrCh",Evolution of decisions in population games with sequentially searching individuals
10.1145/2728606.2728608,1689,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/2728606.2728617,1691,KrCh,Temporal logic motion planning using POMDPs with parity objectives: Case study paper
10.1109/TAC.2015.2404612,1694,KrCh,Quantitative temporal simulation and refinement distances for timed systems
10.1016/j.ic.2015.03.001,1698,"KrCh,ToHe",The complexity of multi-mean-payoff and multi-energy games