DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-53413-7_2,1335,"KrCh,ToHe",Quantitative monitor automata
10.1534/genetics.115.183814,1518,"KrCh,NiBa",Efficient strategies for calculating blockwise likelihoods under the coalescent
10.1016/j.artint.2016.01.007,1529,KrCh,Optimal cost almost-sure reachability in POMDPs
10.1007/978-3-662-53354-3_6,1340,KrCh,The big match in small space
10.1145/2857050,1380,KrCh,On the complexity of the orbit problem
10.1007/978-3-319-41528-4_1,1386,KrCh,Termination analysis of probabilistic programs through Positivstellensatz's
10.1145/2933575.2934548,1389,KrCh,On recurrent reachability for continuous linear dynamical systems
null,1397,KrCh,Algorithms for partially observable markov decision processes
10.1038/srep25676,1423,KrCh,Comparing reactive and memory-one strategies of direct reciprocity
10.1098/rsos.160036,1426,KrCh,Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
10.1145/2837614.2837624,1437,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1145/2837614.2837639,1438,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular 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