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.
5156 Publications
2019 |Published| Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
2019 |Published| Journal Article | IST-REx-ID: 5945 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal decoding of cellular identities in a genetic network
M.D. Petkova, G. Tkačik, W. Bialek, E.F. Wieschaus, T. Gregor, Cell 176 (2019) 844–855.e15.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
M.D. Petkova, G. Tkačik, W. Bialek, E.F. Wieschaus, T. Gregor, Cell 176 (2019) 844–855.e15.
2019 |Published| Journal Article | IST-REx-ID: 5943 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Experiments on a jet in a crossflow in the low-velocity-ratio regime
L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.
2019 |Published| Conference Paper | IST-REx-ID: 6042 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
[Published Version]
View
| Files available
| DOI
| WoS
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
2019 |Published| Conference Paper | IST-REx-ID: 6035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
2019 |Published| Journal Article | IST-REx-ID: 6052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A practical guide to optimization in X10 expansion microscopy
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
2019 |Published| Journal Article | IST-REx-ID: 6025 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6022 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6023 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
2019 |Published| Journal Article | IST-REx-ID: 6053 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantum electromechanics of a hypersonic crystal
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339.
2019 |Published| Journal Article | IST-REx-ID: 6050 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Two circles and only a straightedge
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
2019 | Research Data Reference | IST-REx-ID: 9801
Raw behavioral data
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, (2019).
[Published Version]
View
| Files available
| DOI
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, (2019).
2019 |Published| Journal Article | IST-REx-ID: 6095 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393.
[Published Version]
View
| Files available
| DOI
| WoS
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393.
2019 |Published| Journal Article | IST-REx-ID: 6049 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feedback-induced self-oscillations in large interacting systems subjected to phase transitions
D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6091 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6046 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6105 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
[Published Version]
View
| Files available
| DOI
| WoS
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
2019 |Published| Journal Article | IST-REx-ID: 6088
Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib
A. Traxl, S. Mairinger, T. Filip, M. Sauberer, J. Stanek, S. Poschner, W. Jäger, V. Zoufal, G. Novarino, N. Tournier, M. Bauer, T. Wanek, O. Langer, Molecular Pharmaceutics 16 (2019) 1282–1293.
View
| DOI
| WoS
| PubMed | Europe PMC
A. Traxl, S. Mairinger, T. Filip, M. Sauberer, J. Stanek, S. Poschner, W. Jäger, V. Zoufal, G. Novarino, N. Tournier, M. Bauer, T. Wanek, O. Langer, Molecular Pharmaceutics 16 (2019) 1282–1293.
2019 |Published| Journal Article | IST-REx-ID: 6087 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
2019 | Research Data Reference | IST-REx-ID: 9806 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Kutzer, J. Kurtz, S.A.O. Armitage, (2019).