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
Paluch, E., & Heisenberg, C.-P. J. (2009). Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2008.12.011
View
| DOI
2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, C.-P. J. (2009). Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/bies.200900109
View
| DOI
2009 | Journal Article | IST-REx-ID: 4217
Carvalho, L., Stuehmer, J., Bois, J., Kalaidzidis, Y., Lecaudey, V., & Heisenberg, C.-P. J. (2009). Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.026922
View
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View
| DOI
2009 | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen. https://doi.org/3811
View
| DOI
2009 | Journal Article | IST-REx-ID: 4357
Bollback, J. P., & Huelsenbeck, J. (2009). Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085225
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4360
Wies, T., Piskac, R., & Kuncak, V. (2009). Combining Theories with Shared Set Operations (pp. 366–382). Presented at the FroCoS: Frontiers of Combining Systems, Springer. https://doi.org/1558
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1555
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., & Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer. https://doi.org/1557
View
| DOI