Seuraa
Manuel Barrio
Manuel Barrio
Associate Professor, Universidad de Valladolid
Vahvistettu sähköpostiosoite verkkotunnuksessa infor.uva.es
Nimike
Viittaukset
Viittaukset
Vuosi
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
3122006
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
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
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
412013
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, P de la Fuente, M Barrio-Solórzano, E Beato
Coordination Models and Languages: 5th International Conference …, 2002
262002
Reflection-based, aspect-oriented software architecture
CE Cuesta, MP Romay, P de la Fuente, M Barrio-Solórzano
Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK …, 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
162005
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
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 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-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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20