![]() | ![]() |
Carlos Enrique Cuesta Quintero
List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 10 | 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. Electr. Notes Theor. Comput. Sci. 127(4): 3-16 (2005) | |
| 9 | Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez: An "abstract process" approach to algebraic dynamic architecture description. J. Log. Algebr. Program. 63(2): 177-214 (2005) | |
| 6 | 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: 141-148 | |
| 5 | 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: 143-156 | |
| 4 | 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: 17-26 | |
| 1 | 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: 203-216 |
Selection of 6 from 47 records - Carlos E. Cuesta has 37 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page