_id,doi,title
4147,10.1080/00364827.2000.10414567,"A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)"
4197,10.1038/35011068,Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
4268,10.1038/35035173,Evolving evolvability
4269,10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2,"Is Wright’s shifting balance process important in evolution?"
4270,10.1093/genetics/155.2.981,Detecting bottlenecks and selective sweeps from DNA sequence polymorphism
4271,10.1017/S0016672399004334,The effects of epistasis on the structure of hybrid zones
4272,10.1006/tpbi.2000.1455,The stability of symmetrical solutions to polygenic models
4273,10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M,Limits to natural selection
4274,10.1098/rstb.2000.0716,Genetic hitchhiking
4275,10.1016/B0-12-226865-2/00070-5,Differentiation
4276,10.1017/S0016672300239220,Population genetics of multiple loci
4433,10.1007/3-540-46419-0_21,Fair bisimulation
4434,10.1007/3-540-46430-1_15,Robust undecidability of timed and hybrid systems
4435,10.1007/3-540-46419-0_11,Symbolic model checking for rectangular hybrid systems
4439,10.1007/3-540-46541-3_2,A classification of symbolic transition systems
4481,10.1007/3-540-46430-1_14,Beyond HyTech: Hybrid systems analysis using interval numerical methods
4482,10.1007/978-3-540-45099-3_12,Abstract interpretation of game properties
4483,10.1109/ICCAD.2000.896481,Decomposing refinement proofs using assume-guarantee reasoning
4512,10.1007/3-540-44929-9_38,Masaccio: A formal model for embedded components
4513,10.1007/978-3-642-59615-5,The theory of hybrid automata