Determinism, noise, and spurious estimations in a generalised model of population growth
H. de Vladar, I. Pen, Physica A 373 (2007) 477–485.

Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.

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.

Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
P. Danowski, B. Pfeifer, Bibliothek - Forschung Und Praxis 31 (2007) 149–155.

Bibliothek 2.0 ? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.

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.

AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.

On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.

Using First-Order Theorem Provers in the Jahob Data Structure Verification System
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.

Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.

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

Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.

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.