DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.1534/genetics.115.183814,1518,"KrCh,NiBa",Efficient strategies for calculating blockwise likelihoods under the coalescent
10.3233/978-1-61499-672-9-1432,478,KrCh,The complexity of deciding legality of a single step of magic: The gathering
10.1145/2933575.2934513,480,KrCh,Perfect-information stochastic games with generalized mean-payoff objectives
10.15479/AT:IST-2016-523-v1-1,5445,KrCh,Quantitative interprocedural analysis
10.15479/AT:IST-2016-648-v1-1,5449,KrCh,Amplification on undirected population structures: Comets beat stars
10.15479/AT:IST-2016-728-v1-1,5451,KrCh,Strong amplifiers of natural selection
10.15479/AT:IST-2017-728-v2-1,5452,KrCh,Arbitrarily strong amplifiers of natural selection
10.15479/AT:IST-2017-749-v3-1,5453,KrCh,Arbitrarily strong amplifiers of natural selection
10.4230/LIPIcs.MFCS.2016.25,1068,KrCh,Conditionally optimal algorithms for generalized Büchi Games
10.4230/LIPIcs.ICALP.2016.100,1069,KrCh,On the skolem problem for continuous linear dynamical systems
10.4230/LIPIcs.ICALP.2016.98,1070,KrCh,Computation tree logic for synchronization properties
10.4230/LIPIcs.ESA.2016.28,1071,KrCh,Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
10.1371/journal.pone.0163867.s008,9867,KrCh,Experimental game instructions
10.1371/journal.pone.0163867.s009,9868,KrCh,Experimental data
null,1397,"KrCh,GradSch",Algorithms for partially observable markov decision processes
10.1098/rsos.160036,1426,KrCh,Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
10.1145/2933575.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics
10.1016/j.artint.2016.01.007,1529,KrCh,Optimal cost almost-sure reachability in POMDPs
10.1145/2837614.2837624,1437,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components