DOI,IST REx ID,Title of publication
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
10.1007/978-3-540-45187-7_9,4630,The element of surprise in timed games
10.2166/nh.2002.0004,12659,Modelling mountainous water systems between learning and speculating looking for challenges
10.1007/s00239-002-2318-0,859,Evolution of the mouse polyubiquitin C gene
10.1186/gb-2002-3-2-research0008,871,Selection in the evolution of gene duplications 
10.1073/pnas.232565499,885,Dobzhansky-Muller incompatibilities in protein evolution
10.1038/ng940,897,Selection for short introns in highly expressed genes
10.1016/S1010-6030(02)00027-8,1737,A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells
10.1117/12.452446,1738,Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
10.1021/nl025798u,1739,Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells
10.1006/jnth.2002.2800,204,Equal Sums of Two kth Powers