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.

11103 Publications


2000 | Published | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. Proceedings of the 11th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1877, 458–473.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching them. Proceedings of the 12th International Conference on Computer Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 1855, 186–201.
View | DOI
 

2000 | Published | 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 | Published | 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
 

2000 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 3149 | OA
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 | Published | Journal Article | IST-REx-ID: 3489 | OA
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 | Published | Journal Article | IST-REx-ID: 3490 | OA
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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 3542
Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. 2000. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 28(2), 585–594.
View | DOI
 

2000 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 3583
Edelsbrunner H. 2000. Triangulations and meshes in computational geometry. Acta Numerica. 9, 133–213.
View | DOI
 

2000 | Published | 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 | Published | 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 | Published | 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
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed