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.

7224 Publications


1994 | Journal Article | IST-REx-ID: 4501
Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1060
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1045
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, R., & Henzinger, T. A. (1994). Finitary fairness (pp. 52–61). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1994.316087
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur, R., & Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus & C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur, R., & Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/174644.174651
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1994). The observational power of clocks (Vol. 836, pp. 162–177). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0015008
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, R., Fix, L., & Henzinger, T. A. (1994). A determinizable class of timed automata (Vol. 818, pp. 1–13). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-58179-0_39
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems (Vol. 199, pp. 331–351). Presented at the ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, Springer. https://doi.org/10.1007/BFb0033565
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
Sazanov, L. A., & Jackson, J. (1994). Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)00370-X
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., & Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)01109-5
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower, D., de Bono, M., Aronoff, R., & Hodgkin, J. (1994). Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. Wiley. https://doi.org/10.1002/dvg.1020150306
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(94)90215-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa, C., Shigemoto, R., Bessho, Y., Nakanishi, S., & Mizuno, N. (1994). Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903470112
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto, Y., Shigemoto, R., Namba, T., Negishi, M., Mizuno, N., Narumiya, S., & Ichikawa, A. (1994). Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(94)90483-9
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Nakanishi, S., Masu, M., Bessho, Y., Nakajima, Y., Hayashi, Y., & Shigemoto, R. (1994). Molecular diversity of glutamate receptors and their physiological functions. Experientia Supplementum. Birkhäuser. https://doi.org/10.1007/978-3-0348-7330-7_8
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Sugimoto, Y., Hamba, T., Shigemoto, R., Negishi, M., Ichikawa, A., & Narumiya, S. (1994). Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. American Physiological Society.
View
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano, T., Kasono, K., Shigemoto, R., & Nakanishi, S. (1994). Induction mechanism of long term depression in cultured Purkinje neurons (Vol. 15, pp. 79–81). Presented at the Unknown (0388-6107), Biomedical Research Foundation.
View
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya, Y., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903470208
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2550
Okamoto, N., Hori, S., Akazawa, C., Hayashi, Y., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1994). Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.
View
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa, C., Ohishi, H., Nakajima, Y., Okamoto, N., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(94)90602-5
View | DOI
 

Search

Filter Publications