| 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 | 96 | 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 | 70 | 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 | 59 | 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, F Sandoval, A Prieto, JMC Rodríguez Springer, 2009 | 26 | 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 | 24 | 2012 |
| 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 | 22 | 2002 |
| 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 | 19 | 2011 |
| 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 |
| 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 |
| 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 | 14 | 2015 |
| 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 | 12 | 2012 |
| 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 | 11 | 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 | 10 | 2012 |
| Bio-inspired systems: computational and ambient intelligence F Sandoval, J Cabestany, A Prieto Neurocomputing 74 (16), 2591, 2011 | 9 | 2011 |
| Developing home care intelligent environments: from theory to practice JAF Nieto, MEB Gutiérrez, BP Lancho 7th International Conference on Practical Applications of Agents and Multi …, 2009 | 8 | 2009 |
Roberto Berjon GallinasProf. Facultad de Informática. Universidad Pontificia de SalamancaVerified email at upsa.es
