Please note that IST 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.
5758 Publications
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. 2000. The theory of hybrid automata. Verification of Digital and Hybrid Systems. , NATO ASI Series F: Computer and Systems Sciences, vol. 170. 265–292.
View
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.
View
| Download (ext.)
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.
View
| Download (ext.)
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
| Download (ext.)
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
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. STOC: Symposium on the Theory of Computing 273–277.
View
| DOI
| Download (ext.)
2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner H. 2000. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. Zur Kunst des formalen Denkens. 153–171.
View
| Download (ext.)
2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner H. 2000. Triangulations and meshes in computational geometry. Acta Numerica. 9, 133–213.
View
| Download (ext.)
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
| Download (ext.)
2000 | Journal Article | IST-REx-ID: 3923
Cremer S. 2000. Paternity analysis with AFLPs in Cardiocondyla ants. B.I.F. Futura. 15(1), 68–71.
View
2000 | Journal Article | IST-REx-ID: 4147
Sordino P, Heisenberg C, Cirino P, Toscano A, Giuliano P, Marino R, Pinto M, De Santis R. 2000. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 85(2), 173–176.
View
2000 | Book Review | IST-REx-ID: 1031
Fürst J, Jakab M, König M, Ritter M, Gschwentner M, Rudzki J, Danzl J, Mayer M, Burtscher C, 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
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.
View
| DOI
| Download (ext.)
1999 | Journal Article | IST-REx-ID: 2592
Masugi M, Yokoi M, Shigemoto R, Muguruma K, Watanabe Y, Sansig G, Van Der Putten H, Nakanishi S. 1999. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 19(3), 955–963.
View
1999 | Journal Article | IST-REx-ID: 2593
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. 1999. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 19(9), 3545–3555.
View
1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, Xu J, Gong L, Lü Y, Qin B, Shi J, Li H, Li J, Shigemoto R, Kaneko T, Mizuno N. 1999. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 266(2), 133–136.
View
| DOI
1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal M, Viennois G, Kühn R, Malitschek B, Pin J, Shigemoto R, Bockaërt J. 1999. mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology. 38(10), 1631–1640.
View
| DOI
1999 | Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, Macháčková I, Benková E, Van Dongen W, Esmans E, Van Onckelen H. 1999. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 10(3), 143–151.
View
| DOI
1999 | Journal Article | IST-REx-ID: 4204
Heisenberg C, Brennan C, Wilson S. 1999. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 126(10), 2129–2140.
View
1999 | Journal Article | IST-REx-ID: 4279
Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. 1999. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 152(1), 355–371.
View
1999 | Thesis | IST-REx-ID: 4411
Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley,p.
View
| Download (ext.)
1999 | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. 1999. Formal specification and verification of a dataflow processor array. ICCAD: Computer-Aided Design 494–499.
View