Follow
Ana Morales Bezeira
Ana Morales Bezeira
Professor of Computer Science, Escuela de Computación, Facultad de Ciencias, Universidad Central de
Verified email at ciens.ucv.ve
Title
Cited by
Cited by
Year
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
92013
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
62018
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
52017
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
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
42021
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
22014
Improving the Specification of the Wimax ARQ Operation
A Morales, M Villapol, L Contreras
22014
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
22007
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
12017
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
12016
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
12015
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
12015
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
The system can't perform the operation now. Try again later.
Articles 1–20