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
T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” Information and Computation, vol. 112, no. 2. Elsevier, pp. 273–337, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, vol. 111, no. 2. Elsevier, pp. 193–244, 1994.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
R. Alur and T. A. Henzinger, “Finitary fairness,” presented at the LICS: Logic in Computer Science, 1994, pp. 52–61.
View | DOI
 

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

1994 | Journal Article | IST-REx-ID: 4591
R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the ACM, vol. 41, no. 1. ACM, pp. 181–204, 1994.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” presented at the CONCUR: Concurrency Theory, 1994, vol. 836, pp. 162–177.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” presented at the CAV: Computer Aided Verification, 1994, vol. 818, pp. 1–13.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
R. Alur et al., “The algorithmic analysis of hybrid systems,” presented at the ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, 1994, vol. 199, pp. 331–351.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
L. A. Sazanov and J. Jackson, “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, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “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, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental Genetics, vol. 15, no. 3. Wiley, pp. 240–250, 1994.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex,” Neuroscience, vol. 60, no. 1. Elsevier, pp. 199–211, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Y. Sugimoto et al., “Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system,” Neuroscience, vol. 62, no. 3. Elsevier, pp. 919–928, 1994.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto, “Molecular diversity of glutamate receptors and their physiological functions,” Experientia Supplementum, vol. 71. Birkhäuser, pp. 71–80, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Y. Sugimoto, T. Hamba, R. Shigemoto, M. Negishi, A. Ichikawa, and S. Narumiya, “Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney,” American Journal of Physiology, vol. 266, no. 5 part 2. American Physiological Society, pp. F823–F828, 1994.
View
 

1994 | Conference Paper | IST-REx-ID: 2548
T. Hirano, K. Kasono, R. Shigemoto, and S. Nakanishi, “Induction mechanism of long term depression in cultured Purkinje neurons,” presented at the Unknown (0388-6107), 1994, vol. 15, no. SUPPL. 1, pp. 79–81.
View
 

1994 | Journal Article | IST-REx-ID: 2549
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat,” Journal of Comparative Neurology, vol. 347, no. 2. Wiley-Blackwell, pp. 249–274, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2550
N. Okamoto et al., “Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 1231–1236, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 2551
C. Akazawa et al., “Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina,” Neuroscience Letters, vol. 171, no. 1–2. Elsevier, pp. 52–54, 1994.
View | DOI
 

Search

Filter Publications