De Alfaro L, Henzinger TA, Mang F. 2001. The control of synchronous systems, Part II. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 566–581.

De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 536–550.

De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 279–290.

De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. Proceedings of the 10th international conference on World Wide Web. WWW: World Wide Web Conference, 86–87.

De Alfaro L, Henzinger TA, Jhala R. 2001. Compositional methods for probabilistic systems. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 351–365.

Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. Proceedings of the 23rd International Conference on Software Engineering. ICSE: Software Engineering, 835–836.

Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 2001. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 18(2), 97–116.

De Alfaro L, Henzinger TA. 2001. Interface automata. Proceedings of the 8th European software engineering conference. FSE: Foundations of Software Engineering, 109–120.

De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.

Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. Proceedings of the 20th Digital Avionics Systems Conference. DASC: Digital Avionics Systems Conference, 1–11.

Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.

Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.

Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.

Henzinger TA, Preussig J, Wong Toi H. 2001. Some lessons from the HYTECH experience. Proceedings of the 40th IEEE Conference on Decision and Control. CDC: Decision and Control vol. 3, 2887–2892.

Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.

Barton NH. 2001.The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. .

Heisenberg C-PJ, Houart C, Take Uchi M, Rauch G, Young N, Coutinho P, Masai I, Caneparo L, Concha M, Geisler R, Dale T, Wilson S, Stemple D. 2001. A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon. Genes and Development. 15(11), 1427–1434.

Barton NH. 2001. The role of hybridization in evolution. Molecular Ecology. 10(3), 551–568.

Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.

Bollback JP, Huelsenbeck J. 2001. Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. 52(2), 117–128.

Turelli M, Barton NH, Coyne J. 2001. Theory and speciation. Trends in Ecology and Evolution. 16(7), 330–343.

Barton NH. 2001.Adaptation at the edge of a species’ range. In: Integrating ecology and evolution in a spatial context. , 365–392.

Cheng S, Edelsbrunner H, Fu P, Lam K. 2001. Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. 19(2–3), 205–218.

Cheng H, Edelsbrunner H, Fu P. 2001. Shape space from deformation. Computational Geometry: Theory and Applications. 19(2–3), 191–204.

Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 47–56.

Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. Discrete &; Computational Geometry. 25(4), 525–568.

Edelsbrunner H. 2001. 180 wrapped tubes. Journal of Universal Computer Science. 7(5), 379–399.

Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. 2001. Cell adhesion and migration properties of ;22-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 276(22), 18878–18887.

Wolf D, Hallmann R, Sass G, Sixt MK, Küsters S, Fregien B, Trautwein C, Tiegs G. 2001. TNF-;1-induced expression of adhesion molecules in the liver is under the control of TNF--relevance for concanavalin A-induced hepatitis. Journal of Immunology. 166(2), 1300–1307.

Sixt MK, Engelhardt B, Pausch F, Hallmann R, Wendler O, Sorokin L. 2001. Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis. Journal of Cell Biology. 153(5), 933–946.

Gardner M, Fowler K, Patridge L, Barton NH. 2001. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 55(8), 1609–1620.

Barton NH. 2001. Mendel and mathematics. Trends in Genetics. 17, 420–420.

Hirase H, Leinekugel X, Csicsvari JL, Czurkó A, Buzsáki G. 2001. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 21(10).

Hirase H, Leinekugel X, Czurkó A, Csicsvari JL, Buzsáki G. 2001. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 98(16), 9386–9390.

Bartos M, Vida I, Frotscher M, Geiger J, Jonas PM. 2001. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 21(8), 2687–2698.

Alle H, Jonas PM, Geiger J. 2001. PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. 98(25), 14708–14713.

Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. 2001. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive N (N598R) expression. Molecular Brain Research. 94(1–2), 96–104.

Szabo I, Czurkó A, Csicsvari JL, Hirase H, Leinekugel X, Buzsáki G. 2001. The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. 105(1), 105–110.

Jones M., Jonas PM, Sahara Y, Westbrook G. 2001. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 81(5), 2660–2670.

Trnková L, Friml J, Dradka O. 2001. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 54(2), 131–136.

Kolmogorov V, Zabih R. 2001. Computing visual correspondence with occlusions using graph cuts. Proceedings of the 8th IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2, 508–515.

Conn J, Bollback JP, Onyabe D, Robinson T, Wilkerson R, Povoa M. 2001. Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. 1(4), 223–225.

Huelsenbeck J, Bollback JP. 2001. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 50(3), 351–366.

Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. 2001. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 294(5550), 2310–2314.

Huelsenbeck J, Bollback JP. 2001.Application of the likelihood function in phylogenetic analysis. In: Handbook of Statistical Genetics. , 415–439.

Gil P, Dewey E, Friml J, Zhao Y, Snowden K, Putterill J, Palme K, Estelle M, Chory J. 2001. BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development. 15(15), 1985–1997.

Swarup R, Friml J, Marchant A, Ljung K, Sandberg G, Palme K, Bennett M. 2001. Localization of the auxin permease AU suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 15(20), 2648–2653.

Molendijk A, Bischoff F, Rajendrakumar C, Friml J, Braun M, Gilroy S, Palme K. 2001. Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal. 20(11), 2779–2788.

Geldner N, Friml J, Stierhof Y, Jürgens G, Palme K. 2001. Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. 413(6854), 425–428.

Erdös L, Yau H. 2001. Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics. 5(6), 1169–1205.

Erdös L. 2001. Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields. 121(2), 219–236.

Erdös L, Solovej J. 2001. The kernel of Dirac operators on  and . Reviews in Mathematical Physics. 13(10), 1247–1280.

Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 108(1), 157–166.

Li J, Shigemoto R, Kulik Á, Chen P, Nomura S, Kaneko T, Mizuno N. 2001. Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. 315(1–2), 93–97.

Erdös L. 2001.Long time dynamics of an electron in a weakly coupled phonon field. In: 13th International Congress of Mathematical Physics. , 273–281.

Sansig G, Bushell T, Clarke V, Rozov A, Burnashev N, Portet C, Gasparini F, Schmutz M, Klebs K, Shigemoto R, Flor P, Kühn R, Knoepfel T, Schroeder M, Hampson D, Collett V, Zhang C, Duvoisin R, Collingridge G, Van Der Putten H. 2001. Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. 21(22), 8734–8745.

Tamaru Y, Nomura S, Mizuno N, Shigemoto R. 2001. Distribution of metabotropic glutamate receptor mGlu in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 106(3), 481–503.

López Bendito G, Shigemoto R, Luján R, Juíz J. 2001. Developmental changes in the localisation of the mGlu;1 subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience. 105(2), 413–429.

Mion S, Corti C, Neki A, Shigemoto R, Corsi M, Fumagalli G, Ferraguti F. 2001. Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGlu) isoforms. Molecular and Cellular Neuroscience. 17(6), 957–972.

Geurts F, Timmermans J, Shigemoto R, De Schutter E. 2001. Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. 104(2), 499–512.

Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip. Journal of Comparative Neurology. 432(4), 466–480.

Martínez G, López Bendito G, Luján R, Shigemoto R, Fairén A, Valdeolmillos M. 2001. Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience. 13(6), 1147–1154.

Wagner U, Welzl E. 2001. A continuous analogue of the Upper Bound Theorem. Discrete &; Computational Geometry. 26(2), 205–219.

Hainzl C, Seiringer R. 2001. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 217(1), 229–248.

Lieb É, Seiringer R, Yngvason J. 2001. A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics. 224(1), 17–31.

Seiringer R. 2001. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 34(9), 1943–1948.

Baumgartner B, Seiringer R. 2001. Atoms with bosonic &;quot;electrons&;quot; in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.

Hainzl C, Seiringer R. 2001. Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics. 55(2), 133–142.

Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126, 307–314.

Hausel T, Thaddeus M. 2001. Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie des Sciences - Series I: Mathematics. 333(4), 313–318.

Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. 2001. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2(12), resear.1.

Etesi G, Hausel T. 2001. Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 514(1–2), 189–199.

Etesi G, Hausel T. 2001. Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. 37(1–2), 126–136.

Rogozin I, Kochetov A, Kondrashov F, Koonin E, Milanesi L. 2001. Presence of ATG triplets in 5 untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. 17(10), 890–900.

Kondrashov F, Kondrashov A. 2001. Multidimensional epistasis and the disadvantage of sex. PNAS. 98(21), 12089–12092.

Kondrashov F, Koonin E. 2001. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 10(23), 2661–2669.

Rogozin I, Kondrashov F, Glazko G. 2001. Use of mutation spectra analysis software. Human Mutation. 17(2), 83–102.

Wolf Y, Kondrashov F, Koonin E. 2001. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 17(9), 499–501.

Henzinger MH. 2001. Hyperlink analysis for the Web. IEEE Internet Computing. 5(1), 45–50.