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.
8915 Publications
1993 | Published | Journal Article | IST-REx-ID: 4177 | 
Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A., … Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.122.2.443
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 | Book Chapter | IST-REx-ID: 4301
Barton, N. H., & Gale, K. (1993). Genetic analysis of hybrid zones. In R. Harrison (Ed.), Hybrid zones and the evolutionary process (pp. 13–45). Oxford University Press. https://doi.org/10.1046/j.1420-9101.1994.7050631.x
View
| DOI
| Download None (ext.)
1993 | Published | Book Review | IST-REx-ID: 4302
Barton, N. H. (1993). Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S001667230003158X
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 |
Barton, N. H. (1993). The probability of fixation of a favoured allele in a subdivided population. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031748
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
Barton, N. H. (1993). Why species and subspecies? Current Biology. Cell Press. https://doi.org/10.1016/0960-9822(93)90036-N
View
| DOI
| Download None (ext.)
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: 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: 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: 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.)
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 | Journal Article | IST-REx-ID: 1947
Sazanov, L. A., & Jackson, J. (1993). Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(93)90177-H
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1948
Sazanov, L. A., & Jackson, J. (1993). Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst021260s
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1950
Jackson, J., Cotton, N. P. J., Williams, R., Bizouarn, T., Hutton, M., Sazanov, L. A., & Thomas, C. (1993). Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst0211010
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: 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: 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: 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