Hetzer, M., &; Mattaj, I. W. (2000). An Atp-dependent, Ran-independent mechanism for nuclear import of the a and b spliceosome proteins. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.148.2.293 

Hetzer, M., Bilbao-Cortés, D., Walther, T. C., Gruss, O. J., &; Mattaj, I. W. (2000). GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. Elsevier.https://doi.org/10.1016/s1097-2765(00)80266-x 

Henzinger, M. H., Rao, S., &; Gabow, H. N. (2000). Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. Elsevier.https://doi.org/10.1006/jagm.1999.1055 

Henzinger, M. H., Heydon, A., Mitzenmacher, M., &; Najork, M. (2000). On near-uniform URL sampling. Computer Networks. Elsevier.https://doi.org/10.1016/s1389-1286(00)00055-4 

Albers, S., &; Henzinger, M. H. (2000). Exploring unknown environments. SIAM Journal on Computing. El Paso, TX, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/s009753979732428x 

Bharat, K., Broder, A., Dean, J., &; Henzinger, M. H. (2000). A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. Wiley.https://doi.org/10.1002/1097-4571(2000)9999:9999&#60;::aid-asi1025&#62;3.0.co;2-0 

Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective. In 8th Annual European Symposium on Algorithms (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature.https://doi.org/10.1007/3-540-45253-2_1 

Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/s0097539794263907 

Seiringer, R. (2000). Inequalities for Schrödinger operators and applications to the stability of matter problemhttps://doi.org/10.1090/conm/529__(Vol. 529, pp. 53–72). Presented at the Arizona School of Analysis With Applications, American Mathematical Society.https://doi.org/10.1090/conm/529 

Baumgartner, B., &; Seiringer, R. (2000). On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. Springer.https://doi.org/Â  Â  10.1023/A:1010978807635 

Kaloshin, V. (2000). Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s002200050811 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44618-4_33 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2000). Detecting errors before reaching them. In Proceedings of the 12th International Conference on Computer Aided Verification (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer.https://doi.org/10.1007/10722167_17 

De Alfaro, L., &; Henzinger, T. A. (2000). Concurrent omega-regular games. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (pp. 141–154). Santa Barbara, CA, USA: IEEE.https://doi.org/10.1109/LICS.2000.855763 

Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science  (Vol. 1872, pp. 549–563). Sendai, Japan: Springer.https://doi.org/10.1007/3-540-44929-9_38 

Alur, R., Henzinger, T. A., Lafferriere, G., &; Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE.https://doi.org/10.1109/5.871304  

Henzinger, T. A., Majumdar, R., Mang, F., &; Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer.https://doi.org/10.1007/978-3-540-45099-3_12 

Henzinger, T. A., Horowitz, B., Majumdar, R., &; Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer.https://doi.org/10.1007/3-540-46430-1_14 

Henzinger, T. A., Qadeer, S., &; Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE.https://doi.org/10.1109/ICCAD.2000.896481 

Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan &; R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.https://doi.org/10.1007/978-3-642-59615-5 

Henzinger, T. A., &; Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_21 

Henzinger, T. A., &; Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer.https://doi.org/10.1007/3-540-46541-3_2 

Henzinger, T. A., &; Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_11 

Henzinger, T. A., &; Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer.https://doi.org/10.1007/3-540-46430-1_15 

Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press.https://doi.org/10.1017/S0016672300239220 

Barton, N. H., &; Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672399004334 

Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London.https://doi.org/10.1098/rstb.2000.0716 

Barton, N. H., &; Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press.https://doi.org/10.1006/tpbi.2000.1455 

Barton, N. H., &; Partridge, L. (2000). Limits to natural selection. BioEssays. Wiley-Blackwell.https://doi.org/10.1002/1521-1878(200012)22:12&#38;lt;1075::AID-BIES5&#38;gt;3.0.CO;2-M 

Coyne, J., Barton, N. H., &; Turelli, M. (2000). Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2 

Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press.https://doi.org/10.1016/B0-12-226865-2/00070-5 

Heisenberg, C.-P. J., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R.,https://doi.org/10.1038/35011068__Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. Nature Publishing Group.https://doi.org/10.1038/35011068 

Sordino, P., Heisenberg, C.-P. J., Cirino, P., Toscano, A., Giuliano, P., Marino, R.,https://doi.org/10.1080/00364827.2000.10414567__De Santis, R. (2000). A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. Taylor &; Francis.https://doi.org/10.1080/00364827.2000.10414567 

Galtier, N., Depaulis, F., &; Barton, N. H. (2000). Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. Genetics Society of America.https://doi.org/10.1093/genetics/155.2.981 

Partridge, L., &; Barton, N. H. (2000). Evolving evolvability. Nature. Nature Publishing Group.https://doi.org/10.1038/35035173 

Edelsbrunner, H., &; Waupotitsch, R. (2000). Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. World Scientific Publishing.https://doi.org/10.1142/S0218195900000164 

Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., &; Teng, S. (2000). Sliver exudation. Journal of the ACM. ACM.https://doi.org/10.1145/355483.355487 

Edelsbrunner, H., Letscher, D., &; Zomorodian, A. (2000). Topological persistance and simplification. In Proceedings 41st Annual Symposium on Foundations of Computer Science (pp. 454–463). Washington, DC, United States: IEEE.https://doi.org/10.1109/SFCS.2000.892133 

Barton, N. H. (2000). Estimating multilocus linkage disequilibria. Heredity. Nature Publishing Group.https://doi.org/10.1046/j.1365-2540.2000.00683.x 

Jonas, P. M. (2000). The time course of signaling at central glutamatergic synapses. Physiology. American Physiological Society.https://doi.org/10.1152/physiologyonline.2000.15.2.83 

Edelsbrunner, H., &; Grayson, D. (2000). Edgewise subdivision of a simplex. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s004540010063 

Cremer, S. (2000). Paternity analysis with AFLPs in Cardiocondyla ants. Futura: The Journal of the Boehringer Ingelheim Fonds. Hippokrates.

Harris, K., Henze, D., Csicsvari, J. L., Hirase, H., &; Buzsáki, G. (2000). Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. American Physiological Society.https://doi.org/10.1152/jn.2000.84.1.401 

Henze, D., Borhegyi, Z., Csicsvari, J. L., Mamiya, A., Harris, K., &; Buzsáki, G. (2000). Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. American Physiological Society.https://doi.org/10.1152/jn.2000.84.1.390 

Barton, N. H., &; Patridge, L. (2000). Measuring fitness by means of balancer chromosomes. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672399004346 

Edelsbrunner, H., Li, X., Miller, G., Stathopoulos, A., Talmor, D., Teng, S.,https://doi.org/10.1145/335305.335338__Walkington, N. (2000). Smoothing and cleaning up slivers. In Proceedings of the 32nd annual ACM symposium on Theory of computing (pp. 273–277). Portland, OR, USA: ACM.https://doi.org/10.1145/335305.335338 

Geiger, J., &; Jonas, P. M. (2000). Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier.https://doi.org/10.1016/S0896-6273(00)00164-1 

Csicsvari, J. L., Hirase, H., Mamiya, A., &; Buzsáki, G. (2000). Ensemble patterns of hippocampal C-C neurons during sharp wave-associated population events. Neuron. Elsevier.https://doi.org/10.1016/S0896-6273(00)00135-5 

Edelsbrunner, H. (2000). Triangulations and meshes in computational geometry. Acta Numerica. Cambridge University Press.https://doi.org/10.1017/S0962492900001331 

Edelsbrunner, H. (2000). Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In Zur Kunst des formalen Denkens (pp. 153–171). Passagen Verlag.

Martina, M., Vida, I., &; Jonas, P. M. (2000). Distal initiation and active propagation of action potentials in interneuron dendrites. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.287.5451.295 

Kraushaar, U., &; Jonas, P. M. (2000). Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000 

Normann, C., Peckys, D., Schulze, C., Walden, J., Jonas, P. M., &; Bischofberger, J. (2000). Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000 

Hwang, J., Siekhaus, D. E., Fuller, R., Taghert, P., &; Lindberg, I. (2000). Interaction of Drosophila melanogaster prohormone convertase 2 and 7: Insect cell specific processing and secretion. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M000032200  

Perroy, J., Prezèau, L., De Waard, M., Shigemoto, R., Bockaërt, J., &; Fagni, L. (2000). Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.20-21-07896.2000 

Boudin, H., Doan, A., Xia, J., Shigemoto, R., Huganir, R., Worley, P., &; Craig, A. (2000). Presynaptic clustering of mGlua requires the PICK1 PDZ domain binding site. Neuron. Elsevier.https://doi.org/10.1016/S0896-6273(00)00127-6 

Castella, F., Erdös, L., Frommlet, F., &; Markowich, P. (2000). Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. Springer.https://doi.org/10.1023/A:1018667323830 

Erdös, L., &; Yau, H. (2000). Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. Wiley-Blackwell.https://doi.org/10.1002/(SICI)1097-0312(200006)53:6&#38;lt;667::AID-CPA1&#38;gt;3.0.CO;2-5 

Erdös, L. (2000). The kernel of Dirac operators onhttps://doi.org/10.1090/amsip/016__and . In Differential Equations and Mathematical Physics (Vol. 16, pp. 111–119). American Mathematical Society.https://doi.org/10.1090/amsip/016 

Erdös, L., Loss, M., &; Vougalter, V. (2000). Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier.https://doi.org/10.5802/aif.1777 

Ichise, T., Kano, M., Hashimoto, K., Yanagihara, D., Nakao, K., Shigemoto, R.,https://doi.org/10.1126/science.288.5472.1832__Aiba, A. (2000). mGlu in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.288.5472.1832 

Li, J., Wang, D., Kaneko, T., Shigemoto, R., Nomura, S., &; Mizuno, N. (2000). The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research. Elsevier.https://doi.org/10.1016/S0168-0102(00)00095-X 

Sillevis Smitt, P., Kinoshita, A., De Leeuw, B., Moll, W., Coesmans, M., Jaarsma, D.,https://doi.org/10.1056/NEJM200001063420104__Shigemoto, R. (2000). Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. Massachussetts Medical Society.https://doi.org/10.1056/NEJM200001063420104 

Li, J., Wang, D., Kaneko, T., Shigemoto, R., Nomura, S., &; Mizuno, N. (2000). Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. Wiley-Blackwell.https://doi.org/10.1002/(SICI)1096-9861(20000306)418:2&#38;lt;156::AID-CNE3&#38;gt;3.0.CO;2-Z 

Shigemoto, R., &; Mizuno, N. (2000). Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In Glutamate (Vol. 18, pp. 63–98). Elsevier.https://doi.org/10.1016/S0924-8196(00)80044-5 

Wagner, U., &; Welzl, E. (2000). Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In Proceedings of the 16th annual symposium on Computational geometry (pp. 50–56). Clear Water Bay Kowloon, Hong Kong: ACM.https://doi.org/10.1145/336154.336176 

Lieb, É., Seiringer, R., &; Yngvason, J. (2000). Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.61.043602 

Seiringer, R., Lieb, É., &; Yngvason, J. (2000). The ground state energy and density of interacting bosons in a trap. In Proceedings of the International Symposium on Quantum Theory and Symmetries (pp. 101–110). World Scientific Publishing.

Sazanov, L. A., &; Walker, J. (2000). Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. Elsevier.https://doi.org/10.1006/jmbi.2000.4079 

Katsaros, G., Lane, P., &; Murphy, M. (2000). Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In Proceedings of the 2000 IEEE Annual Meeting Conference  (Vol. 1, pp. 27–28). Rio Grande, PR, USA: IEEE.https://doi.org/10.1109/LEOS.2000.890656 

Sazanov, L. A., Peak Chew, S., Fearnley, I., &; Walker, J. (2000). Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. ACS.https://doi.org/10.1021/bi000335t 

Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J.,https://doi.org/10.1159/000016374__Paulmichl, M. (2000). Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. S. Karger AG.https://doi.org/10.1159/000016374 

Hausel, T., Makai, E., &; Szücs, A. (2000). Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. University College London.https://doi.org/10.1112/S0025579300015965 

Wolf, Y., Kondrashov, F., &; Koonin, E. (2000). No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. Elsevier.https://doi.org/10.1016/S0168-9525(00)02059-X 

Macogonkosza, M., Przyborowski, J., Klajn, R., &; Kwast, A. (2000). Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. Georg Thieme Verlag.https://doi.org/10.1055/s-2000-8670