_id,doi,title
4155,"10.1242/​jcs.02547",Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
4167,10.1242/dev.01611,"Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones"
4171,10.1242/dev.01667,Shield formation at the onset of zebrafish gastrulation
4183,10.1016/j.mod.2005.06.010,Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure
4249,10.1111/j.0014-3820.2005.tb01771.x,Speciation through competition: A critical review
4251,10.1534/genetics.104.032821,Evolution of recombination due to random drift
4252,10.1098/rstb.2005.1667,Theoretical models of selection and mutationon quantitative traits
4367,1550,Boolean Heaps
4404,1542,Synthesis of interface specifications for Java classes
4412,10.1109/RTSS.2005.43,Trading end-to-end latency for composability
4418,10.1145/1064979.1064986,A programmable microkernel for real-time systems
4454,10.1145/1042038.1042039,A classification of symbolic transition systems
4455,10.1007/11603009_18,Quantifying similarities between timed systems
4456,10.1145/1081706.1081713,Permissive interfaces
4457,10.1145/1065910.1065914,Composable code generation for distributed Giotto
4536,DOI: 10.1007/11603009_13,Automatic rectangular refinement of affine hybrid systems
4541,10.1007/11590156_1,Semiperfect-information games
4553,10.1007/11523468_71,The complexity of stochastic Rabin and Streett games
4554,10.1109/LICS.2005.26,Mean-payoff parity games
4557,,Counterexample-guided planning