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.
9126 Publications
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Dmitriy Morozov. “Persistent Homology for Kernels, Images, and Cokernels,” 1011–20. SIAM, 2009.
View
2009 | Journal Article | IST-REx-ID: 4143
Ulrich, Florian, and Carl-Philipp J Heisenberg. “Trafficking and Cell Migration.” Traffic. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1600-0854.2009.00929.x.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4160
Oteíza, Pablo, Carmen Lemus, Mathias Köppen, Karina Palma, Michael Krieg, Cristina Melo, Cecilia Farias, et al. “Linking Organ Formation to Left-Right Patterning in the Embryonic Zebrafish.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.970.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza, Pablo, Mathias Köppen, Michael Krieg, Steffen Preibisch, Steffen Haertel, Daniel Müller, Carl-Philipp J Heisenberg, and Miguel Concha. “Wnt11/Pk1a-Mediated Planar Cell Polarity Signalling Orchestrates Epithelial Organ Morphogenesis by Regulating N-Cadherin Dependent Cell Adhesion Forces.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.098.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4158
Paluch, Ewa, and Carl-Philipp J Heisenberg. “Biology and Physics of Cell Shape Changes in Development.” Current Biology. Cell Press, 2009. https://doi.org/10.1016/j.cub.2009.07.029.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4159
Paluch, Ewa, and Carl-Philipp J Heisenberg. “Chaos Begets Order: Asynchronous Cell Contractions Drive Epithelial Morphogenesis.” Developmental Cell. Cell Press, 2009. https://doi.org/10.1016/j.devcel.2008.12.011.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, Carl-Philipp J. “Dorsal Closure in Drosophila: Cells Cannot Get out of the Tight Spot.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell, 2009. https://doi.org/10.1002/bies.200900109.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4217
Carvalho, Lara, Jan Stuehmer, Justin Bois, Yannis Kalaidzidis, Virginie Lecaudey, and Carl-Philipp J Heisenberg. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.” Development. Company of Biologists, 2009. https://doi.org/10.1242/dev.026922.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.099309.
View
| DOI
2009 | Thesis | IST-REx-ID: 4232
Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.” Faculty of mathematical and natural sciences, University of Groningen, 2009. https://doi.org/3811.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P, and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.107.085225.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,” 366–82. Springer, 2009. https://doi.org/1558.
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.
View
2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,” 493–508. Springer, 2009. https://doi.org/1555.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,” 338–53. Springer, 2009. https://doi.org/1557.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4383 | 
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,” 7–16. ACM, 2009. https://doi.org/1533.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies,” 61–80. ACM, 2009. https://doi.org/1546.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,” 173–87. Springer, 2009. https://doi.org/1548.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)