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
3022006
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
982001
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
672005
Architectural aspects of architectural aspects
CE Cuesta, M Pilar Romay, M Barrio-Solórzano
European Workshop on Software Architecture, 247-262, 2005
642005
Reduction of chemical reaction networks through delay distributions
M Barrio, A Leier, TT Marquez-Lago
The Journal of chemical physics 138 (10), 104114, 2013
362013
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
282004
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
262014
Coordination in a reflective architecture description language
CE Cuesta, M Barrio-Solórzano, E Beato
International Conference on Coordination Languages and Models, 141-148, 2002
262002
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
172005
Reflection-based, aspect-oriented software architecture
CE Cuesta, MP Romay, M Barrio-Solórzano
European Workshop on Software Architecture, 43-56, 2004
172004
Introducing reflection in architecture description languages
CE Cuesta, M Barrio-Solórzano, ME Beato
Working Conference on Software Architecture, 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
102006
Temporal superimposition of aspects for dynamic software architecture
CE Cuesta, M Pilar Romay, M Barrio-Solórzano
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
92006
Arquitectura de software dinámica basada en reflexión
C Cuesta
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 (Paris) 12 (1), 127-151, 2006
62006
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), 1-18, 2014
52014
Stochastic linear multistep methods for the simulation of chemical kinetics
M Barrio, K Burrage, P Burrage
The Journal of Chemical Physics 142 (6), 02B604_1, 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
Software architecture: object vs. process approach
M Barrio, P de la Fuente
Proceedings 17th International Conference of the Chilean Computer Science …, 1997
31997
The system can't perform the operation now. Try again later.
Articles 1–20