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.

25 Publications


1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, S., Sazanov, L. A., Koshkin, A., Sud’Ina, G., & Varfolomeev, S. (1991). Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters, 291(1), 84–86. https://doi.org/10.1016/0014-5793(91)81109-L
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., & Nakanishi, S. (1991). Sequence and expression of a metabotropic glutamate receptor. Nature, 349(6312), 760–765. https://doi.org/10.1038/349760a0
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, K., Masu, M., Ishii, T., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1991). Molecular cloning and characterization of the rat NMDA receptor. Nature, 353(6348), 31–37. https://doi.org/10.1038/354031a0
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2529
Yasui, Y., Itoh, K., Kaneko, T., Shigemoto, R., & Mizuno, N. (1991). Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental Brain Research, 85(1), 75–84. https://doi.org/10.1007/BF00229988
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2530
Nakanishi, S., Ohkubo, H., Kakizuka, A., Yokota, Y., Shigemoto, R., Sasai, Y., & Takumi, T. (1991). Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. Recent Progress in Hormone Research, 46(1), 59–83.
View
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, T. A., Manna, Z., & Pnueli, A. (1991). Temporal proof methodologies for real-time systems (pp. 353–366). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/99583.99629
View | DOI | Download (ext.)
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, T. A. (1991). The Temporal Specification and Verification of Real-time Systems . Stanford University.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News, 22(3), 6–12.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, R., Feder, T., & Henzinger, T. A. (1991). The benefits of relaxing punctuality (pp. 139–152). Presented at the PODC: Principles of Distributed Computing, ACM.
View
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas, P. M., Koh, D., Kampe, K., Hermsteiner, M., & Vogel, W. (1991). ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflugers Archiv : European Journal of Physiology, 418(1–2), 68–73. https://doi.org/10.1007/BF00370453
View | DOI
 

Filters and Search Terms

year=1991

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed