Carlos Enrique Cuesta Quintero

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano
Temporal Superimposition of Aspects for Dynamic Software Architecture. FMOODS (2006)
Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente
UML Automatic Verification Tool with Formal Methods. Electron. Notes Theor. Comput. Sci. 127 (4) (2005)
Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano
Architectural Aspects of Architectural Aspects. EWSA (2005)
Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano
Reflection-Based, Aspect-Oriented Software Architecture. EWSA (2004)
Pablo de la Fuente, Jesús Vegas, Joaquín Adiego, Carlos Enrique Cuesta Quintero, M. Mercedes Martínez
Una experiencia de utilización de una biblioteca digital en educación de filologías. JBIDI (2003)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Coordination in a Reflective Architecture Description Language. COORDINATION (2002)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Introducing Reflection in Architecture Description Languages. WICSA (2002)
Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente
Formal Verification of Coherence for a Shared Memory Multiprocessor Model. PaCT (2001)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano
Dynamic coordination architecture through the use of reflection. SAC (2001)
Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Arquitectura de Software Dinámica Basada en Reflexión. JISBD (2000)
M. Mercedes Martínez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Jean-Charles Lamirel
Integración de Colecciones Heterogéneas en Bibliotecas Digitales. JBIDI (2000)