Publicaciones

Artículos de investigación publicados en revistas
1. F. Rebollar-Castelan, R. Aldeco-Pérez, M. Ramos-Corchado. Modeling a multilayered blockchain framework for digital services that governments can implement. Journal of Intelligent and Fuzzy Systems (JCR).

2. D. Medina-Martínez, E. Bárcenas, G. Molero-Castillo, A. Velázquez-Mena, R. Aldeco-Pérez. Database Management System Verification with Separation Logics”. Programming and Computer Software (JCR).

3. M. Pérez-Gaspar, E. Bárcenas. On the algebrization of multi-valued logics CG’3 and G’3. Computación y Sistemas (CONACYT).
Artículos de investigación publicados en memorias de congresos
1. J. Jiménez Miramontes, R. Aldeco-Pérez. Marco de Referencia para trazabilidad y almacenamiento de activos digitales. Encuentro Nacional de Computación 2021. Sociedad Mexicana de Ciencia de la Computación.

2. R. Dávila, R. Aldeco-Pérez, E. Bárcenas. Tender System Verification with Satisfiability Modulo Theories. International Conference in Software Engineering Research and Innovation (CONISOFT) 2021. IEEE.

3. D. Ambrosio-Aguilar, E. Bárcenas, G. Molero-Castillo, R. Aldeco-Pérez. Geolocation of Tweets in Spanish with Transformer Encoders. International Conference in Software Engineering Research and Innovation (CONISOFT), IEEE.
Derechos de autor
1. Sistema para tamizaje y detección temprana de la retinopatía diabética. Programa de computación. Núm. de registro: 03-2021-112513420200-01. Autores: Guillermo Molero-Castillo, Everardo Bárcenas Patiño, Diego Medina (estudiante).
Fernando Rebollar, Rocío Aldeco-Pérez, Marco Antonio Ramos Corchado, Rosa Maria Valdovinos Rosas
"A blockchain-based multilayer model that increases trust in government services"
“Special Issue on Blockchain-based Zero Trust Cybersecurity in the Internet of Things”.
Miguel Pérez-Gaspar, Verónica Borja-Macías, Everardo Barcenas
On the Paraconsistent Logic CG′ 3.
Computación y Sistemas.
Rocío Aldeco-Pérez , Gualberto Aguilar Torres, Nareli Cruz Cortés, Luis J. Domínguez Perez, Ponciano J. Escamilla Ambrosio, Gina Gallegos García, Miguel A. León Chavez, Raúl Monroy Borja, Lil M. Rodríguez Henríquez, Francisco J. Rodríguez Henríquez, Abraham Rodríguez Mota, Moisés Salinas Rosales, Alejandra G. Silva Trujillo
“Introducción a la Ciberseguridad y sus aplicaciones en México”
Academia Mexicana de Computación, A, C., México, Noviembre 2020.
Rocío Aldeco-Pérez, Ana Isabel Martínez-García (Editores)
“Aplicaciones de la computacion” Capitulo 2 "Aplicaciones de Ciberseguridad, Criptografía e Informática Médica"
Sociedad Mexicana de Ciencias de Computación, Primera Edición: Agosto, 2020, ISBN: 978-607-506-395-9.
María Auxilio Medina Nieto, Paulo Daniel Vázquez Mora, Jorge De La Calleja Mora, Mireya Tovar Vidal, Eduardo López Domínguez, Delia Arrieta Díaz, Everardo Bárcenas
Web Service to Retrieve and Semantically Enrich Datasets for Theses From Open Educational Repositories
IEEE Access. 2020.
Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez
Sobre la automatización del razonamiento y el aprendizaje en lógicas modales
Research in Computing Science. 2020.
Miguel Pérez Gaspar, Everardo Bárcenas
Sobre la algebrización de la lógica paraconsiente CG3
Research in Computing Science. 2020.
Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez
Formal Verification of a Database Management System
2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT).
E. Bárcenas, J. Lavalle, G. Molero-Castillo, A. Velázquez-Mena
A Note on Constructive Interpolation for the Multi-Modal Logic Km
Electronic Notes in Theoretical Computer Science (Scopus). 2020.
Y. Limón, E. Bárcenas, E. Benítez-Guerrero, G. Molero-Castillo., A. Velázquez-Mena
Mu-Calculus Satisfiability with Arithmetic Constraints
Programming and Computer Software (JCR). 2020.
D. Riaño, R. Piñon, G. Molero-Castillo, E. Bárcenas, A. Velázquez-Mena
Regular Expressions for Web Advertising Detection based on an Automatic Sliding Algorithm
Programming and Computer Software (JCR). 2020.
F. Rebollar, M.A. Ramos, R. Aldeco-Pérez, R.W. Valdovinos
A multi layered blockchain for government services with smart contracts and documents
ACM Transactions on Internet Technology, 2020.
E. Bárcenas, E. Benítez-Guerrero, J. Lavalle, G. Molero-Castillo
Presburger constraints in trees
Computación y Sistemas (Conacyt). 2020.
Y. Céspedes-González, G. Molero-Castillo, P. Arieta, E. Bárcenas, A. Velázquez-Mena
Statistical analysis of the effects of institutions on the economic growth of France in recent years
Advances in Intelligent Systems and Computing, 130, 17–26 (Scopus). 2020.
D. Riaño, G. Molero-Castillo, E. Bárcenas, A. Velázquez-Mena
Regular expressions for the treatment of privacy in Web browsers
Abstraction & Application (Latindex). 2019.
G. Molero-Castillo, E. Bárcenas, A. Velázquez-Mena, Y. Céspedes-González
Analysis of academic achievement in Higher-Middle Education in Mexico through data clustering methods. Education Systems Around the World
IntechOpen. 2019.
G. Molero-Castillo, J. Jasso, A. Torres, A. Velázquez-Mena
Towards the Processes Discovery in the Medical Treatment of Mexican-Origin Women Diagnosed with Breast Cancer
Advances in Information and Communication, 69, 826–838, (Scopus). 2019.
J. Jácome, E. Benítez, G. Molero-Castillo
Knowledge Graphs for Analyzing Thermal Comfort: A Proposal
Research in Computing Science, 148(9), 9-19 ( Latindex). 2019.