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| Journal Article | IST-REx-ID: 4175
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
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4299
Partridge, L., & Barton, N. H. (1993). Evolution of aging: Testing the theory using Drosophila. Genetica. Springer. https://doi.org/10.1007/BF01435990
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4300
Partridge, L., & Barton, N. H. (1993). Optimality, mutation and the evolution of ageing. Nature. Nature Publishing Group. https://doi.org/10.1038/362305a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Conference Paper | IST-REx-ID: 4506
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
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4589 | 
Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
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.)