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.
6978 Publications
1993 |Published| Conference Paper | IST-REx-ID: 4618
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
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4616
Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification of embedded systems. In 1993 Proceedings Real-Time Systems Symposium (pp. 2–11). Raleigh, NC, United States of America: IEEE. https://doi.org/10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4620
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
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4619
Alur, R., Henzinger, T. A., & Vardi, M. (1993). Parametric real-time reasoning. In Proceedings of the 25th annual ACM symposium on Theory of Computing (pp. 592–601). San Diego, CA, United States of America: ACM. https://doi.org/10.1145/167088.167242
View
| DOI
| Download None (ext.)
1992 |Published| Journal Article | IST-REx-ID: 1945
Sazanov, L. A., & Zaǐtsev, S. (1992). Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). Izdatel’stvo Nauka.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2486
Shigemoto, R., Nakanishi, S., & Mizuno, N. (1992). Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903220110
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2485
Hori, S., Komatsu, Y., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. The Endocrine Society. https://doi.org/10.1210/endo.130.4.1312429
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2484
Tanabe, Y., Masu, M., Ishii, T., Shigemoto, R., & Nakanishi, S. (1992). A family of metabotropic glutamate receptors. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(92)90118-W
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2533 | 
Abe, T., Sugihara, H., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/S0021-9258(18)42219-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2535 |
Sasai, Y., Kageyama, R., Tagawa, Y., Shigemoto, R., & Nakanishi, S. (1992). Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.6.12b.2620
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2532
Nishioka, T., Oda, Y., Seino, Y., Yamamoto, T., Inagaki, N., Yano, H., … Kikuchi, H. (1992). Distribution of the glucose transporters in human brain tumors. Cancer Research. American Association for Cancer Research.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2534
Ishihara, T., Shigemoto, R., Mori, K., Takahashi, K., & Nagata, S. (1992). Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(92)90101-I
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2531
Shigemoto, R., Ohishi, H., Nakanishi, S., & Mizuno, N. (1992). Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(92)90756-W
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2714
Erdös, L. (1992). On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica. Springer. https://doi.org/10.1007/BF00052086
View
| DOI
| Download None (ext.)
1992 |Published| Journal Article | IST-REx-ID: 2722 |
Erdös, L., & Tuyen, D. (1992). Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/BF02099260
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 |Published| Journal Article | IST-REx-ID: 3470 |
Jonas, P. M., & Sakmann, B. (1992). Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1992.sp019294
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 3471 |
Colquhoun, D., Jonas, P. M., & Sakmann, B. (1992). Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1992.sp019417
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 3472
Koh, D., Jonas, P. M., Bräu, M., & Vogel, W. (1992). A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology. Springer. https://doi.org/10.1007/BF00231893
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 4053
Aronov, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1992). The number of edges of many faces in a line segment arrangement. Combinatorica. Springer. https://doi.org/10.1007/BF01285815
View
| DOI
| Download None (ext.)
1992 |Published| Journal Article | IST-REx-ID: 4050
Edelsbrunner, H. (1992). Guest editor’s foreword. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02293046
View
| DOI
| Download None (ext.)