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.

5497 Publications


1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. 1998. Concurrent reachability games. FOCS: Foundations of Computer Science 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. 1998. 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. 30(3), 219–225.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann K, Malitschek B, Schuler V, Heid J, Froestl W, Beck P, Mosbacher J, Bischoff S, Kulik Á, Shigemoto R, Karschin A, Bettler B. 1998. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 396(6712), 683–687.
View | DOI
 

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

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

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner H. 1998. Shape reconstruction with Delaunay complex. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 1380. 119–132.
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. CAV: Computer Aided Verification, LNCS, vol. 1427. 440–451.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. 1998. The regular real-time languages. ICALP: Automata, Languages and Programming, LNCS, vol. 1443. 580–591.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger TA. 1998. It’s about time: Real-time logics reviewed. CONCUR: Concurrency Theory, LNCS, vol. 1466. 439–454.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed