Henzinger, M. H. (1994). Fully dynamic cycle-equivalence in graphs. In 35th Annual Symposium on Foundations of Computer Science (pp. 744–755). Santa Fe, NM, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/sfcs.1994.365718 

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 

Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., &; Za0tsev, 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 

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 

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 

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 e in the mouse nervous system. Neuroscience. Elsevier.https://doi.org/10.1016/0306-4522(94)90483-9 

Nakanishi, S., Masu, M., Bessho, Y., Nakajima, Y., Hayashi, Y., &; Shigemoto, R. (1994). Molecular diversity of glutamate receptors and their physiological functions. In Experientia Supplementum (Vol. 71, pp. 71–80). Birkhäuser.https://doi.org/10.1007/978-3-0348-7330-7_8 

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 

Okamoto, N., Hori, S., Akazawa, C., Hayashi, Y., Shigemoto, R., Mizuno, N., &; Nakanishi, S. (1994). Molecular characterization of a new metabotropic glutamate receptor mGlu coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1016/S0021-9258(17)42247-2 

Sugimoto, Y., Namba, 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.https://doi.org/10.1152/ajprenal.1994.266.5.F823 

Ogawa Meguro, R., Shigemoto, R., Itoh, K., Konishi, A., &; Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. Elsevier.https://doi.org/10.1016/0304-3940(94)90469-3 

Akazawa, C., Ohishi, H., Nakajima, Y., Okamoto, N., Shigemoto, R., Nakanishi, S., &; Mizuno, N. (1994). Expression of mRNAs of l-A-sensitive metabotropic glutamate receptors (mGlu, mGlu, mGlu) in the rat retina. Neuroscience Letters. Elsevier.https://doi.org/10.1016/0304-3940(94)90602-5 

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.

Shigemoto, R., Abe, T., Nomura, S., Nakanishi, S., &; Hirano, T. (1994). Antibodies inactivating mGlu metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(94)90441-3 

Nomura, A., Shigemoto, R., Nakamura, Y., Okamoto, N., Mizuno, N., &; Nakanishi, S. (1994). Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. Cell Press.https://doi.org/10.1016/0092-8674(94)90151-1 

Ohishi, H., Ogawa Meguro, R., Shigemoto, R., Kaneko, T., Nakanishi, S., &; Mizuno, N. (1994). Immunohistochemical localization of metabotropic glutamate receptors, mGlu and mGlu, in rat cerebellar cortex. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(94)90459-6 

Erdös, L. (1994). Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/S0012-7094-94-07619-9 

Jonas, P. M., &; Spruston, N. (1994). Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. Elsevier.https://doi.org/10.1016/0959-4388(94)90098-1 

Major, G., Larkman, A., Jonas, P. M., Sakmann, B., &; Jack, J. (1994). Detailed passive cable models of whole-cell recorded C pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994 

Koh, D., Jonas, P. M., &; Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.1994.sp020287 

Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., &; Monyer, H. (1994). Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(94)90444-8 

Edelsbrunner, H. (1994). Modeling with simplicial complexes (topology, geometry and algorithms). In Proceedings of the 6th Canadian Conference on Computational Geometry (pp. 36–44). Saskatoon, Canada.

Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., &; Snoeyink, J. (1994). Ray shooting in polygons using geodesic triangulations. Algorithmica. Springer.https://doi.org/10.1007/BF01377183 

Chazelle, B., Edelsbrunner, H., Guibas, L., &; Sharir, M. (1994). Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. Springer.https://doi.org/10.1007/BF01182771 

Edelsbrunner, H., &; Mücke, E. (1994). Three-dimensional alpha shapes. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/174462.156635 

Von Kitzing, E., Jonas, P. M., &; Sakmann, B. (1994). Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-C pyramidal cell synapse. Molecular and Cellular Mechanisms of Neurotransmitter Release. Raven Press.https://doi.org/10.1016/0166-2236(95)90088-8 

Turelli, M., &; Barton, N. H. (1994). Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. Genetics Society of America.https://doi.org/10.1093/genetics/138.3.913 

Barton, N. H. (1994). The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672300032857  

Chazelle, B., Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., &; Sharir, M. (1994). Selecting heavily covered points. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/S0097539790179919  

Dey, T., &; Edelsbrunner, H. (1994). Counting triangle crossings and halving planes. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/BF02574381 

Leingärtner, A., Heisenberg, C.-P. J., Kolbeck, R., Thoenen, H., &; Lindholm, D. (1994). Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1016/s0021-9258(17)42186-7 

Heisenberg, C.-P. J., Cooper, J., Berke, J., &; Sofroniew, M. (1994). NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. Lippincott, Williams &; Wilkins.https://doi.org/10.1097/00001756-199401120-00010  

Kapur, A., Henzinger, T. A., Manna, Z., &; Pnueli, A. (1994). Proving safety properties of hybrid systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 431–454). Lübeck, Germany: Springer.https://doi.org/10.1007/3-540-58468-4_177 

Henzinger, T. A., &; Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer.https://doi.org/10.1007/3-540-58468-4_173 

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 

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 

Alur, R., &; Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE.https://doi.org/10.1109/LICS.1994.316087  

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.https://doi.org/10.1142/9789812831583_0001 

Alur, R., &; Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM.https://doi.org/10.1145/174644.174651 

Alur, R., Courcoubetis, C., &; Henzinger, T. A. (1994). The observational power of clocks. In 5th International Conference on Concurrency Theory (Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/BFb0015008 

Alur, R., Fix, L., &; Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer.https://doi.org/10.1007/3-540-58179-0_39 

Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A.,https://doi.org/10.1007/BFb0033565__Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer.https://doi.org/10.1007/BFb0033565 

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