DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-41528-4_1,1386,KrCh,Termination analysis of probabilistic programs through Positivstellensatz's
null,1481,KrCh,Automatic generation of alternative starting positions for simple traditional board games
10.4230/LIPIcs.CONCUR.2015.142,1499,"ToHe,KrCh",Polynomial time decidability of weighted synchronization under partial observability
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1145/2737166.2737175,1502,"ToHe,KrCh",Complete composition operators for IOCO-testing theory
10.1073/pnas.1511366112,1559,KrCh,Computational complexity of ecological and evolutionary spatial dynamics
10.1007/978-3-662-48899-7_12,1594,"ToHe,KrCh",Controller synthesis for MDPs and frequency LTL\GU
10.1016/j.tcs.2015.01.050,1598,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
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.1038/srep17147,1624,KrCh,Cellular cooperation with shift updating and repulsion
10.1109/LICS.2015.15,1660,KrCh,Long-run average behaviour of probabilistic vector addition systems
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