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