Lindholm, Dan, et al. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.”10.1111/j.1460-9568.1993.tb00213.x__European Journal of Neuroscience, vol. 5, no. 11, Wiley-Blackwell, 1993, pp. 1455–64, doi:10.1111/j.1460-9568.1993.tb00213.x.

Partridge, Linda, and Nicholas H. Barton. “Evolution of Aging: Testing the Theory Using Drosophila.”10.1007/BF01435990__Genetica, vol. 91, no. 1–3, Springer, 1993, pp. 89–98, doi:10.1007/BF01435990.

Partridge, Linda, and Nicholas H. Barton. “Optimality, Mutation and the Evolution of Ageing.”10.1038/362305a0__Nature, vol. 362, Nature Publishing Group, 1993, pp. 305–11, doi:10.1038/362305a0.

Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.”10.1007/3-540-57318-6_24__International Hybrid Systems Workshop, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.

Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.”10.1006/inco.1993.1025__Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:10.1006/inco.1993.1025.

Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.”10.1007/3-540-57318-6_30__Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.

Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.”10.1109/REAL.1993.393520 __1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .

Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.”10.1007/3-540-56922-7_16__5th International Conference on Computer Aided Verification, vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.

Alur, Rajeev, et al. “Parametric Real-Time Reasoning.”10.1145/167088.167242__Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.