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.

8915 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
 

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 | DOI
 

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
 

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,” presented at the FroCoS: Frontiers of Combining Systems, 2009, 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,” presented at the SAS: Static Analysis Symposium, 2009, 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,” presented at the CAV: Computer Aided Verification, 2009, pp. 493–508.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” presented at the Oopsla Object Oriented Programming Systems Languages and Applications, 2009, pp. 61–80.
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,” presented at the FM: Formal Methods, 2009, 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,” presented at the POPL: Principles of Programming Languages, 2009, pp. 7–16.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed