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 | Published | Journal Article | IST-REx-ID: 3644
N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1. Cambridge University Press, pp. 57–74, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4036
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments and related problems,” SIAM Journal on Computing, vol. 22, no. 6. SIAM, pp. 1286–1302, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4040
H. Edelsbrunner and T. Tan, “An upper bound for conforming Delaunay triangulations,” Discrete & Computational Geometry, vol. 10, no. 1. Springer, pp. 197–213, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4041
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” SIAM Journal on Computing, vol. 22, no. 2. SIAM, pp. 418–429, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4042
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.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4044
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.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4045
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.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4175
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.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 4177 | 
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.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 4299
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.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 4300
L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362. Nature Publishing Group, pp. 305–311, 1993.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View
| DOI
| Download None (ext.)
1993 | Published | Book Review | IST-REx-ID: 4302
N. H. Barton, “Review of "The causes of molecular evolution" by J.H. Gillespie,” Genetical Research, vol. 62, no. 1. Cambridge University Press, pp. 77–85, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 |
N. H. Barton, “The probability of fixation of a favoured allele in a subdivided population,” Genetics Research, vol. 62, no. 2. Cambridge University Press, pp. 149–158, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
N. H. Barton, “Why species and subspecies?,” Current Biology, vol. 3, no. 11. Cell Press, pp. 797–799, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4506
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.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4589 |
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4616
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.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
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.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
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.
View
| DOI
| Download None (ext.)