Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 351–372.

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

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

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

Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables. In: Theories and Experiences for Real-Time System Development. AMAST Series in Computing, vol. 2, 1–29.

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

Alur R, Courcoubetis C, Henzinger TA. 1994. The observational power of clocks. 5th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 836, 162–177.

Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.

Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.

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. 15(3), 240–250.

Sazanov LA, Jackson J. 1993. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1144(2), 225–228.

Sazanov LA, Jackson J. 1993. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 21(3), 260.

Jackson J, Cotton NPJ, Williams R, Bizouarn T, Hutton M, Sazanov LA, Thomas C. 1993. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 21(4), 1010–1013.

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

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

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

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

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

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

Hayashi Y, Momiyama A, Takahashi T, Ohishi H, Ogawa Meguro R, Shigemoto R, Mizuno N, Nakanishi S. 1993. Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. 366(6456), 687–690.