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.
9096 Publications
2009 | Journal Article | IST-REx-ID: 4159
Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
2009 | Journal Article | IST-REx-ID: 4206
Dorsal closure in Drosophila: cells cannot get out of the tight spot
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
View
| DOI
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
2009 | Journal Article | IST-REx-ID: 4217
Control of convergent yolk syncytial layer nuclear movement in zebrafish
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
View
| DOI
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
2009 | Journal Article | IST-REx-ID: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 | Thesis | IST-REx-ID: 4232
Stochasticity and Variability in the dynamics and genetics of populations
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
| DOI
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
2009 | Journal Article | IST-REx-ID: 4357
Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
2009 | Conference Paper | IST-REx-ID: 4360
Combining Theories with Shared Set Operations
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
2009 | Thesis | IST-REx-ID: 4363
Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
2009 | Conference Paper | IST-REx-ID: 4375
Intra-module Inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
2009 | Conference Paper | IST-REx-ID: 4377
It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.