MANUEL
BARRIO SOLORZANO
PROFESORES TITULARES DE UNIVERSIDAD
Publicaciones (26) Publicaciones de MANUEL BARRIO SOLORZANO
2018
-
Comunicaciones ágiles en los estudios de Ingeniería Informática, una experiencia basada en Slack
Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 3
2015
-
Stochastic linear multistep methods for the simulation of chemical kinetics
Journal of Chemical Physics, Vol. 142, Núm. 6
2014
-
Efficient simulation of stochastic chemical kinetics with the Stochastic Bulirsch-Stoer extrapolation method
BMC Systems Biology, Vol. 8, Núm. 1
-
Exact model reduction with delays: Closed-form distributions and extensions to fully bi-directional monomolecular reactions
Journal of the Royal Society Interface, Vol. 11, Núm. 95
2013
-
Reduction of chemical reaction networks through delay distributions
Journal of Chemical Physics, Vol. 138, Núm. 10
2009
-
Computational approaches for modeling intrinsic noise and delays in genetic regulatory networks
Handbook of Research on Computational Methodologies in Gene Regulatory Networks (IGI Global), pp. 169-197
2006
-
Coordination as an Architectural Aspect
Electronic Notes in Theoretical Computer Science, Vol. 154, Núm. 1 SPEC. ISS., pp. 25-41
-
Coordination in Architectural Connection. Reflective and Aspectual Introduction
L'objet, Vol. 12, Núm. 1, pp. 127-151
-
Formal methods for UML
Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196
-
Oscillatory regulation of hes1: Discrete stochastic delay modelling and simulation
PLoS Computational Biology, Vol. 2, Núm. 9, pp. 1017-1030
-
Temporal superimposition of aspects for dynamic software architecture
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
An "abstract process" approach to algebraic dynamic architecture description
Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214
-
Architectural aspects of architectural aspects
Lecture Notes in Computer Science
-
Meta-Level Architectural Connectors for Coordination
New Issues on Coordination and Adaptation Techniques (Universidad de Málaga (UMA)), pp. 25-30
-
Modelos estructurales de aspectos para arquitectura de software
Actas de las X Jornadas de Ingeniería del Software y Bases de Datos
-
UML automatic verification tool with formal methods
Electronic Notes in Theoretical Computer Science
2004
-
Reflection-based, aspect-oriented software architecture
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3047, pp. 43-56
2002
-
Coordination in a reflective architecture description language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Introducing Reflection in Architecture Description Languages
Software Architecture, pp. 143-156
2001
-
Dynamic coordination architecture through the use of reflection
Proceedings of the ACM Symposium on Applied Computing