Alejandro Velázquez-Mena

Orcid: 0000-0003-3509-6236

According to our database1, Alejandro Velázquez-Mena authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DICOMIST: An methodology for Performing Distributed Computing in Heterogeneous ad hoc Networks.
Int. J. Comput. Commun. Control, 2024

2021
Database Management System Verification with Separation Logics.
Program. Comput. Softw., 2021

2020
A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.
Res. Comput. Sci., 2020

Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm.
Program. Comput. Softw., 2020

Mu-Calculus Satisfiability with Arithmetic Constraints.
Program. Comput. Softw., 2020

2019
A Note on Constructive Interpolation for the Multi-Modal Logic <i>K</i><sub><i>m</i></sub>.
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.
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.
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.
Res. Comput. Sci., 2016

2013
Static Reception Results of DRM+ Field Trials in VHF Band II in Brazil.
IEEE Trans. Broadcast., 2013


  Loading...