Follow
María Elena Villapol
María Elena Villapol
Western Institute of Technology at Taranaki
Verified email at witt.ac.nz - Homepage
Title
Cited by
Cited by
Year
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
172000
Modelling and analysis of the resource reservation protocol using coloured petri nets
M Villapol
132003
Modelling and analysis of the resource reservation protocol using coloured petri nets
M Villapol
132003
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
9*2013
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, ...
International Conference on Smart Grid Inspired Future Technologies, 93-102, 2018
82018
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
82013
Analysing properties of the resource reservation protocol
ME Villapol, J Billington
International Conference on Application and Theory of Petri Nets, 377-396, 2003
82003
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
82001
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
72017
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
72012
A coloured petri net approach to formalising and analysing the resource reservation protocol
ME Villapol, J Billington
CLEI Electron. J 6 (1), 1-25, 2003
62003
Internet Service Quality
ME Villapol, J Billington
Telecommunication Journal of Australia 50 (2), 57-69, 2000
62000
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
52020
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
52010
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
52006
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
52005
Modelling and Analysis of the Resource Reservation Protocol
ME Villapol
PhD thesis, Institute for Telecommunications Research and Computer Systems …, 2003
52003
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
42017
Modelado del establecimiento de la conexión entre dos dispositivos bluetooth usando las redes de Petri coloreadas
ME Villapol
Revista Avances en Sistemas e Informática 5 (3), 219-231, 2008
42008
Value co-creation and opportunities in health care and wellbeing: The case of the green prescription
ME Villapol, S Richter, K Petrova
32018
The system can't perform the operation now. Try again later.
Articles 1–20