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.
8924 Publications
1993 |
Published |
Journal Article |
IST-REx-ID: 4177 |
Lindholm D, Castrén E, Tsoulfas P, Kolbeck R, Berzaghi M, Leingärtner A, Heisenberg C-PJ, Tesarollo L, Parada L, Thoenen H. 1993. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 122(2), 443–450.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 4299
Partridge L, Barton NH. 1993. Evolution of aging: Testing the theory using Drosophila. Genetica. 91(1–3), 89–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 4300
Partridge L, Barton NH. 1993. Optimality, mutation and the evolution of ageing. Nature. 362, 305–311.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Book Chapter |
IST-REx-ID: 4301
Barton NH, Gale K. 1993.Genetic analysis of hybrid zones. In: Hybrid zones and the evolutionary process. , 13–45.
View
| DOI
| Download None (ext.)
1993 |
Published |
Book Review |
IST-REx-ID: 4302
Barton NH. 1993. Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. 62(1), 77–85.
View
| DOI
| Download None (ext.)
1993 |
Published |
Journal Article |
IST-REx-ID: 4303 |
Barton NH. 1993. The probability of fixation of a favoured allele in a subdivided population. Genetics Research. 62(2), 149–158.
View
| DOI
| Download None (ext.)
1993 |
Published |
Journal Article |
IST-REx-ID: 4304
Barton NH. 1993. Why species and subspecies? Current Biology. 3(11), 797–799.
View
| DOI
| Download None (ext.)
1993 |
Published |
Conference Paper |
IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. International Hybrid Systems Workshop. International Hybrid Systems Workshop, LNCS, vol. 736, 60–76.
View
| DOI
| Download None (ext.)
1993 |
Published |
Journal Article |
IST-REx-ID: 4589 |
Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 |
Published |
Conference Paper |
IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. 1993 Proceedings Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 2–11.
View
| DOI
| Download None (ext.)
1993 |
Published |
Conference Paper |
IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.
View
| DOI
| Download None (ext.)
1993 |
Published |
Conference Paper |
IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the Theory of Computing, 592–601.
View
| DOI
| Download None (ext.)
1993 |
Published |
Conference Paper |
IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.
View
| DOI
| Download None (ext.)
1993 |
Published |
Journal Article |
IST-REx-ID: 2487
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. 1993. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 335(2), 252–266.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2536 |
Nakajima Y, Iwakabe H, Akazawa C, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1993. 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. 268(16), 11868–11873.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2537 |
Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. 1993. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. 13(4), 1372–1378.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2538 |
Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. 1993. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. 49(4), 675–680.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2539 |
Ishii T, Moriyoshi K, Sugihara H, Sakurada K, Kadotani H, Yokoi M, Akazawa C, Shigemoto R, Mizuno N, Masu M, Nakanishi S. 1993. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. 268(4), 2836–2843.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2540
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. 1993. Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat. Neuroscience. 53(4), 1009–1018.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2541
Shigemoto R, Nakaya Y, Nomura S, Ogawa Meguro R, Ohishi H, Kaneko T, Nakanishi S, Mizuno N. 1993. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 153(2), 157–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC