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.

5625 Publications


1999 | Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi:10.1007/3-540-48320-9_8
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 | 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: 3535
Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? European Journal of Neuroscience. 1998;10(Suppl. 10):9932-9932.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum C, Nürnberger B, Barton NH, Szymura J. Habitat preference in the Bombina hybrid zone in Croatia. Evolution. 1998;52(1):227-239.
View | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. In: IEEE; 1998:104-113. doi:10.1109/PCCGA.1998.732056
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 | Conference Paper | IST-REx-ID: 4603
Alur R, Henzinger TA, Kupferman O, Vardi M. Alternating refinement relations. In: Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:163-178. doi:10.1007/BFb0055611
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: IEEE; 1998:564-575. doi:10.1109/SFCS.1998.743507 
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. 1998;30(3):219-225. doi:10.1016/S0168-0102(97)00132-6
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: 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 | 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 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner H. Shape reconstruction with Delaunay complex. In: Vol 1380. Springer; 1998:119-132. doi:10.1007/BFb0054315
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 | 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: 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 | Conference Paper | IST-REx-ID: 4515
Henzinger TA. It’s about time: Real-time logics reviewed. In: Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:439-454. doi:10.1007/BFb0055640
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: Vol 1427. Springer; 1998:521-525. doi:10.1007/BFb0028774
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 1998;429(1):115-118. doi:10.1016/S0014-5793(98)00573-0
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed