Boker, Udi, et al. “The Target Discounted-Sum Problem.”10.1109/LICS.2015.74__LICS, IEEE, 2015, pp. 750–61, doi:10.1109/LICS.2015.74.

Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.”10.1007/978-3-662-47666-6_10__42nd International Colloquium, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.

Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.

Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-319-v1-1.

Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.

Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.

Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.

Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.

Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.

Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.

Goaoc, Xavier, et al. On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–90, doi:10.4230/LIPIcs.SOCG.2015.476.

Kolmogorov, Vladimir, et al. The Complexity of General-Valued CSPs. IEEE, 2015, pp. 1246–58, doi:10.1109/FOCS.2015.80.

Mcmahon, Dino, et al. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.”10.1111/1365-2656.12345__Journal of Animal Ecology, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:10.1111/1365-2656.12345.

Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.”10.1098/rstb.2014.0108__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015, doi:10.1098/rstb.2014.0108.

Theis, Fabian, et al. Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies. Dryad, 2015, doi:10.5061/dryad.dj2bf.

Symonova, Olga, et al. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.”10.1371/journal.pone.0127657__PLoS One, vol. 10, no. 6, e0127657, Public Library of Science, 2015, doi:10.1371/journal.pone.0127657.

Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.”10.1371/journal.pcbi.1004055__PLoS Computational Biology, vol. 11, no. 3, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.

Trubenova, Barbora, et al. “Indirect Genetic Effects and the Dynamics of Social Interactions.”10.1371/journal.pone.0126907__PLoS One, vol. 10, no. 5, Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.

Gómez Sicilia, Àngel, et al. “An Exploration of the Universe of Polyglutamine Structures.”10.1371/journal.pcbi.1004541__PLoS Computational Biology, vol. 11, no. 10, e1004541, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004541.

Konrad, Matthias, et al. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.”10.1098/rspb.2014.1976__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799, 20141976, The Royal Society, 2015, doi:10.1098/rspb.2014.1976.