DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.15479/AT:IST-2015-323-v2-2,5440,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.15479/AT:IST-2015-399-v1-1,5444,KrCh,Reconstructing robust phylogenies of metastatic cancers
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.3389/fenvs.2015.00042,10794,"ToHe,GaTk",Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
10.1137/1.9781611973730.69,10796,KrCh,The value 1 problem under finite-memory strategies for concurrent mean-payoff games
10.1101/gad.269902.115,9532,DaZi,Evolution and function of genomic imprinting in plants
10.1371/journal.pbio.1002299.s001,9711,ToBo,Excel file containing the raw data for all figures
10.1371/journal.pgen.1005639.s001,9712,"NiBa,CaGu,GaTk",Other fitness models for comparison & for interacting TFBSs
10.1371/journal.pcbi.1004541.s001,9714,CaHe,An exploration of the universe of polyglutamine structures - submission to PLOS journals
10.1371/journal.pone.0126907.s001,9715,NiBa,Mathematical inference of the results
10.1371/journal.pcbi.1004055.s001,9718,GaTk,Supporting information text
10.5061/dryad.cj910,9719,CaGu,Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
10.5061/dryad.dj2bf,9721,SyCr,Data from: Opposing effects of allogrooming on disease transmission in ant societies
10.1371/journal.pone.0127657.s001,9737,"MaJö,HeEd",Root traits computed by DynamicRoots for the maize root shown in fig 2
10.5061/dryad.7kc79,9742,SyCr,Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
10.1371/journal.pbio.1002299.s008,9765,ToBo,Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs
10.1371/journal.pone.0126907.s003,9772,NiBa,Description of the agent based simulations