M. T. Bollenbach, T. Strother, and W. Bauer, “D supernova collapse calculations,” presented at the NATO ASI on Structure and Dynamics of Elementary Matter, 2003, vol. 166, pp. 277–288.

P. M. Jonas and K. Unsicker, “Molekulare und zelluläre Grundlagen des Nervensystems.,” in Lehrbuch Vorklinik, vol. B, R. Schmidt, Ed. Deutscher Ärzte Verlag, 2003, pp. 3–26.

G. Buzsáki, D. Buhl, K. Harris, J. L. Csicsvari, B. Czéh, and A. Morozov, “Hippocampal network patterns of activity in the mouse,” Neuroscience, vol. 116, no. 1. Elsevier, pp. 201–211, 2003.

H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Morse-Smale complexes for piecewise linear 3-manifolds,” presented at the SCG: Symposium on Computational Geometry, 2003, pp. 361–370.

H. Edelsbrunner, “Surface reconstruction by wrapping finite sets in space,” in Discrete &; Computational Geometry, Springer, 2003, pp. 379–404.

H. Edelsbrunner and A. Zomorodian, “Computing linking numbers of a filtration,” Homology, Homotopy and Applications, vol. 5, no. 2. International Press, pp. 19–37, 2003.

B. Nürnberger et al., “A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae),” Heredity, vol. 91, no. 2. Nature Publishing Group, pp. 136–142, 2003.

S. Baird, N. H. Barton, and A. Etheridge, “The distribution of surviving blocks of an ancestral genome,” Theoretical Population Biology, vol. 64, no. 4. Academic Press, pp. 451–471, 2003.

T. Vines and N. H. Barton, “A new approach to detecting mixed families,” Molecular Ecology, vol. 12, no. 7. Wiley-Blackwell, pp. 1999–2002, 2003.

J. Vilar, C. C. Guet, and S. Leibler, “Modeling network dynamics: the lac operon, a case study,” Journal of Cell Biology, vol. 161, no. 3. Rockefeller University Press, pp. 471–476, 2003.

W. Bauer, M. Kleine Berkenbusch, and M. T. Bollenbach, “Breaking atomic nuclei into little pieces: evidence for a phase transition,” Revista Mexicana De Fisica, vol. 49, no. 4. Sociedad Mexicana de Física, pp. 1–6, 2003.

K. Chatterjee, M. Jurdziski, and T. A. Henzinger, “Simple stochastic parity games,” presented at the CSL: Computer Science Logic, 2003, vol. 2803, pp. 100–113.

K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” presented at the SAS: Static Analysis Symposium, 2003, vol. 2694, pp. 109–126.

H. Edelsbrunner, J. Harer, and A. Zomorodian, “Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds,” Discrete &; Computational Geometry, vol. 30, no. 1. Springer, pp. 87–107, 2003.

H. Cheng and H. Edelsbrunner, “Area, perimeter and derivatives of a skin curve,” Computational Geometry: Theory and Applications, vol. 26, no. 2. Elsevier, pp. 173–192, 2003.

H. Chen, S. Hippenmeyer, S. Arber, and E. Frank, “Development of the monosynaptic stretch reflex circuit,” Current Opinion in Neurobiology, vol. 13, no. 1. Elsevier, pp. 96–102, 2003.

V. Kolmogorov, R. Zabih, and S. Gortler, “Generalized multi camera scene reconstruction using graph cuts,” presented at the EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, 2003, vol. 2683, pp. 501–516.

J. Kim, V. Kolmogorov, and R. Zabih, “Visual correspondence using energy minimization and mutual information,” presented at the ICCV: International Conference on Computer Vision, 2003, vol. 2, pp. 1033–1040.

Y. Boykov and V. Kolmogorov, “Computing geodesics and minimal surfaces via graph cuts,” presented at the ICCV: International Conference on Computer Vision, 2003, vol. 1, pp. 26–33.

K. Harris, J. L. Csicsvari, H. Hirase, G. Dragoi, and G. Buzsáki, “Organization of cell assemblies in the hippocampus,” Nature, vol. 424, no. 6948. Nature Publishing Group, pp. 552–556, 2003.

J. L. Csicsvari et al., “Massively parallel recording of unit and local field potentials with silicon-based electrodes,” Journal of Neurophysiology, vol. 90, no. 2. American Physiological Society, pp. 1314–1323, 2003.

J. L. Csicsvari, B. Jamieson, K. Wise, and G. Buzsáki, “Mechanisms of gamma oscillations in the hippocampus of the behaving rat,” Neuron, vol. 37, no. 2. Elsevier, pp. 311–322, 2003.

A. Sirota, J. L. Csicsvari, D. Buhl, and G. Buzsáki, “Communication between neocortex and hippocampus during sleep in rodents,” PNAS, vol. 100, no. 4. National Academy of Sciences, pp. 2065–2069, 2003.

K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “A branching time temporal framework for quantitative reasoning,” Journal of Automated Reasoning, vol. 30, no. 2. Springer, pp. 205–232, 2003.

C. Lampert, “The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric ,” Universität Bonn, Fachbibliothek Mathematik, 2003.

H. L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, and D. Mueller, “Unfolding pathways of native bacteriorhodopsin depend on temperature,” EMBO Journal, vol. 22, no. 19. Wiley-Blackwell, pp. 5220–5229, 2003.

C. Lien and P. M. Jonas, “K potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons,” Journal of Neuroscience, vol. 23, no. 6. Society for Neuroscience, pp. 2058–68, 2003.

S. Hallermann, C. Pawlu, P. M. Jonas, and M. Heckmann, “A large pool of releasable vesicles in a cortical glutamatergic synapse,” PNAS, vol. 100, no. 15. National Academy of Sciences, pp. 8975–80, 2003.

C. Anderson, S. Cremer, and J. Heinze, “Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals,” Behavioral Ecology, vol. 14, no. 1. Oxford University Press, pp. 54–62, 2003.

S. Cremer and J. Heinze, “Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants,” Current Biology, vol. 13, no. 3. Cell Press, pp. 219–223, 2003.

S. Cremer and J. Heinze, “Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen,” Blick in die Wissenschaft, vol. 12, no. 15. Schnell und Steiner, pp. 32–36, 2003.

R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.

B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.

O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, and M. Tosi, “Free expansion of two-dimensional condensates with a vortex,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 12. IOP Publishing Ltd., pp. 2455–2463, 2003.

C. Rogers et al., “Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1,” Nature Neuroscience, vol. 6, no. 11. Springer Nature, pp. 1178–1185, 2003.

M. de Bono, “Molecular approaches to aggregation behavior and social attachment,” Journal of Neurobiology, vol. 54, no. 1. Wiley, pp. 78–92, 2003.

S. Sunyaev, F. Kondrashov, P. Bork, and V. Ramensky, “Impact of selection, mutation rate and genetic drift on human genetic variation,” Human Molecular Genetics, vol. 12, no. 24. Oxford University Press, pp. 3325–3330, 2003.

F. Kondrashov and E. Koonin, “Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences,” Trends in Genetics, vol. 19, no. 3. Elsevier, pp. 115–119, 2003.

X. Cao et al., “Role of the DRM and CM methyltransferases in RNA-directed DNA methylation,” Current Biology, vol. 13, no. 24. Elsevier, pp. 2212–2217, 2003.

V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles,” Inventiones mathematicae, vol. 151, no. 3. Springer Nature, pp. 451–512, 2003.

D. Zilberman,  Xiaofeng Cao, and S. E. Jacobsen, “ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation,” Science, vol. 299, no. 5607. American Association for the Advancement of Science, pp. 716–719, 2003.

L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 1022–1037.

A. Michrowska, M. Bieniek, M. Kim, R. Klajn, and K. Grela, “Cross-metathesis reaction of vinyl sulfones and sulfoxides,” Tetrahedron, vol. 59, no. 25. Elsevier, pp. 4525–4531, 2003.

A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” in Third International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 117–133.

L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” in Proceedings of the 14th International Conference on Concurrency Theory, Marseille, France, 2003, vol. 2761, pp. 144–158.

T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.

T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.

T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.

T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in Proceedings of the 10th International SPIN Workshop , Portland, OR, USA, 2003, vol. 2648, pp. 235–239.

T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in Proceedings of the 15th International Conference on Computer Aided Verification, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.

T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.

T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.

T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.

T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.

T. Vines et al., “On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata,” Evolution, vol. 57, no. 8. Wiley-Blackwell, pp. 1876–1888, 2003.

J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3. Oxford University Press, pp. 386–402, 2003.

J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2. Oxford University Press, pp. 131–158, 2003.

A. Navarro and N. H. Barton, “Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation,” Evolution; International Journal of Organic Evolution, vol. 57, no. 3. Wiley-Blackwell, pp. 447–459, 2003.

B. Charlesworth, D. Charlesworth, and N. H. Barton, “The effects of genetic and geographic structure on neutral variation,” Annual Review of Ecology and Systematics, vol. 34. Annual Reviews, pp. 99–125, 2003.

N. H. Barton and W. Zuidema, “The erratic path towards complexity,” Current Biology, vol. 13, no. 16. Cell Press, pp. 9–1, 2003.

A. Navarro and N. H. Barton, “Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes,” Science, vol. 300, no. 5617. American Association for the Advancement of Science, pp. 321–324, 2003.

F. Ulrich et al., “Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation,” Development, vol. 130, no. 22. Company of Biologists, pp. 5375–5384, 2003.

J. Montero, B. Kilian, J. Chan, P. Bayliss, and C.-P. J. Heisenberg, “Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells,” Current Biology, vol. 13, no. 15. Cell Press, pp. 1279–1289, 2003.

B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, and C.-P. J. Heisenberg, “The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation,” Mechanisms of Development, vol. 120, no. 4. Elsevier, pp. 467–476, 2003.

H. Edelsbrunner and P. Koehl, “The weighted-volume derivative of a space-filling diagram,” PNAS, vol. 100, no. 5. National Academy of Sciences, pp. 2203–2208, 2003.

H. Edelsbrunner and A. Üngör, “Relaxed scheduling in dynamic skin triangulation,” in Proceedings of the Japanese Conference on Discrete and Computational Geometry , Tokyo, Japan, 2003, vol. 2866, pp. 135–151.

P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A multi-resolution data structure for two-dimensional Morse-Smale functions,” in Proceedings of the 14th IEEE Conference on Visualization , Seattle, WA, USA , 2003, pp. 139–146.

J. Montero and C.-P. J. Heisenberg, “Adhesive crosstalk in gastrulation,” Developmental Cell, vol. 5, no. 2. Cell Press, pp. 190–191, 2003.

H. Cheng and H. Edelsbrunner, “Area and perimeter derivatives of a union of disks,” in Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97.