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.

4181 Publications


2017 | Research Data Reference | IST-REx-ID: 9709 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 541 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 680 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9707 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Abstract | IST-REx-ID: 12905 | OA
A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHPC17 – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
[Published Version] View | Files available | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 13160 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications