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.
44 Publications
1993 | Journal Article | IST-REx-ID: 4175
Lindholm, Dan, Georg Dechant, Carl-Philipp J Heisenberg, and Hans Thoenen. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.” European Journal of Neuroscience. Wiley-Blackwell, 1993. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | 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 | 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 | 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 | 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.)