_id,doi,title
4248,10.1534/genetics.106.058586 ,The Hill-Robertson effect and the evolution of recombination
4250,10.1016/j.cub.2006.07.032,Evolutionary Biology: How did the human species form?
4345,424,Bibliothek 2.0 - Die Bibliothek der Zukunft?
4351,10.1186/1471-2105-7-88,SIMMAP: stochastic character mapping of discrete traits on phylogenies
4352,,Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
4359,1551,Field Constraint Analysis
4373,1571,"Real Time Temporal Logic: Past, Present, Future"
4374,1570,From MITL to Timed Automata
4401,1543,Preserving Secrecy Under Refinement
4406,10.1007/11817963_5,Antichains: A new algorithm for checking universality of finite automata
4431,10.1007/11813040_1,The embedded systems design challenge
4432,10.1007/11867340_1,Timed alternating-time temporal logic
4436,10.1109/RTAS.2006.11,An interface algebra for real-time components
4437,10.1007/11874683_26,Solving games without determinization
4451,10.1016/j.tcs.2005.11.015,On the universal and existential fragments of the mu-calculus
4523,10.1145/1181775.1181790,Synergy: A new algorithm for property checking
4526,10.1145/1176887.1176907,A hierarchical coordination language for interacting real-time tasks
4528,10.1109/WSC.2006.322942,Executable biology
4538,10.1007/11672142_42,Strategy improvement and randomized subexponential algorithms for stochastic parity games
4539,10.1007/11691372_17,Finitary winning in omega-regular games