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


2009 | Published | Journal Article | IST-REx-ID: 4160
P. Oteíza et al., “Linking organ formation to left-right patterning in the embryonic zebrafish,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S11–S11, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4162
P. Oteíza et al., “Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S80–S80, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4165
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, and C.-P. J. Heisenberg, “Quantitative approaches in developmental biology,” Nature Reviews Genetics, vol. 10, no. 8. Nature Publishing Group, pp. 517–530, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4192
M. Kai, N. Buchan, C.-P. J. Heisenberg, and M. Tada, “Regulation of planar cell polarity signalling by the prenylation pathway,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S132–S132, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4206
C.-P. J. Heisenberg, “Dorsal closure in Drosophila: cells cannot get out of the tight spot,” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 31, no. 12. Wiley-Blackwell, pp. 1284–1287, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4217
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, and C.-P. J. Heisenberg, “Control of convergent yolk syncytial layer nuclear movement in zebrafish,” Development, vol. 136, no. 8. Company of Biologists, pp. 1305–1315, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4223
J. Swoboda et al., “Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus,” ACS Chemical Biology, vol. 4, no. 10. American Chemical Society, pp. 875–883, 2009.
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 4228
T. Bollenbach, S. Quan, R. P. Chait, and R. Kishony, “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions,” Cell, vol. 139, no. 4. Cell Press, pp. 707–718, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4231
N. H. Barton and H. De Vladar, “Statistical mechanics and the evolution of polygenic quantitative traits,” Genetics, vol. 181, no. 3. Genetics Society of America, pp. 997–1011, 2009.
View | DOI | WoS
 

2009 | Published | Thesis | IST-REx-ID: 4232
H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 4357
J. P. Bollback and J. Huelsenbeck, “Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence,” Genetics, vol. 181, no. 1. Genetics Society of America, pp. 225–234, 2009.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4360
T. Wies, R. Piskac, and V. Kuncak, “Combining theories with shared set operations,” in 7th International Symposium on Frontiers of Combining Systems, Trento, Italy, 2009, vol. 5749, pp. 366–382.
View | DOI
 

2009 | Published | Thesis | IST-REx-ID: 4363
V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.
View
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction refinement for quantified array assertions,” in 16th International Symposium on Static Analysis, Los Angeles, CA, United States, 2009, vol. 5673, pp. 3–18.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module inference,” in 21st International Conference on Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 493–508.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” ACM SIGPLAN Notices, vol. 44, no. 10. ACM, pp. 61–80, 2009.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s doomed; we can prove it,” in Second World Congress on Formal Methods, Eindhoven, The Netherlands, 2009, vol. 5850, pp. 338–353.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: Avoiding conflicts in transactional memories,” in Proceedings of the 28th ACM symposium on Principles of distributed computing, Calgary, Canada, 2009, pp. 7–16.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed