DOI,IST REx ID,Title of publication
10.1007/s00454-004-2864-x,3990,Computing the writhing number of a polygonal knot
10.1016/j.tcb.2004.09.008,4172,Gastrulation dynamics: cells move into focus
10.1242/dev.01335,4224,Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
null,4230,A mechanism for the prebiotic emergence of proteins
3810,4236,Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
3801,4238,Dynamic response of cancer under the influence of immunological activity and therapy
3807,4239,A Mechanism for the Prebiotic Emergence of Proteins
null,4253,Coalescence in a Random Background
1572,4372,Monitoring Temporal Properties of Continuous Signals
null,4424,Program verification by lazy abstraction
10.1145/1017753.1017774,4445,A typed assembly language for real-time programs
10.1145/964001.964021,4458,Abstractions from proofs
10.1145/996841.996844,4459,Race checking by context inference
10.1007/978-3-540-39910-0_16,4461,Extreme model checking
10.1007/978-3-540-24743-2_24,4525,Event-driven programming with logical execution times
10.1109/QEST.2004.10051,4555,Trading memory for randomness
10.1016/j.ic.2004.06.001,4556,Stack size analysis for interrupt-driven programs
null,4558,Quantitative stochastic parity games
10.1109/WPC.2004.1311069  ,4577,An eclipse plug-in for model checking
10.1007/978-3-540-27864-1_2,4578,The BLAST query language for software verification