Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Supplementary Appendix.”https://doi.org/10.1371/journal.pcbi.1005582.s001__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582.s001 .

Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.”https://doi.org/10.1145/3092703.3098225__In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 376–79. ACM, 2017.https://doi.org/10.1145/3092703.3098225 .

Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.”https://doi.org/10.1186/s13059-017-1230-2__Genome Biology. Springer Nature, 2017.https://doi.org/10.1186/s13059-017-1230-2 .

Mitchell, Joshua, William Zhang, Michel Herde, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.”https://doi.org/10.1007/978-1-4939-6940-1_6__In Synthetic Protein Switches, edited by Viktor Stein, 1596:89–99. Synthetic Protein Switches. Springer, 2017.https://doi.org/10.1007/978-1-4939-6940-1_6 .

Riccio, Paul, Christina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.”https://doi.org/10.5061/dryad.pk16b__Dryad, 2017.https://doi.org/10.5061/dryad.pk16b .

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Source Data for Figures and Tables.”https://doi.org/10.1371/journal.pgen.1007122.s018__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s018 .

Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHP – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.

Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.”https://doi.org/10.1007/978-3-662-54577-5_26__In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_26 .

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.21__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 .

Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,”https://doi.org/10.4230/LIPIcs.SoCG.2017.49__Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.49 .

Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.”https://doi.org/10.15479/AT:ISTA:TH_730__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:TH_730 .

Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.

Pleska, Maros, and Calin C Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.1098/rsbl.2017.0646__Biology Letters. The Royal Society, 2017.https://doi.org/10.1098/rsbl.2017.0646 .

Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.”https://doi.org/10.15479/AT:ISTA:th_862__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_862 .

Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.”https://doi.org/10.1016/j.cels.2017.03.001__Cell Systems. Cell Press, 2017.https://doi.org/10.1016/j.cels.2017.03.001 .

Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.”https://doi.org/10.15479/AT:ISTA:th_854__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_854 .

Jesse, Fabienne. “The Lac Operon in the Wild.”https://doi.org/10.15479/AT:ISTA:th_857__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_857 .

Rybar, Michal. “(The Exact Security of) Message Authentication Codes.”https://doi.org/10.15479/AT:ISTA:th_828__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_828 .

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.”https://doi.org/10.13154/TOSC.V2016.I2.145-161__IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017.https://doi.org/10.13154/TOSC.V2016.I2.145-161 .

Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.”https://doi.org/10.15479/AT:ISTA:th_858__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_858 .