Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”10.1007/3-540-58468-4_173__3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.

Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.”10.1006/inco.1994.1060__Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.

Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.”10.1006/inco.1994.1045__Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.

Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.”10.1109/LICS.1994.316087 __Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .

Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.”10.1142/9789812831583_0001__Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29, doi:10.1142/9789812831583_0001.

Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.”10.1145/174644.174651__Journal of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.

Alur, Rajeev, et al. “The Observational Power of Clocks.”10.1007/BFb0015008__5th International Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.

Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.”10.1007/3-540-58179-0_39__International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.

Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1007/BFb0033565__11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.

Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.”10.1002/dvg.1020150306__Developmental Genetics, vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:10.1002/dvg.1020150306.

Sazanov, Leonid A., and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.”10.1016/0005-2728(93)90177-H__Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2, Elsevier, 1993, pp. 225–28, doi:10.1016/0005-2728(93)90177-H.

Sazanov, Leonid A., and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .”10.1042/bst021260s__Biochemical Society Transactions, vol. 21, no. 3, Portland Press, 1993, p. 260, doi:10.1042/bst021260s.

Jackson, Julie, et al. “Proton-Translocating Transhydrogenase in Bacteria.”10.1042/bst0211010__Biochemical Society Transactions, vol. 21, no. 4, Portland Press, 1993, pp. 1010–13, doi:10.1042/bst0211010.

Ohishi, Hitoshi, et al. “Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGlu) in the Rat Brain: An in Situ Hybridization Study.”10.1002/cne.903350209__Journal of Comparative Neurology, vol. 335, no. 2, Wiley-Blackwell, 1993, pp. 252–66, doi:10.1002/cne.903350209.

Nakajima, Yoshiaki, et al. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGlu with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.”10.1016/S0021-9258(19)50280-0__Journal of Biological Chemistry, vol. 268, no. 16, American Society for Biochemistry and Molecular Biology, 1993, pp. 11868–73, doi:10.1016/S0021-9258(19)50280-0.

Tanabe, Yasuto, et al. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGlu and MGlu.”10.1523/JNEUROSCI.13-04-01372.1993__Journal of Neuroscience, vol. 13, no. 4, Society for Neuroscience, 1993, pp. 1372–78, doi:10.1523/JNEUROSCI.13-04-01372.1993.

Ishii, Takahiro, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.”10.1016/s0021-9258(18)53849-7 __Journal of Biological Chemistry, vol. 268, no. 4, American Society for Biochemistry and Molecular Biology, 1993, pp. 2836–43, doi:10.1016/s0021-9258(18)53849-7 .

Ohishi, Hitoshi, et al. “Distribution of the Messenger RNA for a Metabotropic Glutamate Receptor, MGlu, in the Central Nervous System of the Rat.”10.1016/0306-4522(93)90485-X__Neuroscience, vol. 53, no. 4, Elsevier, 1993, pp. 1009–18, doi:10.1016/0306-4522(93)90485-X.

Iwai, Masazumi, et al. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.”10.1095/biolreprod49.4.675__Biology of Reproduction, vol. 49, no. 4, Society for the Study of Reproduction, 1993, pp. 675–80, doi:10.1095/biolreprod49.4.675.

Hayashi, Yasunori, et al. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.”10.1038/366687a0__Nature, vol. 366, no. 6456, Nature Publishing Group, 1993, pp. 687–90, doi:10.1038/366687a0.