_id,doi,title
4185,10.1016/S0925-4773(03)00004-2,The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation
4254,10.1111/j.0014-3820.2003.tb01537.x,Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation
4255,10.1126/science.1080600 ,Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes
4256,10.1016/S0960-9822(03)00573-6,The erratic path towards complexity
4257,10.1146/annurev.ecolsys.34.011802.132359,The effects of genetic and geographic structure on neutral variation
4338,10.1111/j.0014-3820.2003.tb00595.x,On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata
4348,10.1080/10635150390192780,Stochastic mapping of morphological characters
4350,10.1080/10635150390197028,True and false gharials: A nuclear gene phylogeny of crocodylia
4416,,Symbolic algorithms for verification and control
4425,,Giotto: A time-triggered language for embedded programming
4460,10.1023/A:1026228213080,From pre-historic to post-modern symbolic model checking
4462,10.1007/3-540-45061-0_69,Counterexample-guided control
4463,10.1007/978-3-540-45069-6_27,Thread-modular abstraction refinement
4464,10.1007/978-3-540-45212-6_16,Schedule-carrying code
4465,10.1002/047172288X.ch8,Embedded control systems development with Giotto
4466,10.1007/3-540-36577-X_5,On the universal and existential fragments of the mu-calculus
4467,10.1007/3-540-44829-2_17,Software verification with BLAST
4468,10.1109/MCS.2003.1172829,From control models to real-time code using Giotto
4469,10.1109/JPROC.2002.805825,Giotto: A time-triggered language for embedded programming