Publicacions en què col·labora amb CARLOS ENRIQUE CUESTA QUINTERO (18)

2008

  1. Enhancing literary electronic books with logical structure: Electronic work

    Electronic Library, Vol. 26, Núm. 4, pp. 490-504

2007

  1. AGORA: A layered architecture for cooperative work environments

    Proceedings of the Mexican International Conference on Computer Science

  2. Aqueducts: A layered pipeline-based architecture for XML processing

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

  3. Ágora: diseño de Sistemas Groupware sobre una Arquitectura centrada en Servicios Cooperativos

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

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. 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. Modelos estructurales de aspectos para arquitectura de software

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

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

  2. Formal verification of coherence for a shared memory multiprocessor model

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

2000

  1. Arquitectura de Software DInámica basada en Reflexión

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 203-216