De Alfaro, L., Henzinger, T. A., &; Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_38 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_36 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE.https://doi.org/10.1109/LICS.2001.932504 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.

De Alfaro, L., Henzinger, T. A., &; Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_24 

Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C.,https://doi.org/10.1109/ICSE.2001.919196__Wang, B. (2001). jMocha: A model-checking tool that exploits design structure. In Proceedings of the 23rd International Conference on Software Engineering (pp. 835–836). IEEE.https://doi.org/10.1109/ICSE.2001.919196 

Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., &; Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008767206905 

De Alfaro, L., &; Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European software engineering conference (pp. 109–120). Vienna, Austria: ACM.https://doi.org/10.1145/503209.503226 

De Alfaro, L., &; Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM.https://doi.org/10.1007/3-540-45449-7_11 

Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., &; Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems. In Proceedings of the 20th Digital Avionics Systems Conference (pp. 1–11). Daytona Beach, FL, USA: IEEE.https://doi.org/10.1109/DASC.2001.964169 

Henzinger, T. A., Minea, M., &; Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer.https://doi.org/10.1007/3-540-45351-2_24 

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM.https://doi.org/10.1145/384197.384208 

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM.https://doi.org/10.1007/3-540-45449-7_12 

Henzinger, T. A., Preussig, J., &; Wong Toi, H. (2001). Some lessons from the HYTECH experience. In Proceedings of the 40th IEEE Conference on Decision and Control (Vol. 3, pp. 2887–2892). Orlando, FL, USA: IEEE.https://doi.org/10.1109/.2001.980714 

Henzinger, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM.https://doi.org/10.1007/3-540-45449-7 

Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.

Heisenberg, C.-P. J., Houart, C., Take Uchi, M., Rauch, G., Young, N., Coutinho, P.,https://doi.org/10.1101/gad.194301__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. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gad.194301 

Barton, N. H. (2001). The role of hybridization in evolution. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1046/j.1365-294X.2001.01216.x 

Otto, S., &; Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2001.tb01310.x 

Bollback, J. P., &; Huelsenbeck, J. (2001). Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. Springer.https://doi.org/10.1007/s002390010140 

Turelli, M., Barton, N. H., &; Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution. Cell Press.https://doi.org/10.1016/S0169-5347(01)02177-2 

Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.

Cheng, S., Edelsbrunner, H., Fu, P., &; Lam, K. (2001). Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/S0925-7721(01)00020-7 

Cheng, H., Edelsbrunner, H., &; Fu, P. (2001). Shape space from deformation. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/S0925-7721(01)00021-9 

Cheng, H., Dey, T., Edelsbrunner, H., &; Sullivan, J. (2001). Dynamic skin triangulation. In Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms (pp. 47–56). Washington, DC, USA : SIAM.

Cheng, H., Dey, T., Edelsbrunner, H., &; Sullivan, J. (2001). Dynamic skin triangulation. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-001-0007-1 

Edelsbrunner, H. (2001). 180 wrapped tubes. Journal of Universal Computer Science. Springer.https://doi.org/10.3217/jucs-007-05-0379 

Sixt, M. K., 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. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M010898200 

Wolf, D., Hallmann, R., Sass, G., Sixt, M. K., Küsters, S., Fregien, B.,https://doi.org/10.4049/jimmunol.166.2.1300__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. American Association of Immunologists.https://doi.org/10.4049/jimmunol.166.2.1300 

Sixt, M. K., 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. Rockefeller University Press.https://doi.org/10.1083/jcb.153.5.933  

Gardner, M., Fowler, K., Patridge, L., &; Barton, N. H. (2001). Genetic variation for preadult viability in Drosophila melanogaster. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2001.tb00680.x 

Barton, N. H. (2001). Mendel and mathematics. Trends in Genetics. Elsevier.https://doi.org/10.1016/S0168-9525(01)02315-0 

Hirase, H., Leinekugel, X., Csicsvari, J. L., Czurkó, A., &; Buzsáki, G. (2001). Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.21-10-j0003.2001 

Hirase, H., Leinekugel, X., Czurkó, A., Csicsvari, J. L., &; Buzsáki, G. (2001). Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.161274398 

Bartos, M., Vida, I., Frotscher, M., Geiger, J., &; Jonas, P. M. (2001). Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.21-08-02687.2001 

Alle, H., Jonas, P. M., &; Geiger, J. (2001). PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.251610898  

Jerecic, J., Schulze, C., Jonas, P. M., 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. Elsevier.https://doi.org/10.1016/S0169-328X(01)00221-2 

Szabo, I., Czurkó, A., Csicsvari, J. L., 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. Elsevier.https://doi.org/10.1016/S0165-0270(00)00362-9 

Jones, M. ., Jonas, P. M., Sahara, Y., &; Westbrook, G. (2001). Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. Biophysical Society.https://doi.org/10.1016/S0006-3495(01)75909-7  

Trnková, L., Friml, J., &; Dradka, O. (2001). Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. Elsevier.https://doi.org/10.1016/S1567-5394(01)00119-0 

Kolmogorov, V., &; Zabih, R. (2001). Computing visual correspondence with occlusions using graph cuts. In Proceedings of the 8th IEEE International Conference on Computer Vision (Vol. 2, pp. 508–515). Vancouver, Canada: IEEE.https://doi.org/10.1109/ICCV.2001.937668 

Conn, J., Bollback, J. P., Onyabe, D., Robinson, T., Wilkerson, R., &; Povoa, M. (2001). Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. Wiley-Blackwell.https://doi.org/ 10.1046/j.1471-8278.2001.00078.x 

Huelsenbeck, J., &; Bollback, J. P. (2001). Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150119871 

Huelsenbeck, J., Ronquist, F., Nielsen, R., &; Bollback, J. P. (2001). Bayesian inference of phylogeny and its impact on evolutionary biology. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1065889 

Huelsenbeck, J., &; Bollback, J. P. (2001). Application of the likelihood function in phylogenetic analysis. In D. Balding, M. Bishop, &; C. Cannings (Eds.), Handbook of Statistical Genetics (pp. 415–439). Wiley-Blackwell.https://doi.org/10.1002/9780470061619.ch15 

Gil, P., Dewey, E., Friml, J., Zhao, Y., Snowden, K., Putterill, J.,https://doi.org/10.1101/gad.905201__Chory, J. (2001). BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gad.905201 

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. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gad.210501 

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. Wiley-Blackwell.https://doi.org/10.1093/emboj/20.11.2779 

Geldner, N., Friml, J., Stierhof, Y., Jürgens, G., &; Palme, K. (2001). Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. Nature Publishing Group.https://doi.org/10.1038/35096571 

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. International Press.https://doi.org/10.48550/arXiv.math-ph/0111042 

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. Springer.https://doi.org/10.1007/PL00008803 

Erdös, L., &; Solovej, J. (2001). The kernel of Dirac operators onhttps://doi.org/10.1142/S0129055X01000983__and . Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X01000983 

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. Elsevier.https://doi.org/10.1016/S0306-4522(01)00158-0 

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. Elsevier.https://doi.org/10.1016/S0304-3940(01)02321-7 

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

Sansig, G., Bushell, T., Clarke, V., Rozov, A., Burnashev, N., Portet, C.,https://doi.org/10.1523/JNEUROSCI.21-22-08734.2001__Van Der Putten, H. (2001). Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.21-22-08734.2001 

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. Elsevier.https://doi.org/10.1016/S0306-4522(01)00305-0 

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. Elsevier.https://doi.org/10.1016/S0306-4522(01)00188-9 

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. Academic Press.https://doi.org/10.1006/mcne.2001.0993 

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. Elsevier.https://doi.org/10.1016/S0306-4522(01)00058-6 

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. Wiley-Blackwell.https://doi.org/10.1002/cne.1114 

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. Wiley-Blackwell.https://doi.org/10.1046/j.0953-816X.2001.01494.x 

Wagner, U., &; Welzl, E. (2001). A continuous analogue of the Upper Bound Theorem. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-001-0028-9 

Hainzl, C., &; Seiringer, R. (2001). A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s002200100373 

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. Springer.https://doi.org/10.1007/s002200100533 

Seiringer, R. (2001). On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. IOP Publishing Ltd.https://doi.org/10.1088/0305-4470/34/9/311 

Baumgartner, B., &; Seiringer, R. (2001). Atoms with bosonic &;quot;electrons&;quot; in strong magnetic fields. Annales Henri Poincare. Birkhäuser.https://doi.org/10.1007/PL00001032 

Hainzl, C., &; Seiringer, R. (2001). Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics. Springer.https://doi.org/10.1023/A:1010951905548 

Seiringer, R. (2001). Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In M. Demuth &; B. Schultze (Eds.) (Vol. 126, pp. 307–314). Presented at the PDE: Partial Differential Equations and Spectral Theory, Clausthal, Germany: Birkhäuser.https://doi.org/10.1007/978-3-0348-8231-6 

Hausel, T., &; Thaddeus, M. (2001). Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics. Elsevier.https://doi.org/10.1016/S0764-4442(01)02057-2 

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. BioMed Central.https://doi.org/10.1186/gb-2001-2-12-research0053 

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. Elsevier.https://doi.org/10.1016/S0370-2693(01)00821-8 

Etesi, G., &; Hausel, T. (2001). Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. Elsevier.https://doi.org/10.1016/S0393-0440(00)00040-1 

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. Oxford University Press.https://doi.org/10.1093/bioinformatics/17.10.890 

Kondrashov, F., &; Kondrashov, A. (2001). Multidimensional epistasis and the disadvantage of sex. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.211214298 

Kondrashov, F., &; Koonin, E. (2001). Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. Oxford University Press.https://doi.org/10.1093/hmg/10.23.2661 

Rogozin, I., Kondrashov, F., &; Glazko, G. (2001). Use of mutation spectra analysis software. Human Mutation. Wiley-Blackwell.https://doi.org/10.1002/1098-1004(200102)17:2&#38;lt;83::AID-HUMU1&#38;gt;3.0.CO;2-E 

Wolf, Y., Kondrashov, F., &; Koonin, E. (2001). Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. Elsevier.https://doi.org/10.1016/S0168-9525(01)02376-9 

Henzinger, M. H. (2001). Hyperlink analysis for the Web. IEEE Internet Computing. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/4236.895141