A Formal Model of Concurrency for Distributed Object-Oriented Systems. - Manuel Barrio-Solórzano; Pablo de la Fuente (APSEC, 1997)

Software Architecture: Object vs. Process Approach. - Manuel Barrio-Solórzano; Pablo de la Fuente (SCCC, 1997)

Arquitectura de Software Dinámica Basada en Reflexión. - Carlos Enrique Cuesta Quintero; Pablo de la Fuente; Manuel Barrio-Solórzano; Maria Encarnación Beato Gutiérrez (JISBD, 2000)

Formal Verification of Coherence for a Shared Memory Multiprocessor Model. - Manuel Barrio-Solórzano; Maria Encarnación Beato Gutiérrez; Carlos Enrique Cuesta Quintero; Pablo de la Fuente (PaCT, 2001)

Dynamic coordination architecture through the use of reflection. - Carlos Enrique Cuesta Quintero; Pablo de la Fuente; Manuel Barrio-Solórzano (SAC, 2001)

Coordination in a Reflective Architecture Description Language. - Carlos Enrique Cuesta Quintero; Pablo de la Fuente; Manuel Barrio-Solórzano; Maria Encarnación Beato Gutiérrez (COORDINATION, 2002)

Introducing Reflection in Architecture Description Languages. - Carlos Enrique Cuesta Quintero; Pablo de la Fuente; Manuel Barrio-Solórzano; Maria Encarnación Beato Gutiérrez (WICSA, 2002)

Reflection-Based, Aspect-Oriented Software Architecture. - Carlos Enrique Cuesta Quintero; María Pilar Romay Rodríguez; Pablo de la Fuente; Manuel Barrio-Solórzano (EWSA, 2004)

UML Automatic Verification Tool with Formal Methods. - Maria Encarnación Beato Gutiérrez; Manuel Barrio-Solórzano; Carlos Enrique Cuesta Quintero; Pablo de la Fuente (VLFM, 2004)

Architectural Aspects of Architectural Aspects. - Carlos Enrique Cuesta Quintero; María Pilar Romay Rodríguez; Pablo de la Fuente; Manuel Barrio-Solórzano (EWSA, 2005)

Modelos estructurales de aspectos para arquitectura de software. - Carlos E. Cuesta; María Pilar Romay Rodríguez; Pablo de la Fuente; Manuel Barrio-Solórzano (JISBD, 2005)

Coordination as an Architectural Aspect. - Carlos E. Cuesta; María Pilar Romay Rodríguez; Pablo de la Fuente; Manuel Barrio-Solórzano (FOCLASA, 2005)

An "abstract process" approach to algebraic dynamic architecture description. - Carlos E. Cuesta; Pablo de la Fuente; Manuel Barrio-Solórzano; Maria Encarnación Beato Gutiérrez (J. Log. Algebraic Methods Program., 2005)

Temporal Superimposition of Aspects for Dynamic Software Architecture. - Carlos Enrique Cuesta Quintero; María del Pilar Romay; Pablo de la Fuente; Manuel Barrio-Solórzano (FMOODS, 2006)

Coordination in Architectural Connection. Reflective and Aspectual Introduction. - Carlos E. Cuesta; María Pilar Romay Rodríguez; Pablo de la Fuente; Manuel Barrio-Solórzano; Houman Younessi (Obj. Logiciel Base données Réseaux, 2006)