Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3789 Publications
2017 | Research Data Reference | IST-REx-ID: 9709 | 
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Data from: Error-robust modes of the retinal population code.” Dryad, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 541 |
N. Nikolic et al., “Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations,” PLoS Genetics, vol. 13, no. 12. Public Library of Science, 2017.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9847 |
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.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 680 |
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.
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9707 |
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Abstract | IST-REx-ID: 12905 |
A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHPC17 – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
View
| Files available
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 13160 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 950 |
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 683 |
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.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 12193 |
J. Walker et al., “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” Nature Genetics, vol. 50, no. 1. Springer Science and Business Media LLC, pp. 130–137, 2017.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 1155 |
P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291 |
P. Payne, “Bacterial herd and social immunity to phages,” Institute of Science and Technology Austria, 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 561 |
M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 818 |
K. Mitosch, “Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 732 |
C. Pull and S. Cremer, “Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour,” BMC Evolutionary Biology, vol. 17, no. 1. BioMed Central, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 666 |
K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment,” Cell Systems, vol. 4, no. 4. Cell Press, pp. 393–403, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |
A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |
F. Jesse, “The lac operon in the wild,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |
M. Rybar, “(The exact security of) Message authentication codes,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI