| Modelling and initial analysis of the resource reservation protocol using coloured petri nets ME Villapol, J Billington Proceedings of the Workshop on Practical Use of High-Level Petri Nets …, 2000 | 17 | 2000 |
| A sustainable connectivity model of the internet access technologies in rural and low-income areas ME Villapol, W Liu, J Gutierrez, J Qadir, S Gordon, J Tan, L Chiaraviglio, ... Smart Grid and Innovative Frontiers in Telecommunications: Third …, 2018 | 13 | 2018 |
| Modelling and analysis of the resource reservation protocol using coloured petri nets M Villapol | 13 | 2003 |
| Analysing properties of the resource reservation protocol ME Villapol, J Billington International Conference on Application and Theory of Petri Nets, 377-396, 2003 | 10 | 2003 |
| Reviewing the service specification of the IEEE 802.16 MAC layer connection management: A formal approach A Morales, M Villapol CLEI Electronic Journal 16 (2), 2-2, 2013 | 9 | 2013 |
| Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification JC Carrasquel, A Morales, ME Villapol Труды института системного программирования РАН 30 (4), 107-128, 2018 | 8 | 2018 |
| Connecting the unconnected 10% of New Zealanders by 2025: Is a MahiTahi approach possible? M Villapol, W Liu, JA Gutierrez, L Chiaraviglio, A Sathiaseelan, J Wu, ... 2017 27th International Telecommunication Networks and Applications …, 2017 | 8 | 2017 |
| 9.1. 6 Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods ME Villapol, J Billington INCOSE International Symposium 11 (1), 1239-1246, 2001 | 8 | 2001 |
| FireNot–an IoT based fire alerting system: design and implementation BA Sassani, N Jamil, M Villapol, M Abbas Malik, SS Tirumala Journal of Ambient Intelligence and Smart Environments 12 (6), 475-489, 2020 | 7 | 2020 |
| Recording, storing and querying judo match data using an Android tool and Cloud computing ME Villapol, H Jansen, A Morales, J Flores, H Rodrigues, M Huerta Proceedings of the Institution of Mechanical Engineers, Part P: Journal of …, 2017 | 7 | 2017 |
| Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets ME Villapol Computación y Sistemas 16 (4), 433-446, 2012 | 7 | 2012 |
| Performance comparison of mesh routing protocols in an experimental network with bandwidth restrictions in the border router ME Villapol, D Pérez Abreu, C Balderama, M Colombo Revista de la Facultad de Ingeniería Universidad Central de Venezuela 28 (1 …, 2013 | 6* | 2013 |
| Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management AVM Bezeira, MEV Blanco Proceedings of the 9th WSEAS international conference on computational …, 2010 | 6 | 2010 |
| A coloured petri net approach to formalising and analysing the resource reservation protocol ME Villapol, J Billington CLEI Electronic Journal 6 (1), 1: 1-1: 25, 2003 | 6 | 2003 |
| Internet Service Quality ME Villapol, J Billington Telecommunication Journal of Australia 50 (2), 57-69, 2000 | 6 | 2000 |
| Value co-creation and opportunities in health care and wellbeing: The case of the green prescription ME Villapol, S Richter, K Petrova | 5 | 2018 |
| A proposal to improve network throughput using a QoS building blocks approach at Central University of Venezuela ME Villapol, EA Gamess, N Morales Proceedings of the 3rd international IFIP/ACM Latin American conference on …, 2005 | 5 | 2005 |
| Modelling and Analysis of the Resource Reservation Protocol ME Villapol PhD thesis, Institute for Telecommunications Research and Computer Systems …, 2003 | 5 | 2003 |
| Modelado y análisis inicial del Establecimiento de una conexión Bluetooth Usando las Redes de Petri Coloreadas ME Villapol Proceedings of the Thirty-Second Latin American Computing Conference, CLEI …, 2006 | 4 | 2006 |
| Improving the specification of the WiMax ARQ operation A Morales, ME Villapol, L Contreras 2014 XL Latin American Computing Conference (CLEI), 1-8, 2014 | 3 | 2014 |
