Bauer, W., Kleine Berkenbusch, M., &; Bollenbach, M. T. (2003). Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. Sociedad Mexicana de Física.

Chatterjee, K., Jurdziski, M., &; Henzinger, T. A. (2003). Simple stochastic parity games (Vol. 2803, pp. 100–113). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/978-3-540-45220-1_11 

Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., &; Palsberg, J. (2003). Stack size analysis for interrupt-driven programs (Vol. 2694, pp. 109–126). Presented at the SAS: Static Analysis Symposium, Springer.https://doi.org/10.1007/3-540-44898-5_7 

Edelsbrunner, H., Harer, J., &; Zomorodian, A. (2003). Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-003-2926-5 

Cheng, H., &; Edelsbrunner, H. (2003). Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/S0925-7721(02)00124-4 

Chen, H., Hippenmeyer, S., Arber, S., &; Frank, E. (2003). Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. Elsevier.https://doi.org/10.1016/S0959-4388(03)00006-0 

Kolmogorov, V., Zabih, R., &; Gortler, S. (2003). Generalized multi camera scene reconstruction using graph cuts (Vol. 2683, pp. 501–516). Presented at the EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, Springer.https://doi.org/10.1007/978-3-540-45063-4_32 

Kim, J., Kolmogorov, V., &; Zabih, R. (2003). Visual correspondence using energy minimization and mutual information (Vol. 2, pp. 1033–1040). Presented at the ICCV: International Conference on Computer Vision, IEEE.https://doi.org/10.1109/ICCV.2003.1238463 

Boykov, Y., &; Kolmogorov, V. (2003). Computing geodesics and minimal surfaces via graph cuts (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference on Computer Vision, IEEE.https://doi.org/10.1109/ICCV.2003.1238310 

Harris, K., Csicsvari, J. L., Hirase, H., Dragoi, G., &; Buzsáki, G. (2003). Organization of cell assemblies in the hippocampus. Nature. Nature Publishing Group.https://doi.org/0.1038/nature01834 

Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho, P.,https://doi.org/10.1152/jn.00116.2003__Buzsáki, G. (2003). Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. American Physiological Society.https://doi.org/10.1152/jn.00116.2003 

Csicsvari, J. L., Jamieson, B., Wise, K., &; Buzsáki, G. (2003). Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. Elsevier.https://doi.org/10.1016/S0896-6273(02)01169-8 

Sirota, A., Csicsvari, J. L., Buhl, D., &; Buzsáki, G. (2003). Communication between neocortex and hippocampus during sleep in rodents. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0437938100 

Chatterjee, K., Dasgupta, P., &; Chakrabarti, P. (2003). A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. Springer.https://doi.org/10.1023/A:1023217515688 

Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.

Janovjak, H. L., Kessler, M., Oesterhelt, D., Gaub, H., &; Mueller, D. (2003). Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1093/emboj/cdg509 

Lien, C., &; Jonas, P. M. (2003). K potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. Society for Neuroscience.

Hallermann, S., Pawlu, C., Jonas, P. M., &; Heckmann, M. (2003). A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1432836100 

Anderson, C., Cremer, S., &; Heinze, J. (2003). Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. Oxford University Press.https://doi.org/10.1093/beheco/14.1.54 

Cremer, S., &; Heinze, J. (2003). Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. Cell Press.https://doi.org/10.1016/S0960-9822(03)00012-5 

Cremer, S., &; Heinze, J. (2003). Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in Die Wissenschaft. Schnell und Steiner.

Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.

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

Hosten, O., Vignolo, P., Minguzzi, A., Tanatar, B., &; Tosi, M. (2003). Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd.https://doi.org/10.1088/0953-4075/36/12/306 

Rogers, C., Reale, V., Kim, K., Chatwin, H., Li, C., Evans, P., &; de Bono, M. (2003). Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. Springer Nature.https://doi.org/10.1038/nn1140 

de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. Wiley.https://doi.org/10.1002/neu.10162 

Sunyaev, S., Kondrashov, F., Bork, P., &; Ramensky, V. (2003). Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. Oxford University Press.https://doi.org/10.1093/hmg/ddg359 

Kondrashov, F., &; Koonin, E. (2003). Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. Elsevier.https://doi.org/10.1016/S0168-9525(02)00029-X 

Cao, X., Aufsatz, W., Zilberman, D., Mette, M. F., Huang, M. S., Matzke, M., &; Jacobsen, S. E. (2003). Role of the DRM and CM methyltransferases in RNA-directed DNA methylation. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2003.11.052 

Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae. Springer Nature.https://doi.org/10.1007/s00222-002-0244-9 

Zilberman, D., Cao,https://doi.org/10.1126/science.1079695__Xiaofeng, &; Jacobsen, S. E. (2003). ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1079695 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer.https://doi.org/10.1007/3-540-45061-0_79 

Michrowska, A., Bieniek, M., Kim, M., Klajn, R., &; Grela, K. (2003). Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. Elsevier.https://doi.org/10.1016/s0040-4020(03)00682-3 

Chakrabarti, A., De Alfaro, L., Henzinger, T. A., &; Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM.https://doi.org/10.1007/978-3-540-45212-6_9 

De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-45187-7_9 

Henzinger, T. A., Kirsch, C., Sanvido, M., &; Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE.https://doi.org/10.1109/MCS.2003.1172829 

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell.https://doi.org/10.1002/047172288X.ch8 

Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2003). 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  (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer.https://doi.org/10.1007/3-540-36577-X_5 

Henzinger, T. A., Jhala, R., Majumdar, R., &; Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop  (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer.https://doi.org/10.1007/3-540-44829-2_17 

Henzinger, T. A., Jhala, R., Majumdar, R., &; Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer.https://doi.org/10.1007/978-3-540-45069-6_27 

Henzinger, T. A., Jhala, R., &; Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer.https://doi.org/10.1007/3-540-45061-0_69 

Henzinger, T. A., Kirsch, C., &; Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM.https://doi.org/10.1007/978-3-540-45212-6_16 

Henzinger, T. A., Kupferman, O., &; Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1026228213080 

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE.https://doi.org/10.1109/JPROC.2002.805825 

Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C.,https://doi.org/10.1111/j.0014-3820.2003.tb00595.x__Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2003.tb00595.x 

Harshman, J., Huddleston, C., Bollback, J. P., Parsons, T., &; Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150390197028 

Huelsenbeck, J., Nielsen, R., &; Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150390192780 

Navarro, A., &; Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2003.tb01537.x 

Charlesworth, B., Charlesworth, D., &; Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews.https://doi.org/10.1146/annurev.ecolsys.34.011802.132359 

Barton, N. H., &; Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press.https://doi.org/10.1016/S0960-9822(03)00573-6