DOI,IST REx ID,Title of publication
10.1109/QEST.2006.48,4552,Strategy improvement for concurrent reachability games
10.1109/WSC.2006.322942,4528,Executable biology
10.1016/j.tcs.2006.07.032,4550,Games with secure equilibria
10.1007/11874683_26,4437,Solving games without determinization
10.1109/RTAS.2006.11,4436,An interface algebra for real-time components
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.1016/j.tcs.2005.11.015,4451,On the universal and existential fragments of the mu-calculus
null,4352,Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
10.1007/11817963_5,4406,Antichains: A new algorithm for checking universality of finite automata
10.1007/11867340_1,4432,Timed alternating-time temporal logic
10.1007/11813040_1,4431,The embedded systems design challenge
10.1186/1471-2105-7-88,4351,SIMMAP: stochastic character mapping of discrete traits on phylogenies
10.1534/genetics.106.058586 ,4248,The Hill-Robertson effect and the evolution of recombination
10.1016/j.cub.2006.07.032,4250,Evolutionary Biology: How did the human species form?
10.1016/j.devcel.2006.09.023,4218,Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow
doi: 10.1242/dev.02439,4184,Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila
10.1242/jcs.02928,4176,Identification of regulators of germ layer morphogenesis using proteomics in zebrafish
10.1002/dvdy.20692,4178,Analysis and visualization of cell movement in the developing zebrafish brain
10.1083/jcb.200606017,4140,Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane