ISTA Research Explorer

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

Search / Filter

1993 | Published | Journal Article | IST-REx-ID: 4177 |

Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.

View | DOI | Download None (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 4299

Evolution of aging: Testing the theory using Drosophila
L. Partridge, N.H. Barton, Genetica 91 (1993) 89–98.

View | DOI | Download None (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 4300

Optimality, mutation and the evolution of ageing
L. Partridge, N.H. Barton, Nature 362 (1993) 305–311.

View | DOI | Download None (ext.) | PubMed | Europe PMC

1993 | Published | Book Chapter | IST-REx-ID: 4301

Genetic analysis of hybrid zones
N.H. Barton, K. Gale, in:, R. Harrison (Ed.), Hybrid Zones and the Evolutionary Process, Oxford University Press, 1993, pp. 13–45.

View | DOI | Download None (ext.)

1993 | Published | Book Review | IST-REx-ID: 4302

Review of "The causes of molecular evolution" by J.H. Gillespie
N.H. Barton, Genetical Research 62 (1993) 77–85.

View | DOI | Download None (ext.)

1993 | Published | Journal Article | IST-REx-ID: 4303 |

The probability of fixation of a favoured allele in a subdivided population
N.H. Barton, Genetics Research 62 (1993) 149–158.

View | DOI | Download None (ext.)

1993 | Published | Journal Article | IST-REx-ID: 4304

Why species and subspecies?
N.H. Barton, Current Biology 3 (1993) 797–799.

View | DOI | Download None (ext.)

1993 | Published | Conference Paper | IST-REx-ID: 4506

Towards refining temporal specifications into hybrid systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.

View | DOI | Download None (ext.)

1993 | Published | Journal Article | IST-REx-ID: 4589 |

Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.

[Published Version] View | DOI | Download Published Version (ext.)

1993 | Published | Conference Paper | IST-REx-ID: 4616

Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.

View | DOI | Download None (ext.)

1993 | Published | Conference Paper | IST-REx-ID: 4618

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.

View | DOI | Download None (ext.)

1993 | Published | Conference Paper | IST-REx-ID: 4619

Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.

View | DOI | Download None (ext.)

1993 | Published | Conference Paper | IST-REx-ID: 4620

Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.

View | DOI | Download None (ext.)

1993 | Published | Journal Article | IST-REx-ID: 2487

Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 335 (1993) 252–266.

View | DOI | Download None (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 2536 |

Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 2537 |

Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 2538 |

Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 2539 |

Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits
T. Ishii, K. Moriyoshi, H. Sugihara, K. Sakurada, H. Kadotani, M. Yokoi, C. Akazawa, R. Shigemoto, N. Mizuno, M. Masu, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 2836–2843.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 2540

Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 53 (1993) 1009–1018.

View | DOI | Download None (ext.) | PubMed | Europe PMC

1993 | Published | Journal Article | IST-REx-ID: 2541

Immunocytochemical localization of rat substance P receptor in the striatum
R. Shigemoto, Y. Nakaya, S. Nomura, R. Ogawa Meguro, H. Ohishi, T. Kaneko, S. Nakanishi, N. Mizuno, Neuroscience Letters 153 (1993) 157–160.

View | DOI | Download None (ext.) | PubMed | Europe PMC