DOI,IST REx ID,Title of publication
10.1098/rstb.1995.0090,3638,Genealogies and geography
10.1017/S0016672300033140,3639,A general model for the evolution of recombination
http://www.genetics.org/content/140/2/821.long,3640,Linkage and the limits to natural selection
10.1007/BF02574053,4028,The union of balls and its dual shape
10.1016/0167-8396(95)00016-Y,4029,An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
null,4034,Algebraic decomposition of non-convex polyhedra
10.1007/BF02574025,4035,Improved bounds on weak ε-nets for convex sets
null,4153,Hematopoietic mutants identified in a saturation screen of the zebrafish genome
10.1111/j.1558-5646.1995.tb02285.x,4296,Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature
10.1111/j.1558-5646.1995.tb05955.x,4297,"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico"
10.1111/j.1558-5646.1995.tb04431.x,4298,"Appendix to ""A simulation study of multilocus clines"" by S J E Baird"
null,4428,Automatic analysis of hybrid systems
10.1007/3-540-60472-3_14,4447,HyTech: The Cornell Hybrid Technology Tool
10.1007/3-540-60472-3_13,4448,A note on abstract-interpretation strategies for hybrid automata
10.1007/3-540-60045-0_53,4450,Algorithmic analysis of nonlinear hybrid systems
10.1007/3-540-60630-0_3,4497,A user guide to HyTech
10.1109/SFCS.1995.492576,4498,Computing simulations on finite and infinite graphs
10.1109/REAL.1995.495196 ,4499,HyTech: The next generation
10.1007/3-540-60084-1_93,4500,The expressive power of clocks
10.1145/225058.225162,4502,What's decidable about hybrid automata?