Edelsbrunner, Herbert, and Afra Zomorodian. “Computing Linking Numbers of a Filtration.” Homology, Homotopy and Applications. International Press, 2003.

Nürnberger, Beate, Sebastian Hofman, Bqruni Förg Brey, Gabriele Praetzel, Alan Maclean, Jacek Szymura, Catherine Abbott, and Nicholas H Barton. “A Linkage Map for the Hybridising Toads Bombina Bombina and B. Variegata (Anura: Discoglossidae).”https://doi.org/10.1038/sj.hdy.6800291__Heredity. Nature Publishing Group, 2003.https://doi.org/10.1038/sj.hdy.6800291 .

Baird, Stuart, Nicholas H Barton, and Alison Etheridge. “The Distribution of Surviving Blocks of an Ancestral Genome.”https://doi.org/10.1016/S0040-5809(03)00098-4__Theoretical Population Biology. Academic Press, 2003.https://doi.org/10.1016/S0040-5809(03)00098-4 .

Vines, Timothy, and Nicholas H Barton. “A New Approach to Detecting Mixed Families.”https://doi.org/10.1046/j.1365-294X.2003.01867.x__Molecular Ecology. Wiley-Blackwell, 2003.https://doi.org/10.1046/j.1365-294X.2003.01867.x .

Vilar, Jose, Calin C Guet, and Stanislas Leibler. “Modeling Network Dynamics: The Lac Operon, a Case Study.”https://doi.org/10.1083/jcb.200301125__Journal of Cell Biology. Rockefeller University Press, 2003.https://doi.org/10.1083/jcb.200301125 .

Bauer, Wolfgang, Marco Kleine Berkenbusch, and Mark Tobias Bollenbach. “Breaking Atomic Nuclei into Little Pieces: Evidence for a Phase Transition.” Revista Mexicana De Fisica. Sociedad Mexicana de Física, 2003.

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Simple Stochastic Parity Games,”https://doi.org/10.1007/978-3-540-45220-1_11__2803:100–113. Springer, 2003.https://doi.org/10.1007/978-3-540-45220-1_11 .

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs,”https://doi.org/10.1007/3-540-44898-5_7__2694:109–26. Springer, 2003.https://doi.org/10.1007/3-540-44898-5_7 .

Edelsbrunner, Herbert, John Harer, and Afra Zomorodian. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.”https://doi.org/10.1007/s00454-003-2926-5__Discrete &; Computational Geometry. Springer, 2003.https://doi.org/10.1007/s00454-003-2926-5 .

Cheng, Ho, and Herbert Edelsbrunner. “Area, Perimeter and Derivatives of a Skin Curve.”https://doi.org/10.1016/S0925-7721(02)00124-4__Computational Geometry: Theory and Applications. Elsevier, 2003.https://doi.org/10.1016/S0925-7721(02)00124-4 .

Chen, Hsiao, Simon Hippenmeyer, Silvia Arber, and Eric Frank. “Development of the Monosynaptic Stretch Reflex Circuit.”https://doi.org/10.1016/S0959-4388(03)00006-0__Current Opinion in Neurobiology. Elsevier, 2003.https://doi.org/10.1016/S0959-4388(03)00006-0 .

Kolmogorov, Vladimir, Ramin Zabih, and Steven Gortler. “Generalized Multi Camera Scene Reconstruction Using Graph Cuts,”https://doi.org/10.1007/978-3-540-45063-4_32__2683:501–16. Springer, 2003.https://doi.org/10.1007/978-3-540-45063-4_32 .

Kim, Junhwan, Vladimir Kolmogorov, and Ramin Zabih. “Visual Correspondence Using Energy Minimization and Mutual Information,”https://doi.org/10.1109/ICCV.2003.1238463__2:1033–40. IEEE, 2003.https://doi.org/10.1109/ICCV.2003.1238463 .

Boykov, Yuri, and Vladimir Kolmogorov. “Computing Geodesics and Minimal Surfaces via Graph Cuts,”https://doi.org/10.1109/ICCV.2003.1238310__1:26–33. IEEE, 2003.https://doi.org/10.1109/ICCV.2003.1238310 .

Harris, Kenneth, Jozsef L Csicsvari, Hajima Hirase, George Dragoi, and György Buzsáki. “Organization of Cell Assemblies in the Hippocampus.”https://doi.org/0.1038/nature01834__Nature. Nature Publishing Group, 2003.https://doi.org/0.1038/nature01834 .

Csicsvari, Jozsef L, Darrell Henze, Brian Jamieson, Kenneth Harris, Anton Sirota, Peter Bartho, Kensall Wise, and György Buzsáki. “Massively Parallel Recording of Unit and Local Field Potentials with Silicon-Based Electrodes.”https://doi.org/10.1152/jn.00116.2003__Journal of Neurophysiology. American Physiological Society, 2003.https://doi.org/10.1152/jn.00116.2003 .

Csicsvari, Jozsef L, Brian Jamieson, Kensall Wise, and György Buzsáki. “Mechanisms of Gamma Oscillations in the Hippocampus of the Behaving Rat.”https://doi.org/10.1016/S0896-6273(02)01169-8__Neuron. Elsevier, 2003.https://doi.org/10.1016/S0896-6273(02)01169-8 .

Sirota, Anton, Jozsef L Csicsvari, Derek Buhl, and György Buzsáki. “Communication between Neocortex and Hippocampus during Sleep in Rodents.”https://doi.org/10.1073/pnas.0437938100__PNAS. National Academy of Sciences, 2003.https://doi.org/10.1073/pnas.0437938100 .

Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “A Branching Time Temporal Framework for Quantitative Reasoning.”https://doi.org/10.1023/A:1023217515688__Journal of Automated Reasoning. Springer, 2003.https://doi.org/10.1023/A:1023217515688 .

Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik, 2003.

Janovjak, Harald L, Max Kessler, Dieter Oesterhelt, Hermann Gaub, and Daniel Mueller. “Unfolding Pathways of Native Bacteriorhodopsin Depend on Temperature.”https://doi.org/10.1093/emboj/cdg509__EMBO Journal. Wiley-Blackwell, 2003.https://doi.org/10.1093/emboj/cdg509 .

Lien, Cheng, and Peter M Jonas. “K Potassium Conductance Is Necessary and Kinetically Optimized for High-Frequency Action Potential Generation in Hippocampal Interneurons.” Journal of Neuroscience. Society for Neuroscience, 2003.

Hallermann, Stefan, Christian Pawlu, Peter M Jonas, and Manfred Heckmann. “A Large Pool of Releasable Vesicles in a Cortical Glutamatergic Synapse.”https://doi.org/10.1073/pnas.1432836100__PNAS. National Academy of Sciences, 2003.https://doi.org/10.1073/pnas.1432836100 .

Anderson, Carl, Sylvia Cremer, and Jürgen Heinze. “Live and Let Die: Why Fighter Males of the Ant Cardiocondyla Kill Each Other but Tolerate Their Winged Rivals.”https://doi.org/10.1093/beheco/14.1.54__Behavioral Ecology. Oxford University Press, 2003.https://doi.org/10.1093/beheco/14.1.54 .

Cremer, Sylvia, and Jürgen Heinze. “Stress Grows Wings: Environmental Induction of Winged Dispersal Males in Cardiocondyla Ants.”https://doi.org/10.1016/S0960-9822(03)00012-5__Current Biology. Cell Press, 2003.https://doi.org/10.1016/S0960-9822(03)00012-5 .

Cremer, Sylvia, and Jürgen Heinze. “Zwischen Hochzeitsflug Und Brudermord: Reproduktive Taktiken Bei Ameisenmännchen.” Blick in Die Wissenschaft. Schnell und Steiner, 2003.

Majumdar, Ritankar. “Symbolic Algorithms for Verification and Control.” University of California, Berkeley, 2003.

Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.

Hosten, Onur, Patrizia Vignolo, Anna Minguzzi, Bilal Tanatar, and Mario Tosi. “Free Expansion of Two-Dimensional Condensates with a Vortex.”https://doi.org/10.1088/0953-4075/36/12/306__Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd., 2003.https://doi.org/10.1088/0953-4075/36/12/306 .

Rogers, Candida, Vincenzina Reale, Kyuhyung Kim, Heather Chatwin, Chris Li, Peter Evans, and Mario de Bono. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.”https://doi.org/10.1038/nn1140__Nature Neuroscience. Springer Nature, 2003.https://doi.org/10.1038/nn1140 .

Bono, Mario de. “Molecular Approaches to Aggregation Behavior and Social Attachment.”https://doi.org/10.1002/neu.10162__Journal of Neurobiology. Wiley, 2003.https://doi.org/10.1002/neu.10162 .

Sunyaev, Shamil, Fyodor Kondrashov, Peer Bork, and Vasily Ramensky. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.”https://doi.org/10.1093/hmg/ddg359__Human Molecular Genetics. Oxford University Press, 2003.https://doi.org/10.1093/hmg/ddg359 .

Kondrashov, Fyodor, and Eugene Koonin. “Evolution of Alternative Splicing: Deletions, Insertions and Origin of Functional Parts of Proteins from Intron Sequences.”https://doi.org/10.1016/S0168-9525(02)00029-X__Trends in Genetics. Elsevier, 2003.https://doi.org/10.1016/S0168-9525(02)00029-X .

Cao, Xiaofeng, Werner Aufsatz, Daniel Zilberman, M.Florian Mette, Michael S. Huang, Marjori Matzke, and Steven E. Jacobsen. “Role of the DRM and CM Methyltransferases in RNA-Directed DNA Methylation.”https://doi.org/10.1016/j.cub.2003.11.052__Current Biology. Elsevier, 2003.https://doi.org/10.1016/j.cub.2003.11.052 .

Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.”https://doi.org/10.1007/s00222-002-0244-9__Inventiones Mathematicae. Springer Nature, 2003.https://doi.org/10.1007/s00222-002-0244-9 .

Zilberman, Daniel,https://doi.org/10.1126/science.1079695__Xiaofeng Cao, and Steven E. Jacobsen. “ARGONAUT Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.”https://doi.org/10.1126/science.1079695__Science. American Association for the Advancement of Science, 2003.https://doi.org/10.1126/science.1079695 .

De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.”https://doi.org/10.1007/3-540-45061-0_79__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003.https://doi.org/10.1007/3-540-45061-0_79 .

Michrowska, Anna, Micha Bieniek, Mikhail Kim, Rafal Klajn, and Karol Grela. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.”https://doi.org/10.1016/s0040-4020(03)00682-3__Tetrahedron. Elsevier, 2003.https://doi.org/10.1016/s0040-4020(03)00682-3 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces.”https://doi.org/10.1007/978-3-540-45212-6_9__In Third International Conference on Embedded Software, 2855:117–33. ACM, 2003.https://doi.org/10.1007/978-3-540-45212-6_9 .

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games.”https://doi.org/10.1007/978-3-540-45187-7_9__In Proceedings of the 14th International Conference on Concurrency Theory, 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003.https://doi.org/10.1007/978-3-540-45187-7_9 .

Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.”https://doi.org/10.1109/MCS.2003.1172829__IEEE Control Systems Magazine. IEEE, 2003.https://doi.org/10.1109/MCS.2003.1172829 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.”https://doi.org/10.1002/047172288X.ch8__In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003.https://doi.org/10.1002/047172288X.ch8 .

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1007/3-540-36577-X_5__In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 2619:49–64. Springer, 2003.https://doi.org/10.1007/3-540-36577-X_5 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.”https://doi.org/10.1007/3-540-44829-2_17__In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003.https://doi.org/10.1007/3-540-44829-2_17 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.”https://doi.org/10.1007/978-3-540-45069-6_27__In Proceedings of the 15th International Conference on Computer Aided Verification, 2725:262–74. Springer, 2003.https://doi.org/10.1007/978-3-540-45069-6_27 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.”https://doi.org/10.1007/3-540-45061-0_69__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003.https://doi.org/10.1007/3-540-45061-0_69 .

Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.”https://doi.org/10.1007/978-3-540-45212-6_16__In Proceedings of the 3rd International Conference on Embedded Software, 2855:241–56. ACM, 2003.https://doi.org/10.1007/978-3-540-45212-6_16 .

Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.”https://doi.org/10.1023/A:1026228213080__Formal Methods in System Design. Springer, 2003.https://doi.org/10.1023/A:1026228213080 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.”https://doi.org/10.1109/JPROC.2002.805825__Proceedings of the IEEE. IEEE, 2003.https://doi.org/10.1109/JPROC.2002.805825 .

Vines, Timothy, S C Kohler, M Thiel, Ioan Ghira, T R Sands, Catriona Maccallum, Nicholas H Barton, and Beate Nürnberger. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.”https://doi.org/10.1111/j.0014-3820.2003.tb00595.x__Evolution. Wiley-Blackwell, 2003.https://doi.org/10.1111/j.0014-3820.2003.tb00595.x .

Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.”https://doi.org/10.1080/10635150390197028__Systematic Biology. Oxford University Press, 2003.https://doi.org/10.1080/10635150390197028 .

Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.”https://doi.org/10.1080/10635150390192780__Systematic Biology. Oxford University Press, 2003.https://doi.org/10.1080/10635150390192780 .

Navarro, Arcadio, and Nicholas H Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.”https://doi.org/10.1111/j.0014-3820.2003.tb01537.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2003.https://doi.org/10.1111/j.0014-3820.2003.tb01537.x .

Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.”https://doi.org/10.1146/annurev.ecolsys.34.011802.132359__Annual Review of Ecology and Systematics. Annual Reviews, 2003.https://doi.org/10.1146/annurev.ecolsys.34.011802.132359 .

Barton, Nicholas H, and Willem Zuidema. “The Erratic Path towards Complexity.”https://doi.org/10.1016/S0960-9822(03)00573-6__Current Biology. Cell Press, 2003.https://doi.org/10.1016/S0960-9822(03)00573-6 .

Navarro, Arcadio, and Nicholas H Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.”https://doi.org/10.1126/science.1080600 __Science. American Association for the Advancement of Science, 2003.https://doi.org/10.1126/science.1080600  .

Ulrich, Florian, Miguel Concha, Paul Heid, Ed Voss, Sabine Witzel, Henry Roehl, Masazumi Tada, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.”https://doi.org/10.1242/dev.00758__Development. Company of Biologists, 2003.https://doi.org/10.1242/dev.00758 .

Montero, Juan, Beate Kilian, Joanne Chan, Peter Bayliss, and Carl-Philipp J Heisenberg. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.”https://doi.org/10.1016/S0960-9822(03)00505-0__Current Biology. Cell Press, 2003.https://doi.org/10.1016/S0960-9822(03)00505-0 .

Kilian, Beate, Hannu Mansukoski, Filipa Barbosa, Florian Ulrich, Masazumi Tada, and Carl-Philipp J Heisenberg. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.”https://doi.org/10.1016/S0925-4773(03)00004-2__Mechanisms of Development. Elsevier, 2003.https://doi.org/10.1016/S0925-4773(03)00004-2 .

Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.”https://doi.org/10.1073/pnas.0537830100__PNAS. National Academy of Sciences, 2003.https://doi.org/10.1073/pnas.0537830100 .

Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation.”https://doi.org/10.1007/978-3-540-44400-8_14__In Proceedings of the Japanese Conference on Discrete and Computational Geometry , 2866:135–51. Springer, 2003.https://doi.org/10.1007/978-3-540-44400-8_14 .

Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions.”https://doi.org/10.1109/VISUAL.2003.1250365__In Proceedings of the 14th IEEE Conference on Visualization , 139–46. IEEE, 2003.https://doi.org/10.1109/VISUAL.2003.1250365 .

Montero, Juan, and Carl-Philipp J Heisenberg. “Adhesive Crosstalk in Gastrulation.”https://doi.org/10.1016/S1534-5807(03)00235-1__Developmental Cell. Cell Press, 2003.https://doi.org/10.1016/S1534-5807(03)00235-1 .

Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.”https://doi.org/10.1007/3-540-36477-3_7__In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 2598:88–97. Springer, 2003.https://doi.org/10.1007/3-540-36477-3_7 .

Bilbao-Cortés, Daniel, Martin Hetzer, Gernot Längst, Peter B. Becker, and Iain W. Mattaj. “Ran Binds to Chromatin by Two Distinct Mechanisms.”https://doi.org/10.1016/s0960-9822(02)00927-2__Current Biology. Elsevier BV, 2002.https://doi.org/10.1016/s0960-9822(02)00927-2 .

Hetzer, Martin, Oliver J. Gruss, and Iain W. Mattaj. “The Ran GTPase as a Marker of Chromosome Position in Spindle Formation and Nuclear Envelope Assembly.”https://doi.org/10.1038/ncb0702-e177__Nature Cell Biology. Springer Nature, 2002.https://doi.org/10.1038/ncb0702-e177 .

Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling Mountainous Water Systems between Learning and Speculating Looking for Challenges.”https://doi.org/10.2166/nh.2002.0004__Hydrology Research. IWA Publishing, 2002.https://doi.org/10.2166/nh.2002.0004 .

Falaras, Polycarpos, Katerina Chryssou, Thomas Stergiopoulos, Ioannis Arabatzis, Georgios Katsaros, Vincent Catalano, Raif Kurtaran, Anne Hugot Le Goff, and Marie Bernard. “Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes,”https://doi.org/10.1117/12.452446__4801:125–35. SPIE, 2002.https://doi.org/10.1117/12.452446 .

Stergiopoulos, Thomas, Iannis Arabatzis, Georgios Katsaros, and Polycarpos Falaras. “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells.”https://doi.org/10.1021/nl025798u__Nano Letters. American Chemical Society, 2002.https://doi.org/10.1021/nl025798u .

Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.”https://doi.org/10.1090/conm/307__edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific Publishing, 2002.https://doi.org/10.1090/conm/307 .

Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.”https://doi.org/10.1007/s00220-002-0695-2__Communications in Mathematical Physics. Springer, 2002.https://doi.org/10.1007/s00220-002-0695-2 .

Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.”https://doi.org/10.1103/PhysRevLett.88.170409__Physical Review Letters. American Physical Society, 2002.https://doi.org/10.1103/PhysRevLett.88.170409 .

Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on dn and Applications to N-Body Quantum Systems.”https://doi.org/10.1023/A:1020204818938__Letters in Mathematical Physics. Springer, 2002.https://doi.org/10.1023/A:1020204818938 .

Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.”https://doi.org/10.1113/jphysiol.2002.020024__Journal of Physiology. Wiley-Blackwell, 2002.https://doi.org/10.1113/jphysiol.2002.020024 .

Erdös, László. “Two Dimensional Pauli Operator via Scalar Potential,”https://doi.org/10.1090/conm/307__307:129–33. World Scientific Publishing, 2002.https://doi.org/10.1090/conm/307 .

Friml, Jií, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?”https://doi.org/10.1023/A:1015248926412__Plant Molecular Biology. Springer, 2002.https://doi.org/10.1023/A:1015248926412 .

Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points,” 2002.

Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.

Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.

Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.”https://doi.org/10.1038/nature01170__Nature. Springer Nature, 2002.https://doi.org/10.1038/nature01170 .

Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.”https://doi.org/10.1038/nature01169__Nature. Springer Nature, 2002.https://doi.org/10.1038/nature01169 .

De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.”https://doi.org/10.1007/3-540-45828-X_9__In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_9 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.”https://doi.org/10.1007/3-540-45657-0_34__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_34 .

Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-45873-5_13__In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002.https://doi.org/10.1007/3-540-45873-5_13 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__Journal of the ACM. ACM, 2002.https://doi.org/10.1145/585265.585270 .

Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.”https://doi.org/10.1007/3-540-45465-9_55__In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002.https://doi.org/10.1007/3-540-45465-9_55 .

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1006/inco.2001.3085__Information and Computation. Elsevier, 2002.https://doi.org/10.1006/inco.2001.3085 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziski, and Freddy Mang. “Interface Compatibility Checking for Software Modules.”https://doi.org/10.1007/3-540-45657-0_35__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_35 .

Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.”https://doi.org/10.1007/3-540-45657-0_45__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_45 .

Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs.”https://doi.org/10.1007/3-540-45828-X_7__In Proceedings of the 2nd International Conference on Embedded Software, 2491:76–92. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_7 .

Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/512529.512567__In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 315–26. ACM, 2002.https://doi.org/10.1145/512529.512567 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction.”https://doi.org/10.1145/503272.503279__In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 58–70. ACM, 2002.https://doi.org/10.1145/503272.503279 .

Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1145/509705.509707__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2002.https://doi.org/10.1145/509705.509707 .

Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.”https://doi.org/10.3182/20020721-6-ES-1901.01628__In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Vol. 15. Elsevier, 2002.https://doi.org/10.3182/20020721-6-ES-1901.01628 .

Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System.”https://doi.org/10.1007/3-540-45828-X_5__In Proceedings of the 2nd International Conference on Embedded Software, 2491:46–60. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_5 .

Jurdziski, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness.”https://doi.org/10.1007/3-540-45793-3_20__In Proceedings of the 16th International Workshop on Computer Science Logic, 2471:292–305. Springer, 2002.https://doi.org/10.1007/3-540-45793-3_20 .

Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin.”https://doi.org/10.1145/774572.774592__In Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, 132–39. IEEE, 2002.https://doi.org/10.1145/774572.774592 .

Barton, Nicholas H, and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.”https://doi.org/10.1017/S0016672301005493__Genetical Research. Cambridge University Press, 2002.https://doi.org/10.1017/S0016672301005493 .

Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.”https://doi.org/10.1093/genetics/162.1.395__Genetics. Genetics Society of America, 2002.https://doi.org/10.1093/genetics/162.1.395 .

Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.”https://doi.org/10.1093/oxfordjournals.molbev.a004175__Molecular Biology and Evolution. Oxford University Press, 2002.https://doi.org/10.1093/oxfordjournals.molbev.a004175 .