| Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach A Morales, M Villapol CLEI Electronic Journal ISSN 0717- 5000 16 (2), 1-12, 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 | 6 | 2018 |
| 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 | 6 | 2017 |
| 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 | 5 | 2010 |
| Iguales en las diferencias: iniciativas de investigación transnacionales sobre Informática Educativa en Latinoamérica en el periodo 2010-2020 IF Silveira, A Casali, AVM Bezeira, AS Sprock, CA Collazos, C Cechinel, ... Revista Brasileira de Informática na Educação 29, 1060-1090, 2021 | 4 | 2021 |
| Aplicación Web Móvil Integrada al Sistema de Referencias Médicas del Programa SOS Telemedicina para Venezuela A Morales, V Rodríguez, A Bay Segunda Conferencia Nacional de Computación, Informática y Sistemas (CoNCISa …, 2014 | 2 | 2014 |
| Improving the Specification of the Wimax ARQ Operation A Morales, M Villapol, L Contreras | 2 | 2014 |
| Modelado y Análisis Inicial de la Especificación de Servicio de la capa MAC del IEEE 802.16 utilizando Redes de Petri Coloreadas (CPN). A Morales, V Maria XXXIII Conferencia Latinoamericana en Informática (CLEI2007), 2007 | 2 | 2007 |
| Analysis of the Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16. An Aproach A Morales Bezeira, M Villapol, E Scalise, C Naranjo, F Álvarez Simposio Latinoamericano de Infraestructura, Hardware y Software (SLIHS …, 2017 | 1 | 2017 |
| Solución Automatizada Para la Gestión y Control de Asistencia Mediante el Uso de Tecnología Bluetooth con Dispositivos Móviles R Reyes, MA Astor, A Morales, ME Villapol IV Conferencia Nacional de Computación, Informática y Sistemas CoNCISa, 2016 | 1 | 2016 |
| VideoLlamada IP Móvil: soporte para consulta médica especializada para zonas rurales utilizando dispositivos móviles para el Programa SOS Telemedicina para Venezuela AM Bezeira, M Villapol, AS Sprock, F Alonso, T Briceño, N Urbina Revista Tecnológica-ESPOL 28 (5), 2015 | 1 | 2015 |
| Analizador de Tramas de la capa ISUP del Sistema de Señalización n.° 7 (SS7): SAT-ISUPSS7 AM Bezeira, AS Sprock, R Gutiérrez Revista Tecnológica-ESPOL 28 (5), 2015 | 1 | 2015 |
| AlzRastreo: Accompanying Alzheimer’s Patients and Their Caregivers A Silva Sprock, A Morales Bezeira Colombian Conference on Computing, 1-14, 2022 | | 2022 |
| Analysis of the dynamic service flow management transactions protocol for MAC IEEE 802.16. An aproach AM Bezeira, M Villapol, E Scalise, C Naranjo, F Alvárez 2017 XLIII Latin American Computer Conference (CLEI), 1-10, 2017 | | 2017 |
| Libros-CEAPUCV: Una Experiencia para el Aprovechamiento de Textos Escolares y Cuentos a través de la Negociación de Libros entre Miembros de la Comunidad R Annerys, M Sherezada, M Ana, V María Elena, Z Jossie Tercera Conferencia Nacional de Computación, Informática y Sistemas (CoNCISa …, 2015 | | 2015 |
| Gestión de Flujo y Firma Electrónica de Documentos Digitales Mediante Huella Dactilar y Certificados Digitales: caso de estudio FUNVISIS D Alfaro, R Martínez, A Morales, A Carlos, L Adriana. III Simposio Científico y Tecnológico en Computación (SCTC2014)., 108-115, 2014 | | 2014 |
| Sistema de Gestión de Pasantías: SIGEPAS A Morales, A Silva Segundo Venezolano de Ciencia, Tecnología e Innovación (LOCTI-PEII) 2013, 2013 | | 2013 |
| Interconexión de ambulancias y centros de asistencia médica hospitalaria en tiempo real utilizando una arquitectura de red inalámbrica mallada. A Morales, V María Primer Congreso Venezolano de Ciencia, Tecnología e Innovación (LOCTI-PEII …, 2012 | | 2012 |
| Una Revisión Formal a la Especificación del Servicio para la Gestión de las Conexiones en la Capa MAC IEEE 802.16 A Morales, V María II Simposio Científico y Tecnológico de Computación 2012 (SCTC2012)., 59-66, 2012 | | 2012 |
| Integración de las funcionalidades de generación y análisis de secuencias de protocolos en CPN Tools. A Morales, M Rivero, V Maria Jornadas de Investigación y Extensión Facultad de Ciencias 2012. Universidad …, 2012 | | 2012 |
María Elena VillapolWestern Institute of Technology at Taranaki在 witt.ac.nz 的电子邮件经过验证
