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, T. A., & Kupferman, O. (1998). Concurrent reachability games (pp. 564–575). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/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. (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. https://doi.org/10.1016/S0168-0102(97)00132-6
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann, K., Malitschek, B., Schuler, V., Heid, J., Froestl, W., Beck, P., … Bettler, B. (1998). GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature, 396(6712), 683–687. https://doi.org/10.1038/25360
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. https://doi.org/10.1023/A:1006982023657
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. https://doi.org/10.1007/s004400050193
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, H. (1998). Shape reconstruction with Delaunay complex (Vol. 1380, pp. 119–132). Presented at the LATIN: Latin American Symposium on Theoretical Informatics , Springer. https://doi.org/10.1007/BFb0054315
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies (Vol. 1427, pp. 440–451). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/ 10.1007/BFb0028765
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages (Vol. 1443, pp. 580–591). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/BFb0055086
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed (Vol. 1466, pp. 439–454). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed