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, et al. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 1993;122(2):443-450. doi: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 NH. Evolution of aging: Testing the theory using Drosophila. Genetica. 1993;91(1-3):89-98. doi:10.1007/BF01435990
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. Optimality, mutation and the evolution of ageing. Nature. 1993;362:305-311. doi:10.1038/362305a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. Genetic analysis of hybrid zones. In: Harrison R, ed. Hybrid Zones and the Evolutionary Process. Oxford University Press; 1993:13-45. doi:10.1046/j.1420-9101.1994.7050631.x
View
| DOI
| Download None (ext.)
1993 | Published | Book Review | IST-REx-ID: 4302
Barton NH. Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. 1993;62(1):77-85. doi:10.1017/S001667230003158X
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 |
Barton NH. The probability of fixation of a favoured allele in a subdivided population. Genetics Research. 1993;62(2):149-158. doi:10.1017/S0016672300031748
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
Barton NH. Why species and subspecies? Current Biology. 1993;3(11):797-799. doi:10.1016/0960-9822(93)90036-N
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. International Hybrid Systems Workshop. Vol 736. Springer; 1993:60-76. doi:10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4589 |
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: 1993 Proceedings Real-Time Systems Symposium. IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing. ACM; 1993:592-601. doi:10.1145/167088.167242
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: 5th International Conference on Computer Aided Verification. Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 1947
Sazanov LA, Jackson J. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1993;1144(2):225-228. doi:10.1016/0005-2728(93)90177-H
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1948
Sazanov LA, Jackson J. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 1993;21(3):260. doi:10.1042/bst021260s
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1950
Jackson J, Cotton NPJ, Williams R, et al. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 1993;21(4):1010-1013. doi: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. A family of metabotropic glutamate receptors. Neuron. 1992;8(1):169-179. doi: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. Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. 1992;130(4):1885-1895. doi: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. 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. 1992;322(1):121-135. doi: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. Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters. 1992;144(1-2):229-232. doi:10.1016/0304-3940(92)90756-W
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC