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.

6306 Publications


2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 3489
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.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
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.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
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
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
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
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
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.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 2000;28(2):585-594. doi:10.1016/S0896-6273(00)00135-5
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
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.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: ACM; 2000:273-277. doi:10.1145/335305.335338
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner H. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst Des Formalen Denkens. Passagen Verlag; 2000:153-171.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner H. Triangulations and meshes in computational geometry. Acta Numerica. 2000;9:133-213.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. Measuring fitness by means of balancer chromosomes. Genetical Research. 2000;75(3):297-314. doi:10.1017/S0016672399004346
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton NH. Estimating multilocus linkage disequilibria. Heredity. 2000;84(3):373-389. doi:10.1046/j.1365-2540.2000.00683.x
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 1999;259(2):119-122. doi:10.1016/S0304-3940(98)00926-4
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi M, Yokoi M, Shigemoto R, et al. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 1999;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. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 1999;19(9):3545-3555.
View
 

1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, et al. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 1999;266(2):133-136. doi:10.1016/S0304-3940(99)00283-9
View | DOI
 

Search

Filter Publications