Maria Encarnación Beato Gutiérrez

	2012
c9		Ana María Fermoso García, Salvador Sánchez Alonso, Maria Encarnación Beato Gutiérrez, Roberto Berjón Gallinas: Case Study: Ontology for Metadata in e-Learning. KEOD 2012: 317-320
	2009
j4		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)
c8		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
c7		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
c6		J. A. Fraile Nieto, Maria Encarnación Beato Gutiérrez, Belén Pérez Lancho: Developing Home Care Intelligent Environments: From Theory to Practice. PAAMS 2009: 11-19
	2007
j3		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)
c5		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
	2005
j2		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)
j1		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
c4		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
c3		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
c2		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
c1		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

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 21:15:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page