DOI,IST REx ID,Title of publication
10.1016/S0960-9822(06)00397-6,4289,Population genetics: A new apportionment of human diversity
null,4290,Natural hybridization and evolution
null,4291,The ecological detective: Confronting models with data
10.1016/B978-012323445-2/50012-2,4293,The evolution of metapopulations
10.1007/BFb0014712,4438,From quantity to quality
10.1007/3-540-63165-8_213,4441,Discrete-time control for rectangular hybrid automata
10.1007/s100090050008,4493,HyTech: A model checker for hybrid systems
10.1007/3-540-63166-6_48,4494,HyTech: A model checker for hybrid systems
10.1007/3-540-63141-0_19,4496,Fair simulation
10.1007/BFb0014736,4520,Robust timed automata
10.1007/3-540-63141-0_6,4583,Modularity for timed and hybrid systems
10.1007/s100090050007,4584,Real-time system = discrete system + clock variables
10.1109/CDC.1997.650717  ,4605,Symbolic analysis of hybrid systems
10.1023/A:1008626013578,4607,Computing accumulated delays in real-time systems
10.1007/3-540-63166-6_34,4608,Partial-order reduction in symbolic state-space exploration
10.1145/585265.585270,4609,Alternating-time temporal logic