The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.

Library 2.0 and User-Generated Content - What can the users do for us?
P. Danowski, in:, IFLA, 2007.

The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
J. Binladen, M.T. Gilbert, J.P. Bollback, F. Panitz, C. Bendixen, R. Nielsen, E. Willerslev, PLoS One 2 (2007).

Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.

Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.

Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.

Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.

Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).

Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.

The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).

Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.

Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.

Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.

CSL: Computer Science Logic 
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.

Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).

Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.

Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.

Stochastic <9-Regular Games
K. Chatterjee, Stochastic <9-Regular Games, University of California, Berkeley, 2007.

A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.

The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.