_id,doi,title
3990,10.1007/s00454-004-2864-x,Computing the writhing number of a polygonal knot
4172,10.1016/j.tcb.2004.09.008,Gastrulation dynamics: cells move into focus
4224,10.1242/dev.01335,Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
4230,,A mechanism for the prebiotic emergence of proteins
4236,3810,Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
4238,3801,Dynamic response of cancer under the influence of immunological activity and therapy
4239,3807,A Mechanism for the Prebiotic Emergence of Proteins
4253,,Coalescence in a Random Background
4372,1572,Monitoring Temporal Properties of Continuous Signals
4424,,Program verification by lazy abstraction
4445,10.1145/1017753.1017774,A typed assembly language for real-time programs
4458,10.1145/964001.964021,Abstractions from proofs
4459,10.1145/996841.996844,Race checking by context inference
4461,10.1007/978-3-540-39910-0_16,Extreme model checking
4525,10.1007/978-3-540-24743-2_24,Event-driven programming with logical execution times
4555,10.1109/QEST.2004.10051,Trading memory for randomness
4556,10.1016/j.ic.2004.06.001,Stack size analysis for interrupt-driven programs
4558,,Quantitative stochastic parity games
2623,10.1002/ana.10451,Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies
2625,10.1046/j.1460-9568.2003.02499.x,Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons