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.
7026 Publications
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| Journal Article | IST-REx-ID: 934
Identity and dynamics of mammary stem cells during branching morphogenesis
C. Scheele, E.B. Hannezo, M. Muraro, A. Zomer, N. Langedijk, A. Van Oudenaarden, B. Simons, J. Van Rheenen, Nature 542 (2017) 313–317.
View
| DOI
C. Scheele, E.B. Hannezo, M. Muraro, A. Zomer, N. Langedijk, A. Van Oudenaarden, B. Simons, J. Van Rheenen, Nature 542 (2017) 313–317.
2017 |Published| Journal Article | IST-REx-ID: 936
RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells
J. Sedzinski, E.B. Hannezo, F. Tu, M. Biro, J. Wallingford, Journal of Cell Science 130 (2017).
View
| DOI
J. Sedzinski, E.B. Hannezo, F. Tu, M. Biro, J. Wallingford, Journal of Cell Science 130 (2017).
2017 |Published| Journal Article | IST-REx-ID: 937
Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows
D. Pinheiro, E.B. Hannezo, S. Herszterg, F. Bosveld, I. Gaugué, M. Balakireva, Z. Wang, I. Cristo, S. Rigaud, O. Markova, Y. Bellaïche, Nature 545 (2017) 103–107.
View
| DOI
D. Pinheiro, E.B. Hannezo, S. Herszterg, F. Bosveld, I. Gaugué, M. Balakireva, Z. Wang, I. Cristo, S. Rigaud, O. Markova, Y. Bellaïche, Nature 545 (2017) 103–107.
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| 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 |
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 Abstract | IST-REx-ID: 12905 |
Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
[Published Version]
View
| Files available
| Download Published Version (ext.)
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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.