N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1. Cambridge University Press, pp. 57–74, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/3644
DOI: 10.1017/S0016672300031098 

M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” Discrete &; Computational Geometry, vol. 10, no. 1. Springer, pp. 47–65, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4044
DOI: 10.1007/BF02573962

B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete &; Computational Geometry, vol. 10, no. 1. Springer, pp. 183–196, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4045
DOI: 10.1007/BF02573973

H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” SIAM Journal on Computing, vol. 22, no. 3. SIAM, pp. 527–551, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4042
DOI: 10.1137/0222036 

D. Lindholm et al., “Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation,” Journal of Cell Biology, vol. 122, no. 2. Rockefeller University Press, pp. 443–450, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4177
DOI: 10.1083/jcb.122.2.443
PMID: 8320266

D. Lindholm, G. Dechant, C.-P. J. Heisenberg, and H. 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, vol. 5, no. 11. Wiley-Blackwell, pp. 1455–1464, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4175
DOI: 10.1111/j.1460-9568.1993.tb00213.x
PMID: 7904521 

L. Partridge and N. H. Barton, “Evolution of aging: Testing the theory using Drosophila,” Genetica, vol. 91, no. 1–3. Springer, pp. 89–98, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4299
DOI: 10.1007/BF01435990
PMID: 8125281 

L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362. Nature Publishing Group, pp. 305–311, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4300
DOI: 10.1038/362305a0
PMID: 8455716

T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.
LibreCat: https://research-explorer.ista.ac.at/record/4506
DOI: 10.1007/3-540-57318-6_24

R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.
LibreCat: https://research-explorer.ista.ac.at/record/4589
DOI: 10.1006/inco.1993.1025

R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, 1993, vol. 736, pp. 209–229.
LibreCat: https://research-explorer.ista.ac.at/record/4618
DOI: 10.1007/3-540-57318-6_30

R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” in 1993 Proceedings Real-Time Systems Symposium, Raleigh, NC, United States of America, 1993, pp. 2–11.
LibreCat: https://research-explorer.ista.ac.at/record/4616
DOI: 10.1109/REAL.1993.393520 

R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” in 5th International Conference on Computer Aided Verification, Elounda, Greece, 1993, vol. 697, pp. 181–193.
LibreCat: https://research-explorer.ista.ac.at/record/4620
DOI: 10.1007/3-540-56922-7_16

R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” in Proceedings of the 25th annual ACM symposium on Theory of Computing, San Diego, CA, United States of America, 1993, pp. 592–601.
LibreCat: https://research-explorer.ista.ac.at/record/4619
DOI: 10.1145/167088.167242