Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.

Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.

Finitary fairness
R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.

Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.

A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.

The observational power of clocks
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.

A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.

The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.

Fully dynamic cycle-equivalence in graphs
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.

Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.

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
L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.

Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism
A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Za0tsev, FEBS Letters 355 (1994) 114–116.

 Distribution of the mRNA for a metabotropic glutamate receptor (mGlu) in the rat brain: An in situ hybridization study
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 335 (1993) 252–266.

Molecular characterization of a novel retinal metabotropic glutamate receptor mGlu with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.

Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGlu and mGlu
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378.

Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.

Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits
T. Ishii, K. Moriyoshi, H. Sugihara, K. Sakurada, H. Kadotani, M. Yokoi, C. Akazawa, R. Shigemoto, N. Mizuno, M. Masu, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 2836–2843.

Distribution of the messenger RNA for a metabotropic glutamate receptor, mGlu, in the central nervous system of the rat
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 53 (1993) 1009–1018.

Immunocytochemical localization of rat substance P receptor in the striatum
R. Shigemoto, Y. Nakaya, S. Nomura, R. Ogawa Meguro, H. Ohishi, T. Kaneko, S. Nakanishi, N. Mizuno, Neuroscience Letters 153 (1993) 157–160.

Immunohistochemical localization of a metabotropic glutamate receptor, mGlu, in the rat brain
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, N. Mizuno, Neuroscience Letters 163 (1993) 53–57.