M. Pleska and C. C. Guet, “Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification.” The Royal Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9845
DOI: 10.1371/journal.pgen.1007122.s017

M. Lukacisinova, S. Novak, and T. Paixao, “Modelling and simulation details.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9849
DOI: 10.1371/journal.pcbi.1005609.s001

M. Lukacisinova, S. Novak, and T. Paixao, “Extensions of the model.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

N. Nikolic et al., “Supplementary methods.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9846
DOI: 10.1371/journal.pgen.1007122.s016

M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Sensory noise predicts divisive reshaping of receptive fields,” PLoS Computational Biology, vol. 13, no. 6. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

M. Lukacisinova, S. Novak, and T. Paixao, “Heuristic prediction for multiple stresses.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

M. Lukacisinova, S. Novak, and T. Paixao, “Resistance frequencies for different combination strategies.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9852
DOI: 10.1371/journal.pcbi.1005609.s004

M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Supplementary appendix.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHP – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
LibreCat: https://research-explorer.ista.ac.at/record/12905

J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460.
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

P. Payne, “Bacterial herd and social immunity to phages,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6291