_id,doi,title
4017,10.1002/pro.5560070905,Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design
4019,10.1109/PCCGA.1998.732056,Shape space from deformation
4020,,Geometry for modeling biomolecules
4280,10.1016/S0169-5347(98)01396-2,Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton
4281,10.1126/science.281.5385.1986,Why sex and recombination?
4282,10.1017/S0016672398219732,Genetics and analysis of quantitative traits
4283,10.1038/27338,The geometry of adaptation
4408,10.1007/BFb0055625,Axioms for real-time logics
4410,10.1007/BFb0055350,An algorithm for the approximative analysis of rectangular automata
4429,10.1007/3-540-64358-3_40,Reachability verification for hybrid automata
4430,10.1007/3-540-64358-3,"HSCC: Hybrid Systems—Computation and Control"
4486,10.1007/3-540-49519-3_27,An assume-guarantee rule for checking simulation
4488,10.1007/BFb0028765,"You assume, we guarantee: Methodology and case studies"
4489,10.1007/BFb0028745,From pre-historic to post-modern symbolic model checking
4490,10.1007/BFb0055086,The regular real-time languages
4491,10.1109/9.664156 ,Algorithmic analysis of nonlinear hybrid systems
4492,10.1006/jcss.1998.1581,What's decidable about hybrid automata?
4515,10.1007/BFb0055640,It's about time: Real-time logics reviewed