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 

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 

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 

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 

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 

Shigemoto, R., Nakaya, Y., Nomura, S., Ogawa Meguro, R., Ohishi, H., Kaneko, T.,https://doi.org/10.1016/0304-3940(93)90311-8__Mizuno, N. (1993). Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. Elsevier.https://doi.org/10.1016/0304-3940(93)90311-8 

Jonas, P. M., Major, G., &; Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on C pyramidal cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.1993.sp019965 

Edelsbrunner, H., Seidel, R., &; Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/0222031 

Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76). Birkhäuser.https://doi.org/10.1007/978-3-0348-7327-7_4 

Chazelle, B., Edelsbrunner, H., Guibas, L., &; Sharir, M. (1993). Diameter, width, closest line pair, and parametric searching. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/BF02573973 

Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A.,https://doi.org/10.1083/jcb.122.2.443__Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.122.2.443 

Lindholm, D., Dechant, G., Heisenberg, C.-P. J., &; Thoenen, H. (1993). Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1111/j.1460-9568.1993.tb00213.x 

Henzinger, T. A., Manna, Z., &; Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, &; H. Rischel (Eds.), International Hybrid Systems Workshop (Vol. 736, pp. 60–76). Springer.https://doi.org/10.1007/3-540-57318-6_24 

Alur, R., Courcoubetis, C., Henzinger, T. A., &; Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, &; H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer.https://doi.org/10.1007/3-540-57318-6_30 

Alur, R., Courcoubetis, C., &; Henzinger, T. A. (1993). Computing accumulated delays in real-time systems. In 5th International Conference on Computer Aided Verification (Vol. 697, pp. 181–193). Elounda, Greece: Springer.https://doi.org/10.1007/3-540-56922-7_16 

Abe, T., Sugihara, H., Nawa, H., Shigemoto, R., Mizuno, N., &; Nakanishi, S. (1992). Molecular characterization of a novel metabotropic glutamate receptor mGlu coupled to inositol phosphate/C+ signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1016/S0021-9258(18)42219-3