 | 2009 |
|---|
| 11 |       | Roberto Berjón Gallinas,
Maria Encarnación Beato Gutiérrez,
Montserrat Mateos Sánchez,
Miguel Ángel Sánchez Vidales,
Ana Fermoso García:
Mobile Applications: MovilPIU and Mobiblio.
IWANN (1) 2009: 1232-1239 |
| 10 | | Montserrat Mateos Sánchez,
Roberto Berjón Gallinas,
Miguel Ángel Sánchez Vidales,
Maria Encarnación Beato Gutiérrez,
Ana Fermoso García:
A Case Study of a Pull WAP Location-Based Service Incorporating Maps Services.
IWANN (1) 2009: 1240-1247 |
| 9 | | Montserrat Mateos Sánchez,
Miguel Ángel Sánchez Vidales,
Roberto Berjón Gallinas,
Maria Encarnación Beato Gutiérrez,
Ana Fermoso García:
M-Library. A New Platform to Provide Mobile-Services of Libraries.
JDCTA 3(4): 133-140 (2009) |
| 2007 |
|---|
| 8 | | Ana M. Fermoso,
Roberto Berjón Gallinas,
Maria Encarnación Beato Gutiérrez,
Montserrat Mateos Sánchez,
Miguel Ángel Sánchez Vidales,
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 |
| 7 | | Ana M. Fermoso,
Roberto Berjón Gallinas,
Maria Encarnación Beato Gutiérrez,
Montserrat Mateos Sánchez,
Miguel Ángel Sánchez Vidales,
Maribel Manzano García,
María José Gil Larrea:
A new system for integrating information from libraries' catalogues to MODS format.
IJMSO 2(3): 201-210 (2007) |
| 2005 |
|---|
| 6 | | 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 | | 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 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page