DOI,IST REx ID,Research Group,Title of publication
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.1145/2933575.2934548,1389,KrCh,On recurrent reachability for continuous linear dynamical systems
10.1038/srep25676,1423,KrCh,Comparing reactive and memory-one strategies of direct reciprocity
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.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