| Oscillatory regulation of Hes1: discrete stochastic delay modelling and simulation M Barrio, K Burrage, A Leier, T Tian PLoS computational biology 2 (9), e117, 2006 | 325 | 2006 |
| Dynamic coordination architecture through the use of reflection CE Cuesta, P de la Fuente, M Barrio-Solárzano Proceedings of the 2001 ACM symposium on Applied computing, 134-140, 2001 | 97 | 2001 |
| UML automatic verification tool with formal methods ME Beato, M Barrio-Solórzano, CE Cuesta, P de la Fuente Electronic Notes in Theoretical Computer Science 127 (4), 3-16, 2005 | 71 | 2005 |
| Architectural aspects of architectural aspects CE Cuesta, M del Pilar Romay, P de la Fuente, M Barrio-Solórzano Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June …, 2005 | 63 | 2005 |
| Reduction of chemical reaction networks through delay distributions M Barrio, A Leier, TT Marquez-Lago The Journal of chemical physics 138 (10), 2013 | 47 | 2013 |
| Exact model reduction with delays: closed-form distributions and extensions to fully bi-directional monomolecular reactions A Leier, M Barrio, TT Marquez-Lago Journal of The Royal Society Interface 11 (95), 20140108, 2014 | 31 | 2014 |
| UML automatic verification tool (TABU) ME Beato, M Barrio-Solórzano, CE Cuesta, P de la Fuente SAVCBS 2004 Specification and Verification of Component-Based Systems, 106, 2004 | 30 | 2004 |
| Coordination in a reflective architecture description language CE Cuesta, P de la Fuente, M Barrio-Solórzano, E Beato International Conference on Coordination Languages and Models, 141-148, 2002 | 26 | 2002 |
| Reflection-based, aspect-oriented software architecture CE Cuesta, MP Romay, P de la Fuente, M Barrio-Solórzano European Workshop on Software Architecture, 43-56, 2004 | 18 | 2004 |
| An “abstract process” approach to algebraic dynamic architecture description CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato The Journal of Logic and Algebraic Programming 63 (2), 177-214, 2005 | 15 | 2005 |
| Introducing reflection in architecture description languages CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato Software Architecture: System Design, Development and Maintenance, 143-156, 2002 | 15 | 2002 |
| Coordination as an architectural aspect CE Cuesta, MP Romay, P de la Fuente, M Barrio-Solórzano Electronic Notes in Theoretical Computer Science 154 (1), 25-41, 2006 | 12 | 2006 |
| Temporal superimposition of aspects for dynamic software architecture CE Cuesta, M del Pilar Romay, P de la Fuente, M Barrio-Solórzano International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 10 | 2006 |
| Efficient simulation of stochastic chemical kinetics with the Stochastic Bulirsch-Stoer extrapolation method T Székely, K Burrage, KC Zygalakis, M Barrio BMC Systems Biology 8, 1-18, 2014 | 8 | 2014 |
| Arquitectura de software dinámica basada en reflexión C Cuesta, P De la Fuente, M Barrio-Solórzano, E Beato Universidad de Valladolid. España, 2002 | 8 | 2002 |
| Coordination in Architectural Connection. Reflective and Aspectual Introduction CE Cuesta, M Pilar Romay, P de la Fuente, M Barrio-Solórzano L'objet 12 (1), 127-151, 2006 | 7 | 2006 |
| PLoS Comput. Biol. 2, e117 (2006) M Barrio, K Burrage, A Leier, T Tian | 6 | |
| Stochastic linear multistep methods for the simulation of chemical kinetics M Barrio, K Burrage, P Burrage The Journal of Chemical Physics 142 (6), 2015 | 4 | 2015 |
| A Recursive Version of the Shift Or Algorithm M Barrio, P De La Fuente, J Vegas APPLIED INFORMATICS-PROCEEDINGS-, 15-18, 1996 | 4 | 1996 |
| A formal model of concurrency for distributed object-oriented systems M Barrio, P de la Fuente Proceedings of Joint 4th International Computer Science Conference and 4th …, 1997 | 3 | 1997 |
Pablo de la Fuenteprofesor departamento de informatica (UVA)Dirección de correo verificada de infor.uva.es
