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
2015 |Published| Journal Article | IST-REx-ID: 1810 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution
M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.
[Published Version]
View
| Files available
| DOI
M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.
2015 |Published| Journal Article | IST-REx-ID: 1812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Exotic roton excitations in quadrupolar Bose–Einstein condensates
M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).
[Published Version]
View
| Files available
| DOI
M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1811 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Analytical evaluation of atomic form factors: Application to Rayleigh scattering
L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1813 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rotation of quantum impurities in the presence of a many-body environment
R. Schmidt, M. Lemeshko, Physical Review Letters 114 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Schmidt, M. Lemeshko, Physical Review Letters 114 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1808
Guest editors' introduction to special issue on computational methods in systems biology
A. Gupta, T.A. Henzinger, ACM Transactions on Modeling and Computer Simulation 25 (2015).
View
| DOI
A. Gupta, T.A. Henzinger, ACM Transactions on Modeling and Computer Simulation 25 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1817 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
YAP is essential for tissue tension to ensure vertebrate 3D body shape
Porazinski S, Wang H, Asaoka Y, Behrndt M, Miyamoto T, Morita H, Hata S, Sasaki T, Krens G, Osada Y, Asaka S, Momoi A, Linton S, Miesfeld J, Link B, Senga T, Castillo Morales A, Urrutia A, Shimizu N, Nagase H, Matsuura S, Bagby S, Kondoh H, Nishina H, Heisenberg C-PJ, Furutani Seiki M. 2015. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 521(7551), 217–221.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Porazinski S, Wang H, Asaoka Y, Behrndt M, Miyamoto T, Morita H, Hata S, Sasaki T, Krens G, Osada Y, Asaka S, Momoi A, Linton S, Miesfeld J, Link B, Senga T, Castillo Morales A, Urrutia A, Shimizu N, Nagase H, Matsuura S, Bagby S, Kondoh H, Nishina H, Heisenberg C-PJ, Furutani Seiki M. 2015. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 521(7551), 217–221.
2015 |Published| Conference Paper | IST-REx-ID: 1820 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
2015 |Published| Journal Article | IST-REx-ID: 1814 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Water wave animation via wavefront parameter interpolation
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 34 (2015).
[Submitted Version]
View
| Files available
| DOI
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 34 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1818 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Limits to adaptation along environmental gradients
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.
2015 |Published| Journal Article | IST-REx-ID: 1819
Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
View
| DOI
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
2015 |Published| Journal Article | IST-REx-ID: 1823 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
[Published Version]
View
| Files available
| DOI
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1824 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Evolutionary games of condensates in coupled birth-death processes
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
[Published Version]
View
| Files available
| DOI
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1831 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1828 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
2015 |Published| Conference Paper | IST-REx-ID: 1836
Segment abstraction for worst-case execution time analysis
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.
View
| DOI
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.
2015 |Published| Conference Paper | IST-REx-ID: 1838 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
2015 |Published| Conference Paper | IST-REx-ID: 1839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
2015 |Published| Journal Article | IST-REx-ID: 1837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Subcritical versus supercritical transition to turbulence in curved pipes
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1846 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Refinement checking on parametric modal transition systems
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
2015 |Published| Journal Article | IST-REx-ID: 1845 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Excitement about inhibitory presynaptic terminals
D.H. Vandael, C. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
[Published Version]
View
| Files available
| DOI
D.H. Vandael, C. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.