DOI,IST REx ID,Title of publication
10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2,4269,"Is Wright’s shifting balance process important in evolution?"
10.1093/genetics/155.2.981,4270,Detecting bottlenecks and selective sweeps from DNA sequence polymorphism
10.1017/S0016672399004334,4271,The effects of epistasis on the structure of hybrid zones
10.1006/tpbi.2000.1455,4272,The stability of symmetrical solutions to polygenic models
10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M,4273,Limits to natural selection
10.1098/rstb.2000.0716,4274,Genetic hitchhiking
10.1016/B0-12-226865-2/00070-5,4275,Differentiation
10.1017/S0016672300239220,4276,Population genetics of multiple loci
10.1007/3-540-46419-0_21,4433,Fair bisimulation
10.1007/3-540-46430-1_15,4434,Robust undecidability of timed and hybrid systems
10.1007/3-540-46419-0_11,4435,Symbolic model checking for rectangular hybrid systems
10.1007/3-540-46541-3_2,4439,A classification of symbolic transition systems
10.1007/3-540-46430-1_14,4481,Beyond HyTech: Hybrid systems analysis using interval numerical methods
10.1007/978-3-540-45099-3_12,4482,Abstract interpretation of game properties
10.1109/ICCAD.2000.896481,4483,Decomposing refinement proofs using assume-guarantee reasoning
10.1007/3-540-44929-9_38,4512,Masaccio: A formal model for embedded components
10.1007/978-3-642-59615-5,4513,The theory of hybrid automata
10.1109/5.871304 ,4598,Discrete abstractions of hybrid systems
10.1109/LICS.2000.855763,4627,Concurrent omega-regular games
10.1007/3-540-44618-4_33,4637,The control of synchronous systems