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.

52 Publications


1995 | Published | Journal Article | IST-REx-ID: 3636 | OA
Natural selection on quantitative traits in the Bombina hybrid zone
B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution 49 (1995) 1224–1238.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 3637
Experimental evidence for habitat dependent selection in a Bombina hybrid zone
C. Maccallum, B. Nürnberger, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 260 (1995) 257–264.
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 3638
Genealogies and geography
N.H. Barton, I. Wilson, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 349 (1995) 49–59.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 3639
A general model for the evolution of recombination
N.H. Barton, Genetical Research 65 (1995) 123–144.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 3640 | OA
Linkage and the limits to natural selection
N.H. Barton, Genetics 140 (1995) 821–841.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 4028 | OA
The union of balls and its dual shape
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 4029
An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4034
Algebraic decomposition of non-convex polyhedra
H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–257.
View | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 4035
Improved bounds on weak ε-nets for convex sets
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 13 (1995) 1–15.
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 4153
Hematopoietic mutants identified in a saturation screen of the zebrafish genome
D. Ransom, A. Brownlie, P. Haffter, J. Odenthal, R. Kelsh, M. Brand, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, F. Van Eden, R. Warga, C. Nüsslein Volhard, L. Zon, Blood 86 (1995) 1912–1912.
View
 

1995 | Published | Journal Article | IST-REx-ID: 4296 | OA
Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature
L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49 (1995) 538–544.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 4297 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 4298 | OA
Appendix to "A simulation study of multilocus clines" by S J E Baird
N.H. Barton, Evolution 49 (1995) 1038–1045.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Thesis | IST-REx-ID: 4428 | OA
Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
[Published Version] View | Download Published Version (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4447
HyTech: The Cornell Hybrid Technology Tool
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4448
A note on abstract-interpretation strategies for hybrid automata
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4450
Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4497
A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4498
Computing simulations on finite and infinite graphs
M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–462.
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 4499
HyTech: The next generation
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65.
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=1995

Search

Filter Publications

Display / Sort

Export / Embed