DOI,IST REx ID,Title of publication
10.1016/S0169-5347(98)01396-2,4280,Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton
10.1126/science.281.5385.1986,4281,Why sex and recombination?
10.1017/S0016672398219732,4282,Genetics and analysis of quantitative traits
10.1038/27338,4283,The geometry of adaptation
10.1007/BFb0055625,4408,Axioms for real-time logics
10.1007/BFb0055350,4410,An algorithm for the approximative analysis of rectangular automata
10.1007/3-540-64358-3_40,4429,Reachability verification for hybrid automata
10.1007/3-540-64358-3,4430,"HSCC: Hybrid Systems—Computation and Control"
10.1007/3-540-49519-3_27,4486,An assume-guarantee rule for checking simulation
10.1007/BFb0028765,4488,"You assume, we guarantee: Methodology and case studies"
10.1007/BFb0028745,4489,From pre-historic to post-modern symbolic model checking
10.1007/BFb0055086,4490,The regular real-time languages
10.1109/9.664156 ,4491,Algorithmic analysis of nonlinear hybrid systems
10.1006/jcss.1998.1581,4492,What's decidable about hybrid automata?
10.1007/BFb0055640,4515,It's about time: Real-time logics reviewed
10.1007/BFb0055622,4603,Alternating refinement relations
10.1007/BFb0028774,4604,Mocha: Modularity in model checking
10.1007/BFb0054181,4606,Symbolic exploration of transition hierarchies
10.1109/SFCS.1998.743507  ,4639,Concurrent reachability games
10.1088/0951-7715/10/5/002,8527,How projections affect the dimension spectrum of fractal measures