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 | 330 | 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 | 98 | 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 | 72 | 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 | 66 | 2005 |
Reduction of chemical reaction networks through delay distributions M Barrio, A Leier, TT Marquez-Lago The Journal of chemical physics 138 (10), 2013 | 50 | 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 | 33 | 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 | 19 | 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 |
Arquitectura de software dinámica basada en reflexión CE Cuesta, P De la Fuente, M Barrio-Solórzano, E Beato Universidad de Valladolid. España, 2002 | 9 | 2002 |
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 |
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 | 6 | 2006 |
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 |
Software architecture: object vs. process approach M Barrio, P de la Fuente Proceedings 17th International Conference of the Chilean Computer Science …, 1997 | 3 | 1997 |