Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5148 Publications
2017 |Published| Journal Article | IST-REx-ID: 680 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
[Published Version]
View
| Files available
| DOI
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
2017 | Research Data Reference | IST-REx-ID: 9851
Heuristic prediction for multiple stresses
M. Lukacisinova, S. Novak, T. Paixao, (2017).
[Published Version]
View
| Files available
| DOI
M. Lukacisinova, S. Novak, T. Paixao, (2017).
2017 | Research Data Reference | IST-REx-ID: 9852
Resistance frequencies for different combination strategies
M. Lukacisinova, S. Novak, T. Paixao, (2017).
[Published Version]
View
| Files available
| DOI
M. Lukacisinova, S. Novak, T. Paixao, (2017).
2017 | Research Data Reference | IST-REx-ID: 9855
Supplementary appendix
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).
[Published Version]
View
| Files available
| DOI
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).
2017 |Published| Conference Paper | IST-REx-ID: 941
JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
View
| DOI
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
2017 |Published| Journal Article | IST-REx-ID: 9506 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Zilberman, Genome Biology 18 (2017).
2017 |Published| Book Chapter | IST-REx-ID: 958
Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
View
| DOI
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
2017 | Research Data Reference | IST-REx-ID: 9707 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
2017 | Research Data Reference | IST-REx-ID: 9844
Source data for figures and tables
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
[Published Version]
View
| Files available
| DOI
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
2017 |Published| Conference Paper | IST-REx-ID: 950 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 683 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 |Published| Thesis | IST-REx-ID: 1155 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
2017 |Published| Thesis | IST-REx-ID: 6291 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
2017 |Published| Journal Article | IST-REx-ID: 561 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
2017 |Published| Thesis | IST-REx-ID: 818 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
2017 |Published| Journal Article | IST-REx-ID: 666 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.
[Published Version]
View
| Files available
| DOI
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.
2017 |Published| Thesis | IST-REx-ID: 821 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
2017 |Published| Thesis | IST-REx-ID: 820 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.
2017 |Published| Thesis | IST-REx-ID: 838 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.