_id,doi,title
4228,10.1016/j.cell.2009.10.025,Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions
4231,10.1534/genetics.108.099309,Statistical mechanics and the evolution of polygenic quantitative traits
4232,3811,Stochasticity and Variability in the dynamics and genetics of populations
4242,10.1111/j.1558-5646.2009.00622.x,The evolution of strong reproductive isolation
4357,10.1534/genetics.107.085225,Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
4360,1558,Combining Theories with Shared Set Operations
4363,,Formalizing and Verifying Transactional Memories
4365,1556,Abstraction Refinement for Quantified Array Assertions
4375,1555,Intra-module Inference
4376,1546,Parallel programming with object assemblies
4377,1557,It's Doomed; We Can Prove It
4383,10.1007/978-3-642-02658-4_26,Software transactional memory on relaxed memory models
4385,1533,Preventing versus curing: avoiding conflicts in transactional memories
4391,1548,Automated Analysis of Java Methods for Confidentiality
4403,10.1007/978-3-642-04027-6_9,Algorithmic analysis of array-accessing programs
4453,10.1007/978-3-642-02658-4_27,Sliding-window abstraction for infinite Markov chains
4535,10.1007/978-3-642-03845-7_12,Approximation of event probabilities in noisy cellular processes
4540,10.1109/LICS.2009.16,Expressiveness and closure properties for quantitative languages
4542,10.1007/978-3-642-03409-1_2,Alternating weighted automata
4543,10.1007/978-3-642-03816-7_4,Stochastic games with finitary objectives