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, Dan, Eero Castrén, Pantelis Tsoulfas, Roland Kolbeck, Maria Berzaghi, Axel Leingärtner, Carl-Philipp J Heisenberg, Lino Tesarollo, Luis Parada, and Hans Thoenen. “Neurotrophin-3 Induced by Tri-Iodothyronine in Cerebellar Granule Cells Promotes Purkinje Cell Differentiation.” Journal of Cell Biology. Rockefeller University Press, 1993. 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, Linda, and Nicholas H Barton. “Evolution of Aging: Testing the Theory Using Drosophila.” Genetica. Springer, 1993. https://doi.org/10.1007/BF01435990.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 4300
Partridge, Linda, and Nicholas H Barton. “Optimality, Mutation and the Evolution of Ageing.” Nature. Nature Publishing Group, 1993. https://doi.org/10.1038/362305a0.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 4301
Barton, Nicholas H, and Katherine Gale. “Genetic Analysis of Hybrid Zones.” In Hybrid Zones and the Evolutionary Process, edited by Richard Harrison, 13–45. Oxford University Press, 1993. 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, Nicholas H. “Review of "The Causes of Molecular Evolution" by J.H. Gillespie.” Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S001667230003158X .
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 |
Barton, Nicholas H. “The Probability of Fixation of a Favoured Allele in a Subdivided Population.” Genetics Research. Cambridge University Press, 1993. https://doi.org/10.1017/S0016672300031748.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
Barton, Nicholas H. “Why Species and Subspecies?” Current Biology. Cell Press, 1993. https://doi.org/10.1016/0960-9822(93)90036-N.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4506
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.” In International Hybrid Systems Workshop, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_24.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4589 |
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation. Elsevier, 1993. 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, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.” In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 1947
Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 1993. 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, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical Society Transactions. Portland Press, 1993. https://doi.org/10.1042/bst021260s.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1950
Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions. Portland Press, 1993. https://doi.org/10.1042/bst0211010.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Published | Journal Article | IST-REx-ID: 2484
Tanabe, Yasuto, Masayuki Masu, Takahiro Ishii, Ryuichi Shigemoto, and Shigetada Nakanishi. “A Family of Metabotropic Glutamate Receptors.” Neuron. Elsevier, 1992. 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, Seiji, Yasato Komatsu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Distinct Tissue Distribution and Cellular Localization of Two Messenger Ribonucleic Acids Encoding Different Subtypes of Rat Endothelin Receptors.” Endocrinology. The Endocrine Society, 1992. 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, Ryuichi, Shigetada Nakanishi, and Noboru 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. Wiley-Blackwell, 1992. 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, Ryuichi, Hitoshi Ohishi, Shigetada Nakanishi, and Noboru Mizuno. “Expression of the MRNA for the Rat NMDA Receptor (NMDAR1) in the Sensory and Autonomic Ganglion Neurons.” Neuroscience Letters. Elsevier, 1992. https://doi.org/10.1016/0304-3940(92)90756-W.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC