DOI,IST REx ID,Title of publication
10.1016/S0092-8674(03)00924-3,2996,"Local, efflux-dependent auxin gradients as a common module for plant organ formation"
10.1016/s0040-4020(03)00682-3,13436,Cross-metathesis reaction of vinyl sulfones and sulfoxides
10.1007/s00222-003-0286-7,1457,"Mirror symmetry, langlands duality, and the Hitchin system"
10.1007/s00220-003-0806-8,1459,On Yang-Mills instantons over multi-centered gravitational instantons
null,166,Counting rational points on del Pezzo surfaces of degree 5
10.1074/jbc.M308247200,1959,The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping
10.1074/jbc.M208959200,1960,A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
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