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.

5632 Publications

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993.
View | DOI

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning,” 592–601. ACM, 1993.
View | DOI

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, Leonid A, and Sergei Zaǐtsev. “Effect of Superlow Doses (10(-18)-10-(-14) M) of Biologically Active Substances: General Rules, Features, and Possible Mechanisms.” Biokhimiya 57, no. 10 (1992): 1443–60.

1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, Yoshifumi Oda, Yutaka Seino, Taizo Yamamoto, Nobuya Inagaki, Hideki Yano, Hiroo Imura, Ryuichi Shigemoto, and Haruhiko Kikuchi. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research 52, no. 14 (1992): 3972–79.

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, Ryuichi, Shigetada Nakanishi, and Noboru Mizuno. “Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR1) in the Central Nervous System: An in Situ Hybridization Study in Adult and Developing Rat.” Journal of Comparative Neurology 322, no. 1 (1992): 121–35.
View | DOI

1992 | Journal Article | IST-REx-ID: 2722
Erdös, László, and Dao Tuyen. “Central Limit Theorems for the One-Dimensional Rayleigh Gas with Semipermeable Barriers.” Communications in Mathematical Physics 143, no. 3 (1992): 451–66.
View | DOI

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, Peter M Jonas, Michael Bräu, and Werner Vogel. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology 130 (1992): 149–62.
View | DOI

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, Todd, Nicholas H Barton, and Jeremy Searle. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” Evolution; International Journal of Organic Evolution 46, no. 4 (1992): 1129–45.
View | Download (ext.)

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In Real Time: Theory in Practice, 600:226–51. Springer, 1992.
View | DOI

1992 | Journal Article | IST-REx-ID: 2533
Abe, Takaaki, Hidemitsu Sugihara, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Metabotropic Glutamate Receptor MGluR5 Coupled to Inositol Phosphate/Ca2+ Signal Transduction.” Journal of Biological Chemistry 267, no. 19 (1992): 13361–68.


Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed