Follow
Encarnación Beato-Gutiérrez
Encarnación Beato-Gutiérrez
Other namesM. E. Beato, E. Beato Gutiérrez
Verified email at upsa.es
Title
Cited by
Cited by
Year
Dynamic coordination architecture through the use of reflection
CE Cuesta, P de la Fuente, M Barrio-Solárzano
Proceedings of the 2001 ACM symposium on Applied computing, 134-140, 2001
972001
UML automatic verification tool with formal methods
ME Beato, M Barrio-Solórzano, CE Cuesta, P de la Fuente
Electronic Notes in Theoretical Computer Science 127 (4), 3-16, 2005
712005
Modern formal methods and applications
HA Gabbar
Springer Science & Business Media, 2006
692006
Open linked data and mobile devices as e-tourism tools. A practical approach to collaborative e-learning
AM Fermoso, M Mateos, ME Beato, R Berjón
Computers in Human Behavior 51, 618-626, 2015
622015
Metadata and semantics
MA Sicilia, MD Lytras
Springer Science & Business Media, 2008
372008
UML automatic verification tool (TABU)
ME Beato, M Barrio-Solórzano, CE Cuesta, P de la Fuente
SAVCBS 2004 Specification and Verification of Component-Based Systems, 106, 2004
302004
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 …
J Cabestany, F Sandoval, A Prieto
Springer Science & Business Media, 2009
272009
Coordination in a reflective architecture description language
CE Cuesta, P de la Fuente, M Barrio-Solórzano, E Beato
International Conference on Coordination Languages and Models, 141-148, 2002
262002
Automated verification of role-based access control security models recovered from dynamic web applications
MH Alalfi, JR Cordy, TR Dean
2012 14th IEEE International Symposium on Web Systems Evolution (WSE), 1-10, 2012
252012
Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts: Evolving Technologies and Ubiquitous Impacts
MM Cruz-Cunha, F Moreira
IGI Global, 2011
192011
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
S Van Langenhove, A Hoogewijs
International Workshop on Algebraic Development Techniques, 142-155, 2006
192006
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
F Arbab, C Talcott
Springer Science & Business Media, 2002
192002
SCHOM. A tool for communication and collaborative e-learning
R Berjón, ME Beato, M Mateos, AM Fermoso
Computers in Human Behavior 51, 1163-1171, 2015
172015
An “abstract process” approach to algebraic dynamic architecture description
CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato
The Journal of Logic and Algebraic Programming 63 (2), 177-214, 2005
152005
Introducing reflection in architecture description languages
CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato
Software Architecture: System Design, Development and Maintenance, 143-156, 2002
152002
Touch Me: a new and easier way for accessibility using Smartphones and NFC
MA Sánchez, M Mateos, JA Fraile, D Pizarro
Highlights on Practical Applications of Agents and Multi-Agent Systems: 10th …, 2012
122012
Highlights on practical applications of agents and multi-agent systems
JB Pérez, JMC Rodríguez, E Adam, A Ortega, MN Moreno, E Navarro, ...
Springer, 2012
112012
Coordination as an architectural aspect
CE Cuesta, MP Romay, P de la Fuente, M Barrio-Solórzano
Electronic Notes in Theoretical Computer Science 154 (1), 25-41, 2006
112006
An event mesh for event driven IoT applications
RB Gallinas, MM Sánchez, MEB Gutiérrez, AMF García
IJIMAI 7 (6), 54-59, 2022
102022
Bio-inspired systems: computational and ambient intelligence
F Sandoval, J Cabestany, A Prieto
Neurocomputing 74 (16), 2591, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20