_id,doi,title
4207,10.1016/S0960-9822(02)01160-0,Wnt signalling: Refocusing on Strabismus
4209,10.1242/dev.129.14.3493,"Planar cell polarization requires Widerborst, a B′ regulatory subunit of protein phosphatase 2A"
4258,10.1093/genetics/161.2.849,The effects of multilocus balancing selection on neutral variability
4259,10.1093/genetics/162.3.1469,Associations between cytoplasmic and nuclear loci in hybridizing populations
4260,10.1093/genetics/162.1.395,The effect of deleterious alleles on adaptation in asexual populations
4261,10.1038/nrg700,Understanding quantitative genetic variation
4262,10.1017/S0016672301005493,Extending the coalescent to multilocus systems: the case of balancing selection
4263,10.1006/tpbi.2001.1557,Neutral evolution in spatially continuous populations
4347,10.1080/106351502753475862,Inferring the root of a phylogenetic tree
4349,10.1093/oxfordjournals.molbev.a004175,Bayesian model adequacy and choice in phylogenetics
4407,10.1016/S0304-3975(00)00308-X,Axioms for real-time logics
4413,10.1145/774572.774592,Convertibility verification and converter synthesis: Two faces of the same coin
4414,,Games in open systems verification and synthesis
4421,10.1007/3-540-45828-X_5,A Giotto-based helicopter control system
4422,10.1007/3-540-45793-3_20,Trading probability for fairness
4423,10.3182/20020721-6-ES-1901.01628,Embedded software design and system integration for rotorcraft UAV using platforms
4444,10.1145/512529.512567,"The embedded machine: predictable, portable real-time code"
4470,10.1007/3-540-45828-X_7,Time-safety checking for embedded programs
4471,10.1007/3-540-45465-9_55,Synthesis of uninitialized systems
4472,10.1007/3-540-45657-0_45,Temporal safety proofs for systems code