Encarnación Beato-Gutiérrez
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
922001
Modern formal methods and applications
HA Gabbar
Springer Science & Business Media, 2006
602006
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
542005
Metadata and semantics
MA Sicilia, MD Lytras
Springer Science & Business Media, 2008
332008
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
312004
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
282015
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
252002
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, JMC Rodríguez
Springer, 2009
212009
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
182006
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
172012
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
172005
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
172002
Introducing reflection in architecture description languages
CE Cuesta, P de la Fuente, M Barrio-Solórzano, ME Beato
Working Conference on Software Architecture, 143-156, 2002
162002
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
122015
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, 307-314, 2012
122012
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
102006
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
92011
Bio-inspired systems: computational and ambient intelligence
F Sandoval, J Cabestany, A Prieto
Neurocomputing 74 (16), 2591, 2011
72011
M-Library. A New Platform to Provide Mobile-Services of Libraries.
MM Sánchez, MÁS Vidales, RB Gallinas, MEB Gutiérrez, AF García
JDCTA 3 (4), 133-140, 2009
72009
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
62012
The system can't perform the operation now. Try again later.
Articles 1–20