Please note that ISTA 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.
7036 Publications
1994 |Published| Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” Information and Computation. Elsevier, 1994. https://doi.org/10.1006/inco.1994.1045.
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.” In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View
| DOI
| Download None (ext.)
1994 |Published| Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World Scientific Publishing, 1994. https://doi.org/10.1142/9789812831583_0001.
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM. ACM, 1994. https://doi.org/10.1145/174644.174651.
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks.” In 5th International Conference on Concurrency Theory, 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. https://doi.org/10.1007/BFb0015008.
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata.” In International Conference on Computer Aided Verification, 818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 6167
Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics. Wiley, 1994. https://doi.org/10.1002/dvg.1020150306.
View
| DOI
| PubMed | Europe PMC
1993 |Published| 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. Elsevier, 1993. https://doi.org/10.1016/0005-2728(93)90177-H.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 1948
Sazanov, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical Society Transactions. Portland Press, 1993. https://doi.org/10.1042/bst021260s.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 1950
Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions. Portland Press, 1993. https://doi.org/10.1042/bst0211010.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2487
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “ Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR3) in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1993. https://doi.org/10.1002/cne.903350209.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2536 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nakajima, Yoshiaki, Hideki Iwakabe, Chihiro Akazawa, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1993. https://doi.org/10.1016/S0021-9258(19)50280-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2537 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tanabe, Yasuto, Akinori Nomura, Masayuki Masu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” Journal of Neuroscience. Society for Neuroscience, 1993. https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2539 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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. American Society for Biochemistry and Molecular Biology, 1993. https://doi.org/10.1016/s0021-9258(18)53849-7 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2540
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Distribution of the Messenger RNA for a Metabotropic Glutamate Receptor, MGluR2, in the Central Nervous System of the Rat.” Neuroscience. Elsevier, 1993. https://doi.org/10.1016/0306-4522(93)90485-X.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2538 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Iwai, Masazumi, Seiji Hori, Ryuichi Shigemoto, Hideharu Kanzaki, Takahide Mori, and Shigetada Nakanishi. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.” Biology of Reproduction. Society for the Study of Reproduction, 1993. https://doi.org/10.1095/biolreprod49.4.675.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2544
Hayashi, Yasunori, Akiko Momiyama, Tomoyuki Takahashi, Hitoshi Ohishi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.” Nature. Nature Publishing Group, 1993. https://doi.org/10.1038/366687a0.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2543
Hashimoto, Hitoshi, Takeshi Ishihara, Ryuichi Shigemoto, Kensaku Mori, and Shigekazu Nagata. “ Molecular Cloning and Tissue Distribution of a Receptor for Pituitary Adenylate Cyclase-Activating Polypeptide.” Neuron. Elsevier, 1993. https://doi.org/10.1016/0896-6273(93)90188-W.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2542
Shigemoto, Ryuichi, Sakashi Nomura, Hitoshi Ohishi, Hidemitsu Sugihara, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR5, in the Rat Brain.” Neuroscience Letters. Elsevier, 1993. https://doi.org/10.1016/0304-3940(93)90227-C.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC