The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maria Encarnación Beato Gutiérrez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]

  7. A Case Study of a Pull WAP Location-Based Service Incorporating Maps Services. [Citation Graph (, )][DBLP]


  8. Mobile Applications: MovilPIU and Mobiblio. [Citation Graph (, )][DBLP]


  9. A New Proposal for Heterogeneous Data Integration to XML format. Application to the Environment of Libraries. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002