The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.

Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.

Combining Theories with Shared Set Operations
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.

Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.

Abstraction Refinement for Quantified Array Assertions
M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.

Intra-module Inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.

Parallel programming with object assemblies
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.

It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.

Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.

Preventing versus curing: avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.

Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.

Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.

Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.

Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.

Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.

Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.

Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.

Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.

A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.

Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.