Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.”https://doi.org/10.1016/j.artint.2016.01.007__Artificial Intelligence. Elsevier, 2016.https://doi.org/10.1016/j.artint.2016.01.007 .
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-523-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-648-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2017-749-v3-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-728-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Martius, Georg S, Rafael Hostettler, Alois Knoll, and Ralf Der. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.”https://doi.org/10.7551/978-0-262-33936-0-ch029__In Proceedings of the Artificial Life Conference 2016, 28:142–43. MIT Press, 2016.https://doi.org/10.7551/978-0-262-33936-0-ch029 .
LibreCat: https://research-explorer.ista.ac.at/record/8094
DOI: 10.7551/978-0-262-33936-0-ch029

Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkadik, and Michael Berry. “Error-Robust Modes of the Retinal Population Code.”https://doi.org/10.1371/journal.pcbi.1005148__PLoS Computational Biology. Public Library of Science, 2016.https://doi.org/10.1371/journal.pcbi.1005148 .
LibreCat: https://research-explorer.ista.ac.at/record/1197
DOI: 10.1371/journal.pcbi.1005148

Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.”https://doi.org/10.5061/dryad.4b565__Dryad, 2016.https://doi.org/10.5061/dryad.4b565 .
LibreCat: https://research-explorer.ista.ac.at/record/9720
DOI: 10.5061/dryad.4b565

Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.”https://doi.org/10.1371/journal.pbio.2000234__PLoS Biology. Public Library of Science, 2016.https://doi.org/10.1371/journal.pbio.2000234 .
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

Zagórski, Marcin P, Zdzisaw Burda, and Bartomiej Wacaw. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.”https://doi.org/10.1371/journal.pcbi.1005218__PLoS Computational Biology. Public Library of Science, 2016.https://doi.org/10.1371/journal.pcbi.1005218 .
LibreCat: https://research-explorer.ista.ac.at/record/1167
DOI: 10.1371/journal.pcbi.1005218

Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.”https://doi.org/10.1098/rspb.2016.0811__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2016.https://doi.org/10.1098/rspb.2016.0811 .
LibreCat: https://research-explorer.ista.ac.at/record/1262
DOI: 10.1098/rspb.2016.0811

Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.”https://doi.org/10.5061/dryad.cq7t1__Dryad, 2016.https://doi.org/10.5061/dryad.cq7t1 .
LibreCat: https://research-explorer.ista.ac.at/record/9704
DOI: 10.5061/dryad.cq7t1

Hilbe, Christian, Kristin Hagel, and Manfred Milinski. “Asymmetric Power Boosts Extortion in an Economic Experiment.”https://doi.org/10.1371/journal.pone.0163867__PLoS One. Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163867 .
LibreCat: https://research-explorer.ista.ac.at/record/1322
DOI: 10.1371/journal.pone.0163867

Hillenbrand, Patrick, Ulrich Gerland, and Gasper Tkadik. “Beyond the French Flag Model: Exploiting Spatial and Gene Regulatory Interactions for Positional Information.”https://doi.org/10.1371/journal.pone.0163628__PLoS One. Public Library of Science, 2016.https://doi.org/10.1371/journal.pone.0163628 .
LibreCat: https://research-explorer.ista.ac.at/record/1270
DOI: 10.1371/journal.pone.0163628

Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.”https://doi.org/10.1371/journal.pgen.1005974__PLoS Genetics. Public Library of Science, 2016.https://doi.org/10.1371/journal.pgen.1005974 .
LibreCat: https://research-explorer.ista.ac.at/record/1250
DOI: 10.1371/journal.pgen.1005974

Schlögl, Alois, and Stephan Stadlbauer. “High Performance Computing at IST Austria: Modelling the Human Hippocampus.” In AHP - Austrian HPC Meeting 2016, 37. VSC - Vienna Scientific Cluster, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/12903

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games,”https://doi.org/10.1007/978-3-662-53354-3_13__9928:153–66. Springer, 2016.https://doi.org/10.1007/978-3-662-53354-3_13 .
LibreCat: https://research-explorer.ista.ac.at/record/1341
DOI: 10.1007/978-3-662-53354-3_13