| | |
Carlos Enrique Cuesta Quintero
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
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