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 | 98 | 2001 |
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 | 72 | 2005 |
Modern formal methods and applications HA Gabbar Springer Science & Business Media, 2006 | 68 | 2006 |
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 | 63 | 2015 |
Metadata and semantics MA Sicilia, MD Lytras Springer Science & Business Media, 2008 | 36 | 2008 |
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 | 30 | 2004 |
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 Springer Science & Business Media, 2009 | 27 | 2009 |
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 | 26 | 2002 |
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 | 25 | 2012 |
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 | 20 | 2011 |
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 | 20 | 2002 |
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 | 19 | 2006 |
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 | 18 | 2015 |
Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: 10th International Work-Conference on Artificial Neural Networks … S Omatu, MP Rocha, FF Riverola, J Bravo, E Corchado, JMC Rodríguez, ... Springer Science & Business Media, 2009 | 15 | 2009 |
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 | 15 | 2005 |
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 | 15 | 2002 |
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 | 14 | 2012 |
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 | 12 | 2022 |
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 | 12 | 2006 |
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 | 11 | 2012 |