On the analysis of queries with counting constraints. - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda (ACM Symposium on Document Engineering, 2009)

A Tree Logic with Graded Paths and Nominals - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda; Alan Schmitt (CoRR, 2010)

On the Count of Trees - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda; Alan Schmitt (CoRR, 2010)

Query Reasoning on Trees with Types, Interleaving, and Counting. - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda; Alan Schmitt (IJCAI, 2011)

Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. - Everardo Bárcenas; Jesús Lavalle (MICAI (1), 2013)

Reasoning about the past on temporal specifications for motion planning. - Everardo Bárcenas; Antonio Benítez; Jorge de la Calleja; María Auxilio Medina Nieto; Jorge Ríos-Martínez (CONIELECOMP, 2014)

LBP and Machine Learning for Diabetic Retinopathy Detection. - Jorge de la Calleja; Lourdes Tecuapetla; Ma. Auxilio Medina; Everardo Bárcenas; Argelia B. Urbina Nájera (IDEAL, 2014)

Global Numerical Constraints on Trees. - Everardo Bárcenas; Jesús Lavalle (Log. Methods Comput. Sci., 2014)

On the Model Checking of the Graded μ-calculus on Trees. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle (MICAI (1), 2015)

A Counting Logic for Trees. - Everardo Bárcenas (Computación y Sistemas, 2015)

Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property. - Yensen Limón; Everardo Bárcenas; Edgard Benítez-Guerrero; Carmen Mezura-Godoy (Res. Comput. Sci., 2015)

Reasoning on expressive description logics with arithmetic constraints. - Everardo Bárcenas; Guillermo Molero-Castillo; Gabriela Sánchez; Edgard Benítez-Guerrero; Carmen Mezura-Godoy (CONIELECOMP, 2016)

Query reasoning on data trees with counting. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle (LANMR, 2016)

(Hyper)sequent Calculi for the ALC(S4) Description Logics. - Juan Pablo Munoz Toriz; Everardo Bárcenas; Iván Martínez Ruiz; José Ramón Enrique Arrazola-Ramírez (Computación y Sistemas, 2016)

On Regular Paths with Counting and Data Tests. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle (LANMR (Selected Papers), 2016)

Identificación de lengua de señas mediante técnicas de procesamiento de imágenes. - Manuel Eleazar Martínez-Gutiérrez; José Rafael Rojano-Cáceres; Ismael Everardo Bárcenas Patiño; Fredy Juárez Pérez (Res. Comput. Sci., 2016)

Depth-first search satisfiability of the μ-calculus with converse over trees. - Yensen Limón; Everardo Bárcenas; Edgard Benítez-Guerrero; María Auxilio Medina Nieto (CONIELECOMP, 2017)

Branching Path Planning with Modal Logics. - Everardo Bárcenas; Edgard Benítez-Guerrero; Antonio Benítez; Jorge de la Calleja; Ma. Auxilio Medina (Computación y Sistemas, 2017)

Reasoning in Context-Aware Systems with Modal Logics. - Yensen Limón; Everardo Bárcenas; Edgard Benítez-Guerrero (Res. Comput. Sci., 2017)

Craig interpolation on the logic of knowledge. - Everardo Bárcenas; José de Jesús Lavalle-Martínez; Guillermo Molero-Castillo; Alejandro Velázquez-Mena (LANMR, 2018)

Depth-First Reasoning on Trees. - Yensen Limón; Ismael Everardo Bárcenas Patiño; Edgard Benítez-Guerrero; María Auxilio Medina Nieto (Computación y Sistemas, 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)

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)

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)

Equivalences Among Polarity Algorithms. - José de Jesús Lavalle-Martínez; Manuel Montes-y-Gómez; Luis Villaseñor Pineda; Héctor Jiménez-Salazar; Ismael Everardo Bárcenas Patiño (Stud Logica, 2018)

Model Checking for Gaze Pattern Recognition. - Ari Rodriguez; Everardo Bárcenas; Guillermo Molero-Castillo (CONIELECOMP, 2019)

Expressive Context Modeling with Description Logics. - Rolando Ramírez-Rueda; Everardo Bárcenas; Carmen Mezura-Godoy; Guillermo Molero-Castillo (KGSWC, 2019)

A Note on Constructive Interpolation for the Multi-Modal Logic Km. - Everardo Bárcenas; José de Jesús Lavalle-Martínez; Guillermo Molero-Castillo; Alejandro Velázquez-Mena (LANMR (Selected Papers), 2019)

Consistency checking of attention aware systems. - Yensen Limón; Everardo Bárcenas; Edgard Benítez-Guerrero; Javier Gomez (LANMR, 2019)

Completeness for the paraconsistent logic CG'3 based on maximal theories. - Miguel Pérez-Gaspar; Everardo Bárcenas (LANMR, 2019)

Web Service to Retrieve and Semantically Enrich Datasets for Theses From Open Educational Repositories. - 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; Ismael Everardo Bárcenas Patiño (IEEE Access, 2020)

Presburger Constraints in Trees. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle; Guillermo Molero-Castillo (Computación y Sistemas, 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)

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)

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)

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 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 algebrización de la lógica paraconsiente CG'3. - Miguel Pérez-Gaspar; Everardo Bárcenas (Res. Comput. Sci., 2020)

On the Algebrization of the Multi-valued Logics CG'3 and G'3. - Miguel Pérez-Gaspar; Everardo Bárcenas (Computación y Sistemas, 2021)

On the Paraconsistent Logic CG′3. - Miguel Pérez-Gaspar; Verónica Borja Macías; Everardo Bárcenas (Computación y Sistemas, 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)

Machine Learning for the Retail Trade Behavior Analysis in Mexico. - Patricia Soto-Vázquez; Guillermo Molero-Castillo; Everardo Bárcenas; Rocío Aldeco-Pérez (Res. Comput. Sci., 2021)

Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning. - Claudia Zepeda Cortés; José Luis Carballido Carranza; José Raymundo Marcial-Romero; Everardo Bárcenas (Computación y Sistemas, 2022)

Formal Verification of Blockchain Based Tender Systems. - René Dávila; Rocío Aldeco-Pérez; Everardo Bárcenas (Program. Comput. Softw., 2022)

Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning. - Everardo Bárcenas; Lourdes Del Carmen González-Huesca; Favio Ezequiel Miranda-Perea; Miguel Pérez-Gaspar (Computación y Sistemas (CyS), 2023)

Elderly Mortality from COVID-19 in Mexico City: A Computational Intelligence Approach Based on Random Forests. - Sinuhe Mazuti Osorio-Rivero; Guillermo Molero-Castillo; Everardo Bárcenas; Rocío Aldeco-Pérez (Res. Comput. Sci., 2023)

Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic. - Miguel Pérez-Gaspar; Javier Gómez; Everardo Bárcenas; Francisco García (IE, 2024)

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing. - Rolando Ramírez-Rueda; Edgard Benítez-Guerrero; Carmen Mezura-Godoy; Everardo Bárcenas (Program. Comput. Softw., 2024)