|
Search the dblp DataBase
Maria Encarnación Beato Gutiérrez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] COORDINATION, 2002, pp:141-148 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] JISBD, 2000, pp:203-216 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PaCT, 2001, pp:17-26 [Conf]
- Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez
Introducing Reflection in Architecture Description Languages. [Citation Graph (0, 0)][DBLP] WICSA, 2002, pp:143-156 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:3-16 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:63, n:2, pp:177-214 [Journal]
A Case Study of a Pull WAP Location-Based Service Incorporating Maps Services. [Citation Graph (, )][DBLP]
Mobile Applications: MovilPIU and Mobiblio. [Citation Graph (, )][DBLP]
A New Proposal for Heterogeneous Data Integration to XML format. Application to the Environment of Libraries. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|