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.)
1993 | 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 | 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 | 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 | 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.)