Henzinger TA, Rajamani S. Fair bisimulation. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21

Henzinger TA, Majumdar R. A classification of symbolic transition systems. In: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2

Henzinger TA, Majumdar R. 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. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11

Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15

Barton NH. Population genetics of multiple loci. Genetics Research. 2000;75(3):371-373. doi:10.1017/S0016672300239220

Barton NH, Shpak M. The effects of epistasis on the structure of hybrid zones. Genetical Research. 2000;75(2):179-198. doi:10.1017/S0016672399004334

Barton NH. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2000;355(1403):1553-1562. doi:10.1098/rstb.2000.0716

Barton NH, Shpak M. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 2000;57(3):249-263. doi:10.1006/tpbi.2000.1455

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

Coyne J, Barton NH, Turelli M. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 2000;54(1):306-317. doi:10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2

Barton NH. Differentiation. In: Encyclopedia of Biodiversity. Academic Press; 2000:85-94. doi:10.1016/B0-12-226865-2/00070-5

Heisenberg C-PJ, Tada M, Rauch G, et al. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 2000;405(6782):76-81. doi:10.1038/35011068

Sordino P, Heisenberg C-PJ, Cirino P, et al. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 2000;85(2):173-176. doi:10.1080/00364827.2000.10414567

Galtier N, Depaulis F, Barton NH. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 2000;155(2):981-987. doi:10.1093/genetics/155.2.981

Partridge L, Barton NH. Evolving evolvability. Nature. 2000;407(6803):457-458. doi:10.1038/35035173

Edelsbrunner H, Waupotitsch R. Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. 2000;10(3):267-284. doi:10.1142/S0218195900000164

Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. Sliver exudation. Journal of the ACM. 2000;47(5):883-904. doi:10.1145/355483.355487

Edelsbrunner H, Letscher D, Zomorodian A. Topological persistance and simplification. In: Proceedings 41st Annual Symposium on Foundations of Computer Science. IEEE; 2000:454-463. doi:10.1109/SFCS.2000.892133

Barton NH. Estimating multilocus linkage disequilibria. Heredity. 2000;84(3):373-389. doi:10.1046/j.1365-2540.2000.00683.x

Jonas PM. The time course of signaling at central glutamatergic synapses. Physiology. 2000;15(2):83-89. doi:10.1152/physiologyonline.2000.15.2.83

Edelsbrunner H, Grayson D. Edgewise subdivision of a simplex. Discrete &; Computational Geometry. 2000;24(4):707-719. doi:10.1007/s004540010063

Cremer S. Paternity analysis with AFLPs in Cardiocondyla ants. Futura: the Journal of the Boehringer Ingelheim Fonds. 2000;15(1):68-71.

Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 2000;84(1):401-414. doi:10.1152/jn.2000.84.1.401

Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 2000;84(1):390-400. doi:10.1152/jn.2000.84.1.390

Barton NH, Patridge L. Measuring fitness by means of balancer chromosomes. Genetical Research. 2000;75(3):297-314. doi:10.1017/S0016672399004346

Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: Proceedings of the 32nd Annual ACM Symposium on Theory of Computing. ACM; 2000:273-277. doi:10.1145/335305.335338

Geiger J, Jonas PM. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 2000;28(3):927-939. doi:10.1016/S0896-6273(00)00164-1

Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. Ensemble patterns of hippocampal C-C neurons during sharp wave-associated population events. Neuron. 2000;28(2):585-594. doi:10.1016/S0896-6273(00)00135-5

Edelsbrunner H. Triangulations and meshes in computational geometry. Acta Numerica. 2000;9:133-213. doi:10.1017/S0962492900001331

Edelsbrunner H. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst Des Formalen Denkens. Passagen Verlag; 2000:153-171.

Martina M, Vida I, Jonas PM. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 2000;287(5451):295-300. doi:10.1126/science.287.5451.295

Kraushaar U, Jonas PM. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 2000;20(15):5594-5607. doi:10.1523/JNEUROSCI.20-15-05594.2000

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

Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. Interaction of Drosophila melanogaster prohormone convertase 2 and 7: Insect cell specific processing and secretion. Journal of Biological Chemistry. 2000;275(23):17886-17893. doi:10.1074/jbc.M000032200 

Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. 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. 2000;20(21):7896-7904. doi:10.1523/JNEUROSCI.20-21-07896.2000

Boudin H, Doan A, Xia J, et al. Presynaptic clustering of mGlua requires the PICK1 PDZ domain binding site. Neuron. 2000;28(2):485-497. doi:10.1016/S0896-6273(00)00127-6

Castella F, Erdös L, Frommlet F, Markowich P. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 2000;100(3-4):543-601. doi:10.1023/A:1018667323830

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

Erdös L. The kernel of Dirac operators on10.1090/amsip/016__and . In: Differential Equations and Mathematical Physics. Vol 16. American Mathematical Society; 2000:111-119. doi:10.1090/amsip/016

Erdös L, Loss M, Vougalter V. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 2000;50(3):891-907. doi:10.5802/aif.1777

Ichise T, Kano M, Hashimoto K, et al. mGlu in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 2000;288(5472):1832-1835. doi:10.1126/science.288.5472.1832

Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 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. 2000;36(4):327-334. doi:10.1016/S0168-0102(00)00095-X

Sillevis Smitt P, Kinoshita A, De Leeuw B, et al. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 2000;342(1):21-27. doi:10.1056/NEJM200001063420104

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

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

Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In: Proceedings of the 16th Annual Symposium on Computational Geometry. ACM; 2000:50-56. doi:10.1145/336154.336176

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

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

Sazanov LA, Walker J. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 2000;302(2):455-464. doi:10.1006/jmbi.2000.4079

Katsaros G, Lane P, Murphy M. 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. IEEE; 2000:27-28. doi:10.1109/LEOS.2000.890656

Sazanov LA, Peak Chew S, Fearnley I, Walker J. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 2000;39(24):7229-7235. doi:10.1021/bi000335t

Fürst J, Jakab M, König M, et al. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374

Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965

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

Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000;2000(12):1773-1774. doi:10.1055/s-2000-8670