Guillermo Molero-Castillo

According to our database, Guillermo Molero-Castillo authored at least 23 papers between 2016 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 Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.

Thomas Alejandro Arias Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez

Res. Comput. Sci., 2020

Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.

Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez

Res. Comput. Sci., 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

Presburger Constraints in Trees.

Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo

Computación y Sistemas, 2020

Characterization of Objects in Indoor Spaces of Human Occupation Using Knowledge Graphs.

Rodrigo Francisco, Guillermo Molero-Castillo

Proceedings of the 17th International Conference on Electrical Engineering, 2020

2019

Knowledge Graphs for Analyzing Thermal Comfort: A Proposal.

Jorge-Luis Jácome-Domínguez, Edgard Benítez-Guerrero, Guillermo Molero-Castillo

Res. Comput. Sci., 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

Expressive Context Modeling with Description Logics.

Rolando Ramírez-Rueda, Everardo Bárcenas, Carmen Mezura-Godoy, Guillermo Molero-Castillo

Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

Model Checking for Gaze Pattern Recognition.

Ari Rodriguez, Everardo Bárcenas, Guillermo Molero-Castillo

Proceedings of the International Conference on Electronics, Communications and Computers, 2019

2018

Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces.

Heber Avalos-Viveros, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas

Res. Comput. Sci., 2018

Data fusion as source for the generation of useful knowledge in context-aware systems.

Julio Muñoz, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas

J. Intell. Fuzzy Syst., 2018

On the consistency of context-aware systems.

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

J. Intell. Fuzzy Syst., 2018

Interactive System for the Analysis of Academic Achievement at the Upper-Middle Education in Mexico.

Guillermo Molero-Castillo, Arturo Hernández Aguirre, Carmen Mezura-Godoy, Edgard Benítez-Guerrero

Computación y Sistemas, 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

2017

Método de fusión de datos de fuentes heterogéneas para mantener la consistencia de datos.

Julio Muñoz, Guillermo Molero-Castillo, Edgard Benítez-Guerrero

Res. Comput. Sci., 2017

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

Breve revisión sobre el reconocimiento de la Lengua de Señas.

Héctor Eduardo Sánchez-Barrera, José Rafael Rojano-Cáceres, Guillermo Molero-Castillo, Etelvina Archundia-Sierra

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

Designing an interaction architecture by scenarios for Deaf people.

José Rafael Rojano-Cáceres, Héctor Eduardo Sánchez-Barrera, Manuel Eleazar Martínez-Gutiérrez, Guillermo Molero-Castillo, José Antonio Ortega-Carrillo

Proceedings of the XVII International Conference on Human Computer Interaction, 2016

Reasoning on expressive description logics with arithmetic constraints.

Everardo Bárcenas, Guillermo Molero-Castillo, Gabriela Sánchez, Edgard Benítez-Guerrero, Carmen Mezura-Godoy

Proceedings of the 2016 International Conference on Electronics, 2016