Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9789 Publications
1994 | Published | Journal Article | IST-REx-ID: 2549
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat,” Journal of Comparative Neurology, vol. 347, no. 2. Wiley-Blackwell, pp. 249–274, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2550 | 
N. Okamoto et al., “Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 1231–1236, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2551
C. Akazawa et al., “Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina,” Neuroscience Letters, vol. 171, no. 1–2. Elsevier, pp. 52–54, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2552
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2. Elsevier, pp. 135–138, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2553
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, and S. Narumiya, “Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney,” American Journal of Physiology, vol. 266, no. 5. American Physiological Society, pp. F823–F828, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2554
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, and S. Nakanishi, “Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells,” Cell, vol. 77, no. 3. Cell Press, pp. 361–369, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2555
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, and T. Hirano, “Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells,” Neuron, vol. 12, no. 6. Elsevier, pp. 1245–1255, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2557
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex,” Neuron, vol. 13, no. 1. Elsevier, pp. 55–66, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 2713
L. Erdös, “Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator,” Duke Mathematical Journal, vol. 76, no. 2. Duke University Press, pp. 541–566, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4032
T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete & Computational Geometry, vol. 12, no. 1. Springer, pp. 281–289, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4033
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M. Sharir, “Selecting heavily covered points,” SIAM Journal on Computing, vol. 23, no. 6. SIAM, pp. 1138–1151, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4037 |
H. Edelsbrunner and E. Mücke, “Three-dimensional alpha shapes,” ACM Transactions on Graphics, vol. 13, no. 1. ACM, pp. 43–72, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4038
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Algorithms for bichromatic line-segment problems and polyhedral terrains,” Algorithmica, vol. 11, no. 2. Springer, pp. 116–132, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4039
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” Algorithmica, vol. 12, no. 1. Springer, pp. 54–68, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4179 |
A. Leingärtner, C.-P. J. Heisenberg, R. Kolbeck, H. Thoenen, and D. Lindholm, “Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 828–830, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4202
C.-P. J. Heisenberg, J. Cooper, J. Berke, and M. Sofroniew, “NMDA potentiates NGF-induced sprouting of septal cholinergic fibres,” Neuroreport, vol. 5, no. 4. Lippincott, Williams & Wilkins, pp. 413–416, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Conference Paper | IST-REx-ID: 4420
A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Germany, 1994, vol. 863, pp. 431–454.
View
| DOI
| Download None (ext.)
1994 | Published | Conference Paper | IST-REx-ID: 4440
T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Gernany, 1994, vol. 863, pp. 351–372.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4501 |
T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” Information and Computation, vol. 112, no. 2. Elsevier, pp. 273–337, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4503
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, vol. 111, no. 2. Elsevier, pp. 193–244, 1994.
View
| DOI
| Download None (ext.)