| Introduction of quantitative relative time into LOTOS J Quemada, A Fernández Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987 | 82 | 1987 |
| 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 | 76 | 2001 |
| 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 | 75 | 2003 |
| 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 | 74 | 2015 |
| A timed calculus for LOTOS J Quemada In Vuong 17, 195-209, 1990 | 72* | 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 | 72 | 1989 |
| 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 | 72 | 1988 |
| 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 | 64 | 2004 |
| 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 | 63 | 2017 |
| Elena: A Mediation Infrastructure for Educational Services. B Simon, Z Miklos, W Nejdl, M Sintek, J Salvachua WWW (Alternate Paper Tracks), 2003 | 61 | 2003 |
| TIC: a timed calculus J Quemada, D de Frutos, A Azcorra Formal Aspects of Computing 5 (3), 224-252, 1993 | 60 | 1993 |
| 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 |
| 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 | 52 | 2005 |
| A Use-Case Based Model for Learning Resources in Educational Mediators. J Quemada, B Simon Educational Technology & Society 6 (4), 149-163, 2003 | 49 | 2003 |
| 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 | 48 | 2012 |
| 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 | 46 | 2014 |
| Vaas: Videoconference as a service P Rodríguez, D Gallego, J Cerviño, F Escribano, J Quemada, J Salvachúa Collaborative Computing: Networking, Applications and Worksharing, 2009 …, 2009 | 39 | 2009 |
| The city as a learning gamified platform A Gordillo, D Gallego, E Barra, J Quemada Frontiers in Education Conference, 2013 IEEE, 372-378, 2013 | 37 | 2013 |
| On the duration and spatial characteristics of Internet traffic measurement experiments JL García-Dorado, JA Hernández, J Aracil, JEL de Vergara, FJ Monserrat, ... IEEE Communications Magazine 46 (11), 148-155, 2008 | 37 | 2008 |
| 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 | 35 | 2015 |
