Barton, Nicholas H., and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’”10.1017/S0016672300031098 __Genetical Research, vol. 61, no. 1, Cambridge University Press, 1993, pp. 57–74, doi:10.1017/S0016672300031098 .
LibreCat: https://research-explorer.ista.ac.at/record/3644
DOI: 10.1017/S0016672300031098 

Bern, Marshall, et al. “Edge Insertion for Optimal Triangulations.”10.1007/BF02573962__Discrete &; Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 47–65, doi:10.1007/BF02573962.
LibreCat: https://research-explorer.ista.ac.at/record/4044
DOI: 10.1007/BF02573962

Chazelle, Bernard, et al. “Diameter, Width, Closest Line Pair, and Parametric Searching.”10.1007/BF02573973__Discrete &; Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 183–96, doi:10.1007/BF02573973.
LibreCat: https://research-explorer.ista.ac.at/record/4045
DOI: 10.1007/BF02573973

Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.”10.1137/0222036 __SIAM Journal on Computing, vol. 22, no. 3, SIAM, 1993, pp. 527–51, doi:10.1137/0222036 .
LibreCat: https://research-explorer.ista.ac.at/record/4042
DOI: 10.1137/0222036 

Lindholm, Dan, et al. “Neurotrophin-3 Induced by Tri-Iodothyronine in Cerebellar Granule Cells Promotes Purkinje Cell Differentiation.”10.1083/jcb.122.2.443__Journal of Cell Biology, vol. 122, no. 2, Rockefeller University Press, 1993, pp. 443–50, doi:10.1083/jcb.122.2.443.
LibreCat: https://research-explorer.ista.ac.at/record/4177
DOI: 10.1083/jcb.122.2.443
PMID: 8320266

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.
LibreCat: https://research-explorer.ista.ac.at/record/4175
DOI: 10.1111/j.1460-9568.1993.tb00213.x
PMID: 7904521 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4299
DOI: 10.1007/BF01435990
PMID: 8125281 

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.
LibreCat: https://research-explorer.ista.ac.at/record/4300
DOI: 10.1038/362305a0
PMID: 8455716

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.
LibreCat: https://research-explorer.ista.ac.at/record/4506
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.
LibreCat: https://research-explorer.ista.ac.at/record/4589
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.
LibreCat: https://research-explorer.ista.ac.at/record/4618
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 .
LibreCat: https://research-explorer.ista.ac.at/record/4616
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.
LibreCat: https://research-explorer.ista.ac.at/record/4620
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.
LibreCat: https://research-explorer.ista.ac.at/record/4619
DOI: 10.1145/167088.167242