Publicacions (26) Publicacions de MANUEL BARRIO SOLORZANO

2018

  1. 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

  1. Stochastic linear multistep methods for the simulation of chemical kinetics

    Journal of Chemical Physics, Vol. 142, Núm. 6

2013

  1. Reduction of chemical reaction networks through delay distributions

    Journal of Chemical Physics, Vol. 138, Núm. 10

2009

  1. 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

  1. Coordination as an Architectural Aspect

    Electronic Notes in Theoretical Computer Science, Vol. 154, Núm. 1 SPEC. ISS., pp. 25-41

  2. Coordination in Architectural Connection. Reflective and Aspectual Introduction

    L'objet, Vol. 12, Núm. 1, pp. 127-151

  3. Formal methods for UML

    Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196

  4. Oscillatory regulation of hes1: Discrete stochastic delay modelling and simulation

    PLoS Computational Biology, Vol. 2, Núm. 9, pp. 1017-1030

  5. 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

  1. An "abstract process" approach to algebraic dynamic architecture description

    Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214

  2. Architectural aspects of architectural aspects

    Lecture Notes in Computer Science

  3. Meta-Level Architectural Connectors for Coordination

    New Issues on Coordination and Adaptation Techniques (Universidad de Málaga (UMA)), pp. 25-30

  4. Modelos estructurales de aspectos para arquitectura de software

    Actas de las X Jornadas de Ingeniería del Software y Bases de Datos

  5. UML automatic verification tool with formal methods

    Electronic Notes in Theoretical Computer Science

2004

  1. 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

  1. Coordination in a reflective architecture description language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Introducing Reflection in Architecture Description Languages

    Software Architecture, pp. 143-156

2001

  1. Dynamic coordination architecture through the use of reflection

    Proceedings of the ACM Symposium on Applied Computing