Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-170-v2-2 .
LibreCat: https://research-explorer.ista.ac.at/record/5436
DOI: 10.15479/AT:IST-2015-170-v2-2

Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.”https://doi.org/10.1109/LICS.2015.74__In LICS, 750–61. Logic in Computer Science. IEEE, 2015.https://doi.org/10.1109/LICS.2015.74 .
LibreCat: https://research-explorer.ista.ac.at/record/1659
DOI: 10.1109/LICS.2015.74

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.1007/978-3-662-47666-6_10__In 42nd International Colloquium, 9135:121–33. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-47666-6_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1610
DOI: 10.1007/978-3-662-47666-6_10
arXiv: 1504.08259

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-330-v2-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5437
DOI: 10.15479/AT:IST-2015-330-v2-1

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-319-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5430
DOI: 10.15479/AT:IST-2015-319-v1-1

Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-335-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5439
DOI: 10.15479/AT:IST-2015-335-v1-1

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-334-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5438
DOI: 10.15479/AT:IST-2015-334-v1-1

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-323-v2-2 .
LibreCat: https://research-explorer.ista.ac.at/record/5440
DOI: 10.15479/AT:IST-2015-323-v2-2

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-323-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5432
DOI: 10.15479/AT:IST-2015-323-v1-1

Reiter, Johannes, Alvin Makohon-Moore, Jeffrey Gerold, Ivana Bozic, Krishnendu Chatterjee, Christine Iacobuzio-Donahue, Bert Vogelstein, and Martin Nowak. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-399-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5444
DOI: 10.15479/AT:IST-2015-399-v1-1

Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-325-v2-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5443
DOI: 10.15479/AT:IST-2015-325-v2-1

Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,”https://doi.org/10.4230/LIPIcs.SOCG.2015.476__34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/10.4230/LIPIcs.SOCG.2015.476 .
LibreCat: https://research-explorer.ista.ac.at/record/1511
DOI: 10.4230/LIPIcs.SOCG.2015.476

Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,”https://doi.org/10.1109/FOCS.2015.80__1246–58. IEEE, 2015.https://doi.org/10.1109/FOCS.2015.80 .
LibreCat: https://research-explorer.ista.ac.at/record/1637
DOI: 10.1109/FOCS.2015.80

Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.”https://doi.org/10.1111/1365-2656.12345__Journal of Animal Ecology. Wiley, 2015.https://doi.org/10.1111/1365-2656.12345 .
LibreCat: https://research-explorer.ista.ac.at/record/1855
DOI: 10.1111/1365-2656.12345
PMID: 25646973

Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.”https://doi.org/10.1098/rstb.2014.0108__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2015.https://doi.org/10.1098/rstb.2014.0108 .
LibreCat: https://research-explorer.ista.ac.at/record/1830
DOI: 10.1098/rstb.2014.0108
PMID: 25870394

Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.”https://doi.org/10.5061/dryad.dj2bf__Dryad, 2015.https://doi.org/10.5061/dryad.dj2bf .
LibreCat: https://research-explorer.ista.ac.at/record/9721
DOI: 10.5061/dryad.dj2bf

Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.”https://doi.org/10.1371/journal.pone.0127657__PLoS One. Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0127657 .
LibreCat: https://research-explorer.ista.ac.at/record/1793
DOI: 10.1371/journal.pone.0127657

Friedlander, Tamar, Avraham Mayo, Tsvi Tlusty, and Uri Alon. “Evolution of Bow-Tie Architectures in Biology.”https://doi.org/10.1371/journal.pcbi.1004055__PLoS Computational Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004055 .
LibreCat: https://research-explorer.ista.ac.at/record/1827
DOI: 10.1371/journal.pcbi.1004055

Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Indirect Genetic Effects and the Dynamics of Social Interactions.”https://doi.org/10.1371/journal.pone.0126907__PLoS One. Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0126907 .
LibreCat: https://research-explorer.ista.ac.at/record/1809
DOI: 10.1371/journal.pone.0126907

Gómez Sicilia, Àngel, Mateusz K Sikora, Marek Cieplak, and Mariano Carrión Vázquez. “An Exploration of the Universe of Polyglutamine Structures.”https://doi.org/10.1371/journal.pcbi.1004541__PLoS Computational Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004541 .
LibreCat: https://research-explorer.ista.ac.at/record/1566
DOI: 10.1371/journal.pcbi.1004541