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