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.
8914 Publications
1993 | Published | Journal Article | IST-REx-ID: 4299
L. Partridge and N. H. Barton, “Evolution of aging: Testing the theory using Drosophila,” Genetica, vol. 91, no. 1–3. Springer, pp. 89–98, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 4300
L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362. Nature Publishing Group, pp. 305–311, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View
| DOI
| Download None (ext.)
1993 | Published | Book Review | IST-REx-ID: 4302
N. H. Barton, “Review of "The causes of molecular evolution" by J.H. Gillespie,” Genetical Research, vol. 62, no. 1. Cambridge University Press, pp. 77–85, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 | 
N. H. Barton, “The probability of fixation of a favoured allele in a subdivided population,” Genetics Research, vol. 62, no. 2. Cambridge University Press, pp. 149–158, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
N. H. Barton, “Why species and subspecies?,” Current Biology, vol. 3, no. 11. Cell Press, pp. 797–799, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4589 |
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4616
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” in 1993 Proceedings Real-Time Systems Symposium, Raleigh, NC, United States of America, 1993, pp. 2–11.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, 1993, vol. 736, pp. 209–229.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” in Proceedings of the 25th annual ACM symposium on Theory of Computing, San Diego, CA, United States of America, 1993, pp. 592–601.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” in 5th International Conference on Computer Aided Verification, Elounda, Greece, 1993, vol. 697, pp. 181–193.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 1947
L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial transhydrogenase by metal ions,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2. Elsevier, pp. 225–228, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1948
L. A. Sazanov and J. Jackson, “Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria ,” Biochemical Society Transactions, vol. 21, no. 3. Portland Press, p. 260, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1950
J. Jackson et al., “Proton-translocating transhydrogenase in bacteria,” Biochemical Society Transactions, vol. 21, no. 4. Portland Press, pp. 1010–1013, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 2484
Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, and S. Nakanishi, “A family of metabotropic glutamate receptors,” Neuron, vol. 8, no. 1. Elsevier, pp. 169–179, 1992.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 2485
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors,” Endocrinology, vol. 130, no. 4. The Endocrine Society, pp. 1885–1895, 1992.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 2486
R. Shigemoto, S. Nakanishi, and N. Mizuno, “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, vol. 322, no. 1. Wiley-Blackwell, pp. 121–135, 1992.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 2531
R. Shigemoto, H. Ohishi, S. Nakanishi, and N. Mizuno, “Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons,” Neuroscience Letters, vol. 144, no. 1–2. Elsevier, pp. 229–232, 1992.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 2532
T. Nishioka et al., “Distribution of the glucose transporters in human brain tumors,” Cancer Research, vol. 52, no. 14. American Association for Cancer Research, pp. 3972–3979, 1992.
View
| Download None (ext.)
| PubMed | Europe PMC