Speciation: Why, how, where and when?
N.H. Barton, Current Biology 14 (2004) 3–4.

Document capture using stereo vision
A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2004, pp. 198–200.

Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.

On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziski, in:, Springer, 2004, pp. 26–40.

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziski, in:, IEEE, 2004, pp. 160–169.

Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells
H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry and Cytochemistry 52 (2004) 915–922.

HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane
V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper, D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler, A. Baur, Molecular Cell 13 (2004) 179–190.

Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete &; Computational Geometry 32 (2004) 37–53.

Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.

A Mechanism for the Prebiotic Emergence of Proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, J. Seckbach, J. Chela Flores, T. Owen, F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.

Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.

Control of neuronal phenotype: What targets tell the cell bodies
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.

An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.

What energy functions can be minimized via graph cuts? 
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.

Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.

Spatially coherent clustering using graph cuts
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.

&quot;GrabCut&quot; - Interactive foreground extraction using iterated graph cuts 
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.

Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.

Probing the energy landscape of the membrane protein bacteriorhodopsin
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.

Jacobi sets of multiple Morse functions
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.

Biological applications of computational topology
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.

Genome size: Does bigger mean worse?
B. Charlesworth, N.H. Barton, Current Biology 14 (2004) 3–5.

Effects of allele frequency changes on variance components under a general model of epistasis
N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 58 (2004) 2111–2132.

Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions
M. Turelli, N.H. Barton, Genetics 166 (2004) 1053–1079.

Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity
B. Kampa, J. Clements, P.M. Jonas, G. Stuart, Journal of Physiology 556 (2004) 337–45.

Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.

Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons
P.M. Jonas, J. Bischofberger, D. Fricker, R. Miles, Trends in Neurosciences 27 (2004) 30–40.

Production of winged and wingless males in the ant, Cardiocondyla minutior
J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.

Local search heuristic for rigid protein docking
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.

The area derivative of a space-filling diagram
R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete &; Computational Geometry 32 (2004) 293–308.

A topological hierarchy for functions on triangulated surfaces
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 385–396.

Simplification of three-dimensional density maps
V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.

Loops in Reeb graphs of 2-manifolds
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete &; Computational Geometry 32 (2004) 231–244.

Local and global comparison of continuous functions
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280.

Gastrulation dynamics: cells move into focus
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.

Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.

A mechanism for the prebiotic emergence of proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.

Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.

Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.

Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.

A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.

Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.

Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.

Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.

Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.

Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.

Quantitative stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.

Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.

The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.

An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.