Everardo Bárcenas

47 papers A* 1B 1C 1Misc 1Journal 30Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
OWL Consistency Models in Smart Contracts Design.
Int. J. Comb. Optim. Probl. Informatics
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
2025 J jnl
Consistency in Smart Contracts Design.
Program. Comput. Softw.
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
2025 J jnl
Smart Contracts Formal Verification: A Systematic Literature Review.
CoRR
René Dávila, Everardo Bárcenas, Rocío Aldeco-Pérez
2024 J jnl
A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing.
Program. Comput. Softw.
Rolando Ramírez-Rueda, Edgard Benítez-Guerrero, Carmen Mezura-Godoy, Everardo Bárcenas
2024 Misc conf
Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic.
IE
Miguel Pérez-Gaspar, Javier Gómez, Everardo Bárcenas, Francisco García
2023 J jnl
Elderly Mortality from COVID-19 in Mexico City: A Computational Intelligence Approach Based on Random Forests.
Res. Comput. Sci.
Sinuhe Mazuti Osorio-Rivero, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
2023 J jnl
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas (CyS)
Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
2022 J jnl
Formal Verification of Blockchain Based Tender Systems.
Program. Comput. Softw.
René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas
2022 J jnl
Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas
Claudia Zepeda Cortés, José Luis Carballido Carranza, José Raymundo Marcial-Romero, Everardo Bárcenas
2021 J jnl
Database Management System Verification with Separation Logics.
Program. Comput. Softw.
Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena, Rocío Aldeco-Pérez
2021 J jnl
Machine Learning for the Retail Trade Behavior Analysis in Mexico.
Res. Comput. Sci.
Patricia Soto-Vázquez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
2021 J jnl
On the Algebrization of the Multi-valued Logics CG'3 and G'3.
Computación y Sistemas
Miguel Pérez-Gaspar, Everardo Bárcenas
2021 J jnl
On the Paraconsistent Logic CG′3.
Computación y Sistemas
Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas
2020 J jnl
A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.
Res. Comput. Sci.
Thomas Alejandro Arias Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez
2020 J jnl
A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence.
Res. Comput. Sci.
Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas, Rocío Aldeco-Pérez, Alejandro Velázquez-Mena
2020 J jnl
Mu-Calculus Satisfiability with Arithmetic Constraints.
Program. Comput. Softw.
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
2020 J jnl
Presburger Constraints in Trees.
Computación y Sistemas
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo
2020 J jnl
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm.
Program. Comput. Softw.
Donovan Riaño, Rodrigo Piñon, Guillermo Molero-Castillo, Everardo Bárcenas, Alejandro Velázquez-Mena
2020 J jnl
Sobre la algebrización de la lógica paraconsiente CG'3.
Res. Comput. Sci.
Miguel Pérez-Gaspar, Everardo Bárcenas
2020 J jnl
Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.
Res. Comput. Sci.
Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez
2019 — conf
A Note on Constructive Interpolation for the Multi-Modal Logic
LANMR (Selected Papers)
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
2019 — conf
Completeness for the paraconsistent logic CG
LANMR
Miguel Pérez-Gaspar, Everardo Bárcenas
2019 — conf
Consistency checking of attention aware systems.
LANMR
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez
2019 — conf
Expressive Context Modeling with Description Logics.
KGSWC
Rolando Ramírez-Rueda, Everardo Bárcenas, Carmen Mezura-Godoy, Guillermo Molero-Castillo
2019 — conf
Model Checking for Gaze Pattern Recognition.
CONIELECOMP
Ari Rodriguez, Everardo Bárcenas, Guillermo Molero-Castillo
2018 — conf
Craig interpolation on the logic of knowledge.
LANMR
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
2018 J jnl
Data fusion as source for the generation of useful knowledge in context-aware systems.
J. Intell. Fuzzy Syst.
Julio Muñoz, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas
2018 J jnl
On the consistency of context-aware systems.
J. Intell. Fuzzy Syst.
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo
2018 J jnl
Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces.
Res. Comput. Sci.
Heber Avalos-Viveros, Guillermo Molero-Castillo, Edgard Benítez-Guerrero, Everardo Bárcenas
2017 J jnl
Branching Path Planning with Modal Logics.
Computación y Sistemas
Everardo Bárcenas, Edgard Benítez-Guerrero, Antonio Benítez, Jorge de la Calleja, Ma. Auxilio Medina
2017 — conf
Depth-first search satisfiability of the μ-calculus with converse over trees.
CONIELECOMP
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, María Auxilio Medina Nieto
2017 J jnl
Reasoning in Context-Aware Systems with Modal Logics.
Res. Comput. Sci.
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero
2016 J jnl
(Hyper)sequent Calculi for the ALC(S4) Description Logics.
Computación y Sistemas
Juan Pablo Munoz Toriz, Everardo Bárcenas, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez
2016 — conf
On Regular Paths with Counting and Data Tests.
LANMR (Selected Papers)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
2016 — conf
Query reasoning on data trees with counting.
LANMR
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
2016 — conf
Reasoning on expressive description logics with arithmetic constraints.
CONIELECOMP
Everardo Bárcenas, Guillermo Molero-Castillo, Gabriela Sánchez, Edgard Benítez-Guerrero, Carmen Mezura-Godoy
2015 J jnl
A Counting Logic for Trees.
Computación y Sistemas
Everardo Bárcenas
2015 — conf
On the Model Checking of the Graded μ-calculus on Trees.
MICAI (1)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
2015 J jnl
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property.
Res. Comput. Sci.
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Carmen Mezura-Godoy
2014 J jnl
Global Numerical Constraints on Trees.
Log. Methods Comput. Sci.
Everardo Bárcenas, Jesús Lavalle
2014 C conf
LBP and Machine Learning for Diabetic Retinopathy Detection.
IDEAL
Jorge de la Calleja, Lourdes Tecuapetla, Ma. Auxilio Medina, Everardo Bárcenas, Argelia B. Urbina Nájera
2014 — conf
Reasoning about the past on temporal specifications for motion planning.
CONIELECOMP
Everardo Bárcenas, Antonio Benítez, Jorge de la Calleja, María Auxilio Medina Nieto, Jorge Ríos-Martínez
2013 — conf
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.
MICAI (1)
Everardo Bárcenas, Jesús Lavalle
2011 A* conf
Query Reasoning on Trees with Types, Interleaving, and Counting.
IJCAI
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010 J jnl
A Tree Logic with Graded Paths and Nominals
CoRR
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010 J jnl
On the Count of Trees
CoRR
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2009 B conf
On the analysis of queries with counting constraints.
ACM Symposium on Document Engineering
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda