Alejandro Velázquez-Mena

According to our database, Alejandro Velázquez-Mena authored at least 9 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Database Management System Verification with Separation Logics.

Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez

Program. Comput. Softw., 2021

2020

A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.

Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez, Alejandro Velázquez-Mena

Res. Comput. Sci., 2020

Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm.

Donovan Riaño, Rodrigo Piñon, Guillermo Molero-Castillo, Everardo Bárcenas, Alejandro Velázquez-Mena

Program. Comput. Softw., 2020

Mu-Calculus Satisfiability with Arithmetic Constraints.

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Program. Comput. Softw., 2020

2019

A Note on Constructive Interpolation for the Multi-Modal Logic <i>K</i>_<i>m</i>.

Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

2018

Craig interpolation on the logic of knowledge.

Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2016

Análisis del logro académico de estudiantes en el nivel medio superior a través de minería de datos centrada en el usuario.

Gabriel Maldonado, Guillermo Molero-Castillo, José Rafael Rojano-Cáceres, Alejandro Velázquez-Mena

Res. Comput. Sci., 2016

Minería de datos centrada en el usuario para el análisis de la supervivencia y mortalidad de casos de cáncer de mama en mujeres de origen mexicano.

Aldair Antonio-Aquino, Guillermo Molero-Castillo, José Rafael Rojano-Cáceres, Alejandro Velázquez-Mena

Res. Comput. Sci., 2016

2013

Static Reception Results of DRM+ Field Trials in VHF Band II in Brazil.

José María Matías, Flavio Ferreira Lima, Rodolfo Saboia L. Souza, Claudio Garcia Batista, Alejandro Velázquez-Mena, Juventino Cuellar

IEEE Trans. Broadcast., 2013