DOI,IST REx ID,Title of publication
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
null,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
10.1007/978-3-642-04222-5_23,4360,Combining theories with shared set operations
null,4363,Formalizing and Verifying Transactional Memories
10.1007/978-3-642-03237-0_3,4365,Abstraction refinement for quantified array assertions
10.1007/978-3-642-02658-4_37,4375,Intra-module inference
10.1145/1639949.164009,4376,Parallel programming with object assemblies
10.1007/978-3-642-05089-3_22,4377,It's doomed; we can prove it
10.1007/978-3-642-02658-4_26,4383,Software transactional memory on relaxed memory models
10.1145/1582716.1582725,4385,Preventing versus curing: Avoiding conflicts in transactional memories
10.1007/978-3-642-02658-4_16,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
10.1007/978-3-642-03409-1_2,4542,Alternating weighted automata
10.1007/978-3-642-03816-7_4,4543,Stochastic games with finitary objectives