Everardo Bárcenas

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 30

Top Topics

Diabetic Retinopathy

Sequent Calculi

Arithmetic Constraints

Top Venues

Res. Comput. Sci.

Computación y Sistemas

Program. Comput. Softw.

Publications

Miguel Pérez-Gaspar, Javier Gómez, Everardo Bárcenas, Francisco García
Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic. IE (2024)
Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning. Computación y Sistemas (CyS) 27 (1) (2023)
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
Formal Verification of Blockchain Based Tender Systems. Program. Comput. Softw. 48 (8) (2022)
Claudia Zepeda Cortés, José Luis Carballido Carranza, José Raymundo Marcial-Romero, Everardo Bárcenas
Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning. Computación y Sistemas 26 (2) (2022)
Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez
Database Management System Verification with Separation Logics. Program. Comput. Softw. 47 (8) (2021)
Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas
On the Paraconsistent Logic CG′3. Computación y Sistemas 25 (2) (2021)
Miguel Pérez-Gaspar, Everardo Bárcenas
On the Algebrization of the Multi-valued Logics CG'3 and G'3. Computación y Sistemas 25 (4) (2021)
Miguel Pérez-Gaspar, Everardo Bárcenas
Sobre la algebrización de la lógica paraconsiente CG'3. Res. Comput. Sci. 149 (11) (2020)
Thomas Alejandro Arias Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network. Res. Comput. Sci. 149 (11) (2020)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
Mu-Calculus Satisfiability with Arithmetic Constraints. Program. Comput. Softw. 46 (8) (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. Res. Comput. Sci. 149 (8) (2020)
Donovan Riaño, Rodrigo Piñon, Guillermo Molero-Castillo, Everardo Bárcenas, Alejandro Velázquez-Mena
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm. Program. Comput. Softw. 46 (8) (2020)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo
Presburger Constraints in Trees. Computación y Sistemas 24 (1) (2020)
Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez, Alejandro Velázquez-Mena
A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence. Res. Comput. Sci. 149 (11) (2020)
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
. LANMR (Selected Papers) (2019)
Rolando Ramírez-Rueda, Everardo Bárcenas, Carmen Mezura-Godoy, Guillermo Molero-Castillo
Expressive Context Modeling with Description Logics. KGSWC (2019)
Miguel Pérez-Gaspar, Everardo Bárcenas
based on maximal theories. LANMR (2019)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez
Consistency checking of attention aware systems. LANMR (2019)
Ari Rodriguez, Everardo Bárcenas, Guillermo Molero-Castillo
Model Checking for Gaze Pattern Recognition. CONIELECOMP (2019)
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
Craig interpolation on the logic of knowledge. LANMR (2018)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero
On the consistency of context-aware systems. J. Intell. Fuzzy Syst. 34 (5) (2018)
Heber Avalos-Viveros, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas
Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces. Res. Comput. Sci. 147 (11) (2018)
Julio Muñoz, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas
Data fusion as source for the generation of useful knowledge in context-aware systems. J. Intell. Fuzzy Syst. 34 (5) (2018)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, María Auxilio Medina Nieto
Depth-first search satisfiability of the μ-calculus with converse over trees. CONIELECOMP (2017)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero
Reasoning in Context-Aware Systems with Modal Logics. Res. Comput. Sci. 133 (2017)
Everardo Bárcenas, Edgard Benítez-Guerrero, Antonio Benítez, Jorge de la Calleja, Ma. Auxilio Medina
Branching Path Planning with Modal Logics. Computación y Sistemas 21 (3) (2017)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
On Regular Paths with Counting and Data Tests. Electron. Notes Theor. Comput. Sci. 328 (2016)
Juan Pablo Munoz Toriz, Everardo Bárcenas, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez
(Hyper)sequent Calculi for the ALC(S4) Description Logics. Computación y Sistemas 20 (1) (2016)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
Query reasoning on data trees with counting. LANMR (2016)
Everardo Bárcenas, Guillermo Molero, Gabriela Sánchez, Edgard Benítez-Guerrero, Carmen Mezura-Godoy
Reasoning on expressive description logics with arithmetic constraints. CONIELECOMP (2016)
Everardo Bárcenas
A Counting Logic for Trees. Computación y Sistemas 19 (2) (2015)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Carmen Mezura-Godoy
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property. Res. Comput. Sci. 99 (2015)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
On the Model Checking of the Graded μ-calculus on Trees. MICAI (1) (2015)
Everardo Bárcenas, Antonio Benítez, Jorge de la Calleja, María Auxilio Medina Nieto, Jorge Rios-Martinez
Reasoning about the past on temporal specifications for motion planning. CONIELECOMP (2014)
Jorge de la Calleja, Lourdes Tecuapetla, Ma. Auxilio Medina, Everardo Bárcenas, Argelia B. Urbina Nájera
LBP and Machine Learning for Diabetic Retinopathy Detection. IDEAL (2014)
Everardo Bárcenas, Jesús Lavalle
Global Numerical Constraints on Trees. Log. Methods Comput. Sci. 10 (2) (2014)
Everardo Bárcenas, Jesús Lavalle
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. MICAI (1) (2013)
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
Query Reasoning on Trees with Types, Interleaving, and Counting. IJCAI (2011)
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
A Tree Logic with Graded Paths and Nominals CoRR (2010)
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
On the Count of Trees CoRR (2010)
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda
On the analysis of queries with counting constraints. ACM Symposium on Document Engineering (2009)