DOI,IST REx ID,Research Group,Title of publication
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
10.1098/rspb.2015.1041,1709,KrCh,Biological auctions with multiple rewards
10.1109/RTSS.2014.9,1714,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.1007/s00236-015-0215-4,1846,"ToHe,KrCh",Refinement checking on parametric modal transition systems
10.1111/evo.12618,1851,"NiBa,KrCh",Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
10.1145/2699430,1856,"KrCh,ToHe",Measuring and synthesizing systems in probabilistic environments
10.1016/j.artint.2014.12.009,1873,KrCh,POMDPs under probabilistic semantics
10.1007/978-3-319-15317-9_19,1882,"ToHe,KrCh",Compositionality for quantitative specifications