Structural determinants of transmission at large hippocampal mossy fiber synapses
A. Rollenhagen, K. Satzler, E.P. Rodriguez, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 27 (2007) 10434–44.

Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.

Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.

Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.

Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.

Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.

Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.

Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.

Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.

RhoH is important for positive thymocyte selection and T-cell receptor signaling
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.

Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.

Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.

Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete &; Computational Geometry 37 (2007) 103–120.

The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.

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

Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.

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

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

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

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.