DOI,IST REx ID,Title of publication
10.1242/dev.026922,4217,Control of convergent yolk syncytial layer nuclear movement in zebrafish
10.1021/cb900151k,4223,Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus
10.1016/j.cell.2009.10.025,4228,Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions
10.1534/genetics.108.099309,4231,Statistical mechanics and the evolution of polygenic quantitative traits
3811,4232,Stochasticity and Variability in the dynamics and genetics of populations
10.1111/j.1558-5646.2009.00622.x,4242,The evolution of strong reproductive isolation
10.1534/genetics.107.085225,4357,Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
1558,4360,Combining Theories with Shared Set Operations
null,4363,Formalizing and Verifying Transactional Memories
1556,4365,Abstraction Refinement for Quantified Array Assertions
1555,4375,Intra-module Inference
1546,4376,Parallel programming with object assemblies
1557,4377,It's Doomed; We Can Prove It
10.1007/978-3-642-02658-4_26,4383,Software transactional memory on relaxed memory models
1533,4385,Preventing versus curing: avoiding conflicts in transactional memories
1548,4391,Automated Analysis of Java Methods for Confidentiality
10.1007/978-3-642-04027-6_9,4403,Algorithmic analysis of array-accessing programs
10.1007/978-3-642-02658-4_27,4453,Sliding-window abstraction for infinite Markov chains
10.1007/978-3-642-03845-7_12,4535,Approximation of event probabilities in noisy cellular processes
10.1109/LICS.2009.16,4540,Expressiveness and closure properties for quantitative languages