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


1993 | Journal Article | IST-REx-ID: 4589
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation 104, no. 1 (1993): 35–77. https://doi.org/10.1006/inco.1993.1025.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems,” 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics 1144, no. 2 (1993): 225–28. https://doi.org/10.1016/0005-2728(93)90177-H.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, Takahiro, Koki Moriyoshi, Hidemitsu Sugihara, Kazuhir Sakurada, Hiroshi Kadotani, Mineto Yokoi, Chihiro Akazawa, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” Journal of Biological Chemistry 268, no. 4 (1993): 2836–43.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, Ryuichi, Yoshifumi Nakaya, Sakashi Nomura, Reiko Ogawa Meguro, Hitoshi Ohishi, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.” Neuroscience Letters 153, no. 2 (1993): 157–60. https://doi.org/10.1016/0304-3940(93)90311-8.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed