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.
8923 Publications
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.)
1993 |
Published |
Journal Article |
IST-REx-ID: 2487
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “ Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study,” Journal of Comparative Neurology, vol. 335, no. 2. Wiley-Blackwell, pp. 252–266, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2536 |
Y. Nakajima et al., “Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate,” Journal of Biological Chemistry, vol. 268, no. 16. American Society for Biochemistry and Molecular Biology, pp. 11868–11873, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2537 |
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4,” Journal of Neuroscience, vol. 13, no. 4. Society for Neuroscience, pp. 1372–1378, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2538 |
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, and S. Nakanishi, “Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization,” Biology of Reproduction, vol. 49, no. 4. Society for the Study of Reproduction, pp. 675–680, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2539 |
T. Ishii et al., “Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits,” Journal of Biological Chemistry, vol. 268, no. 4. American Society for Biochemistry and Molecular Biology, pp. 2836–2843, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2540
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat,” Neuroscience, vol. 53, no. 4. Elsevier, pp. 1009–1018, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2541
R. Shigemoto et al., “Immunocytochemical localization of rat substance P receptor in the striatum,” Neuroscience Letters, vol. 153, no. 2. Elsevier, pp. 157–160, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2542
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain,” Neuroscience Letters, vol. 163, no. 1. Elsevier, pp. 53–57, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2543
H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, and S. Nagata, “ Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide,” Neuron, vol. 11, no. 2. Elsevier, pp. 333–342, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2544
Y. Hayashi et al., “Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb,” Nature, vol. 366, no. 6456. Nature Publishing Group, pp. 687–690, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC