Encarnación Beato-Gutiérrez|M. E. Beato, E. Beato Gutiérrez

Encarnación Beato-Gutiérrez|M. E. Beato, E. Beato Gutiérrez

Universidad Pontificia de Salamanca - Salamanca / Spain
Others
AD Scientific Index ID: 4340331
Pontifical University of Salamanca
person_outline Encarnación Beato-Gutiérrez|M. E. Beato, E. Beato Gutiérrez's MOST POPULAR ARTICLES
1-) Dynamic coordination architecture through the use of reflectionCE Cuesta, P de la Fuente, M Barrio-SolárzanoProceedings of the 2001 ACM symposium on Applied computing, 134-140, 2001982001
2-) UML automatic verification tool with formal methodsME Beato, M Barrio-Solórzano, CE Cuesta, P de la FuenteElectronic Notes in Theoretical Computer Science 127 (4), 3-16, 2005692005
3-) Modern formal methods and applicationsHA GabbarSpringer Science & Business Media, 2006702006
4-) Open linked data and mobile devices as e-tourism tools. A practical approach to collaborative e-learningAM Fermoso, M Mateos, ME Beato, R BerjónComputers in Human Behavior 51, 618-626, 2015642015
5-) Metadata and semanticsMA Sicilia, MD LytrasSpringer Science & Business Media, 2008362008