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.
11357 Publications
2015 |
Published |
Journal Article |
IST-REx-ID: 1817 |
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.)
| WoS
| 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 |
Journal Article |
IST-REx-ID: 1818 |
Limits to adaptation along environmental gradients
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| 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
| WoS
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
2015 |
Published |
Conference Paper |
IST-REx-ID: 1820 |
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.)
| WoS
| 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: 1823 |
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
[Published Version]
View
| Files available
| DOI
| WoS
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 1824 |
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
| WoS
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 1827 |
Evolution of bow-tie architectures in biology
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).
[Published Version]
View
| Files available
| DOI
| WoS
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 1828 |
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.)
| WoS
| arXiv
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
2015 |
Published |
Journal Article |
IST-REx-ID: 1830 |
Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 1831 |
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.)
| WoS
| 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: 1832 |
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
[Published Version]
View
| Files available
| DOI
| WoS
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
2015 |
Published |
Book Chapter |
IST-REx-ID: 18326
Manifold Intrinsic Similarity
A.M. Bronstein, M.M. Bronstein, in:, O. Scherzer (Ed.), Handbook of Mathematical Methods in Imaging, 2nd ed., Springer Nature, New York, 2015, pp. 1859–1908.
View
| DOI
A.M. Bronstein, M.M. Bronstein, in:, O. Scherzer (Ed.), Handbook of Mathematical Methods in Imaging, 2nd ed., Springer Nature, New York, 2015, pp. 1859–1908.
2015 |
Published |
Book Chapter |
IST-REx-ID: 18327
Supervised non-negative matrix factorization for audio source separation
P. Sprechmann, A.M. Bronstein, G. Sapiro, in:, Excursions in Harmonic Analysis, Volumne 4, 1st ed., Springer Nature, Cham, 2015, pp. 407–420.
View
| DOI
P. Sprechmann, A.M. Bronstein, G. Sapiro, in:, Excursions in Harmonic Analysis, Volumne 4, 1st ed., Springer Nature, Cham, 2015, pp. 407–420.
2015 |
Published |
Journal Article |
IST-REx-ID: 1834 |
Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
[Published Version]
View
| Files available
| DOI
| WoS
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
2015 |
Published |
Conference Paper |
IST-REx-ID: 1835 |
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
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
| WoS
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.
2015 |
Published |
Journal Article |
IST-REx-ID: 18365 |
Cross-talk between carbon cetabolism and the DNA camage response in S. cerevisiae
K.J. Simpson-Lavy, A.M. Bronstein, M. Kupiec, M. Johnston, Cell Reports 12 (2015) 1865–1875.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K.J. Simpson-Lavy, A.M. Bronstein, M. Kupiec, M. Johnston, Cell Reports 12 (2015) 1865–1875.
2015 |
Published |
Journal Article |
IST-REx-ID: 1837 |
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.)
| WoS
| 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: 18371
On convex relaxation of graph isomorphism
Y. Aflalo, A.M. Bronstein, R. Kimmel, Proceedings of the National Academy of Sciences 112 (2015) 2942–2947.
View
| DOI
| PubMed | Europe PMC
Y. Aflalo, A.M. Bronstein, R. Kimmel, Proceedings of the National Academy of Sciences 112 (2015) 2942–2947.
2015 |
Published |
Conference Paper |
IST-REx-ID: 1838 |
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.)
| arXiv
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.