Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
75 Publications
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
Barton NH. 2000. Population genetics of multiple loci. Genetics Research. 75(3), 371–373.
View
| DOI
| Download None (ext.)
2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4274 | 
Barton NH. 2000. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 355(1403), 1553–1562.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. 2000. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 57(3), 249–263.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4273
Barton NH, Partridge L. 2000. Limits to natural selection. BioEssays. 22(12), 1075–1084.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4269
Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, Saúde L, Concha M, Geisler R, Stemple D, Smith J, Wilson S. 2000. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 405(6782), 76–81.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4270 |
Galtier N, Depaulis F, Barton NH. 2000. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 155(2), 981–987.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3624
Barton NH. 2000. Estimating multilocus linkage disequilibria. Heredity. 84(3), 373–389.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3798
Jonas PM. 2000. The time course of signaling at central glutamatergic synapses. Physiology. 15(2), 83–89.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3923
Cremer S. 2000. Paternity analysis with AFLPs in Cardiocondyla ants. Futura: the Journal of the Boehringer Ingelheim Fonds. 15(1), 68–71.
View
2000 | Journal Article | IST-REx-ID: 3548
Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. 2000. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 84(1), 401–414.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3532
Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. 2000. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 84(1), 390–400.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. 2000. Measuring fitness by means of balancer chromosomes. Genetical Research. 75(3), 297–314.
View
| DOI
| PubMed | Europe PMC
2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, Stathopoulos A, Talmor D, Teng S, Üngör A, Walkington N. 2000. Smoothing and cleaning up slivers. Proceedings of the 32nd annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 273–277.
View
| DOI
2000 | Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. 2000. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 28(3), 927–939.
View
| DOI
| PubMed | Europe PMC
2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner H. 2000.Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst des formalen Denkens. , 153–171.
View
2000 | Journal Article | IST-REx-ID: 3491
Martina M, Vida I, Jonas PM. 2000. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 287(5451), 295–300.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3489 |
Kraushaar U, Jonas PM. 2000. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 20(15), 5594–5607.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3490 |
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. 2000. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 20(22), 8290–8297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3149 |
Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. 2000. Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. 275(23), 17886–17893.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2602 |
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. 20(21), 7896–7904.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2603
Boudin H, Doan A, Xia J, Shigemoto R, Huganir R, Worley P, Craig A. 2000. Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. 28(2), 485–497.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2601
Ichise T, Kano M, Hashimoto K, Yanagihara D, Nakao K, Shigemoto R, Katsuki M, Aiba A. 2000. mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 288(5472), 1832–1835.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2600
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. 36(4), 327–334.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2598 |
Sillevis Smitt P, Kinoshita A, De Leeuw B, Moll W, Coesmans M, Jaarsma D, Henzen Logmans S, Vecht C, De Zeeuw C, Sekiyama N, Nakanishi S, Shigemoto R. 2000. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 342(1), 21–27.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2599
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. 418(2), 156–163.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2344 |
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. 61(4), 436021–4360213.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2000 | Conference Paper | IST-REx-ID: 2342 |
Seiringer R, Lieb É, Yngvason J. 2000. The ground state energy and density of interacting bosons in a trap. Proceedings of the International Symposium on Quantum Theory and Symmetries. ISQTS: Quantum Theory and Symmetries, 101–110.
View
| Download None (ext.)
| arXiv
2000 | Journal Article | IST-REx-ID: 1957
Sazanov LA, 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. 302(2), 455–464.
View
| DOI
| PubMed | Europe PMC
2000 | Conference Paper | IST-REx-ID: 1736
Katsaros G, Lane P, Murphy M. 2000. Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. Proceedings of the 2000 IEEE Annual Meeting Conference . Lasers and Electro Optics Society Annual Meeting, LEOS, vol. 1, 27–28.
View
| DOI
2000 | Journal Article | IST-REx-ID: 1958
Sazanov LA, 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. 39(24), 7229–7235.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 12925
Fürst J, Jakab M, König M, Ritter M, Gschwentner M, Rudzki J, Danzl JG, Mayer M, Burtscher CM, Schirmer J, Maier B, Nairz M, Chwatal S, Paulmichl M. 2000. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 10(5–6), 329–334.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 1455 |
Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 | Journal Article | IST-REx-ID: 842
Wolf Y, Kondrashov F, Koonin E. 2000. No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. 16(8), 333–334.
View
| DOI
| PubMed | Europe PMC