| 2007 |
|---|
| 7 | EE | Ana M. Fermoso,
Roberto Berjón Gallinas,
Maria Encarnación Beato Gutiérrez,
Montserrat Mateos,
Miguel Angel Sánchez,
Maribel Manzano García,
María José Gil Larrea:
A New Proposal for Heterogeneous Data Integration to XML format. Application to the Environment of Libraries.
MTSR 2007: 143-153 |
| 2005 |
|---|
| 6 | EE | 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) |
| 5 | EE | 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) |
| 2002 |
|---|
| 4 | EE | 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 |
| 3 | | 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 |
| 2001 |
|---|
| 2 | EE | 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 |
| 2000 |
|---|
| 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 |
