Cyber–physical systems: Extending pervasive sensing from control theory to the Internet of Things B Bordel, R Alcarria, T Robles, D Martín Pervasive and Mobile Computing 40, 156-184, 2017 | 204 | 2017 |
An IoT based reference architecture for smart water management processes. T Robles, R Alcarria, DM de Andrés, M Navarro, R Calero, S Iglesias, ... JoWUA 6 (1), 4-23, 2015 | 198 | 2015 |
An internet of things-based model for smart water management T Robles, R Alcarria, D Martín, A Morales, M Navarro, R Calero, S Iglesias, ... Advanced Information Networking and Applications Workshops (WAINA), 2014 …, 2014 | 125 | 2014 |
QoS support for an all IP system beyond 3G T Robles, A Kadelka, H Velayos, A Lappetelainen, A Kassler, H Li, ... IEEE Communications Magazine 39 (8), 64-72, 2001 | 84 | 2001 |
Introduction of quantitative relative time into LOTOS J Quemada, A Fernández Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987 | 84 | 1987 |
Smart space for learning: A mediation infrastructure for learning services B Simon, Z Miklós, W Nejdl, M Sintek, J Salvachua Proceedings of the Twelfth International Conference on World Wide Web, 20-24, 2003 | 81 | 2003 |
A timed calculus for LOTOS J Quemada In Vuong 17, 195-209, 1990 | 81* | 1990 |
TIC: A timed calculus for LOTOS J Quemada, A Azcorra, D Frutos-Escrig Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989 | 81 | 1989 |
Use of virtualization tools in computer network laboratories F Galán, D Fernández, J Ruiz, O Walid, T de Miguel Information Technology Based Higher Education and Training, 2004. ITHET 2004 …, 2004 | 74 | 2004 |
Transforming LOTOS specifications with LOLA-the parameterised expansion J Quemada, S Pavón, A Fernández Proceedings of the First International Conference on Formal Description …, 1988 | 69 | 1988 |
TF4SM: a framework for developing traceability solutions in small manufacturing companies B Bordel Sánchez, R Alcarria, D Martín, T Robles Sensors 15 (11), 29478-29510, 2015 | 68 | 2015 |
TIC: a timed calculus J Quemada, D de Frutos, A Azcorra Formal Aspects of Computing 5 (3), 224-252, 1993 | 68 | 1993 |
Elena: A Mediation Infrastructure for Educational Services. B Simon, Z Miklos, W Nejdl, M Sintek, J Salvachua WWW (Alternate Paper Tracks), 2003 | 66 | 2003 |
The city as a learning gamified platform A Gordillo, D Gallego, E Barra, J Quemada Frontiers in Education Conference, 2013 IEEE, 372-378, 2013 | 65 | 2013 |
Adaptive provisioning of stream processing systems in the cloud J Cervino, E Kalyvianaki, J Salvachua, P Pietzuch Data Engineering Workshops (ICDEW), 2012 IEEE 28th International Conference …, 2012 | 58 | 2012 |
Interworking of IP multimedia core networks between 3GPP and WLAN FG Marquez, MG Rodriguez, TR Valladares, T De Miguel, LA Galindo IEEE Wireless Communications 12 (3), 58-65, 2005 | 57 | 2005 |
An easy to use open source authoring tool to create effective and reusable learning objects A Gordillo, E Barra, J Quemada Computer Applications in Engineering Education 25 (2), 188-199, 2017 | 55 | 2017 |
An online e-Learning authoring tool to create interactive multi-device learning objects using e-Infrastructure resources A Gordillo, E Barra, D Gallego, J Quemada Frontiers in Education Conference, 2013 IEEE, 1914-1920, 2013 | 55 | 2013 |
State exploration by transformation with LOLA J Quemada, S Pavón, A Fernández International Conference on Computer Aided Verification, 294-302, 1989 | 55 | 1989 |
A model to enable application-scoped access control as a service for IoT using OAuth 2.0 F Fernández, Á Alonso, L Marco, J Salvachúa Innovations in Clouds, Internet and Networks (ICIN), 2017 20th Conference on …, 2017 | 48 | 2017 |