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


1998 | Journal Article | IST-REx-ID: 2586
Watanabe D, Inokawa H, Hashimoto K, et al. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 1998;95(1):17-27. doi:10.1016/S0092-8674(00)81779-1
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Brain Cell Biology. 1998;27(5):303-327. doi:10.1023/A:1006982023657
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann K, Malitschek B, Schuler V, et al. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 1998;396(6712):683-687. doi:10.1038/25360
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude A, Shigemoto R. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. 1998;402(2):181-196. doi:10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2590
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 1998;27(5):303-327. doi:10.1023/A:1006982023657
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Erdös L, Yau H. Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In: Vol 217. American Mathematical Society; 1998:137-155. doi:10.1090/conm/217
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2728
Erdös L. Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. 1998;112(3):321-371. doi:10.1007/s004400050193
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4280
Ritchie M, Barton NH. Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. 1998;13(7):282-283. doi:10.1016/S0169-5347(98)01396-2
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton NH, Charlesworth B. Why sex and recombination? Science. 1998;281(5385):1986-1990. doi:10.1126/science.281.5385.1986
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton NH. Genetics and analysis of quantitative traits. Genetical Research. 1998;72(1):73-73.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton NH. The geometry of adaptation. Nature. 1998;395(6704):751-752.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:10.1007/BFb0055625
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. An algorithm for the approximative analysis of rectangular automata. In: Vol 1486. Springer; 1998:228-240. doi:10.1007/BFb0055350
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. Reachability verification for hybrid automata. In: Vol 1386. Springer; 1998:190-204. doi:10.1007/3-540-64358-3_40
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, Sastry S. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:1260
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. In: Vol 1522. Springer; 1998:421-432. doi:10.1007/3-540-49519-3_27
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. You assume, we guarantee: Methodology and case studies. In: Vol 1427. Springer; 1998:440-451. doi: 10.1007/BFb0028765
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. In: Vol 1427. Springer; 1998:195-206. doi:10.1007/BFb0028745
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. The regular real-time languages. In: Vol 1443. Springer; 1998:580-591. doi:10.1007/BFb0055086
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 1998;43(4):540-554. doi:10.1109/9.664156
View | DOI
 

Search

Filter Publications