Follow
Manuel Barrio
Manuel Barrio
Associate Professor, Universidad de Valladolid
Verified email at infor.uva.es
Title
Cited by
Cited by
Year
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
3252006
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
972001
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
712005
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
622005
Reduction of chemical reaction networks through delay distributions
M Barrio, A Leier, TT Marquez-Lago
The Journal of chemical physics 138 (10), 2013
462013
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
302014
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
302004
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
262002
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
182004
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
152005
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
152002
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
112006
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
102006
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
82014
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
82002
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
72006
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
42015
A Recursive Version of the Shift Or Algorithm
M Barrio, P De La Fuente, J Vegas
APPLIED INFORMATICS-PROCEEDINGS-, 15-18, 1996
41996
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
31997
The system can't perform the operation now. Try again later.
Articles 1–20