DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jtbi.2017.08.025,744,KrCh,Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.15479/AT:IST-2017-870-v1-1,5455,KrCh,Optimal Dyck reachability for data-dependence and alias analysis
10.15479/AT:IST-2017-872-v1-1,5456,KrCh,Data-centric dynamic partial order reduction
10.4230/LIPIcs.MFCS.2017.61,551,KrCh,Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
10.4230/LIPIcs.MFCS.2017.39,552,KrCh,Faster algorithms for mean-payoff parity games
10.4230/LIPIcs.MFCS.2017.55,553,KrCh,Strategy complexity of concurrent safety games
10.15479/AT:ISTA:51,5559,KrCh,Strong amplifiers of natural selection
10.1007/978-3-319-63121-9_18,625,"KrCh,ToHe",The cost of exactness in quantitative reachability
10.1007/978-3-319-63387-9_6,628,KrCh,Automated recurrence analysis for almost linear expected runtime bounds
10.1007/978-3-319-63390-9_3,639,KrCh,Non-polynomial worst case analysis of recursive programs
10.1007/978-3-319-63387-9_10,645,KrCh,Value iteration for long run average reward in markov decision processes
10.4230/LIPICS.CSL.2017.18,6519,KrCh,Improved set-based symbolic algorithms for parity games
10.1038/ng.3764,653,KrCh,Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
10.1073/pnas.1621239114,671,KrCh,Memory-n strategies of direct reciprocity
10.1016/j.ic.2016.10.012,681,KrCh,Doomsday equilibria for omega-regular games
10.1017/jsl.2016.71,684,KrCh,Obligation blackwell games and p-automata
null,1009,KrCh,Optimizing expectation with guarantees in POMDPs
10.1007/978-3-662-54434-1_11,1011,"KrCh,ToHe",Faster algorithms for weighted recursive state machines
10.1145/3158118,10416,KrCh,Optimal Dyck reachability for data-dependence and Alias analysis