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