Everardo Bárcenas

Orcid: 0000-0002-1523-1579

According to our database1, Everardo Bárcenas authored at least 44 papers between 2009 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas (CyS), 2023

2022
Formal Verification of Blockchain Based Tender Systems.
Program. Comput. Softw., 2022

Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas, 2022

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

On the Paraconsistent Logic CG′3.
Computación y Sistemas, 2021

On the Algebrization of the Multi-valued Logics CG'3 and G'3.
Computación y Sistemas, 2021

2020
Sobre la algebrización de la lógica paraconsiente CG'3.
Res. Comput. Sci., 2020

A Data Fusion Approach of Physical Variables Measured through a Wireless Sensor Network.
Res. Comput. Sci., 2020

Sobre la automatización del razonamiento y el aprendizaje en lógicas modales.
Res. Comput. Sci., 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

Presburger Constraints in Trees.
Computación y Sistemas, 2020

Web Service to Retrieve and Semantically Enrich Datasets for Theses From Open Educational Repositories.
IEEE Access, 2020

2019
Completeness for the paraconsistent logic CG<sup>'</sup><sub>3</sub> based on maximal theories.
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

Consistency checking of attention aware systems.
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 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

Expressive Context Modeling with Description Logics.
Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

Model Checking for Gaze Pattern Recognition.
Proceedings of the International Conference on Electronics, Communications and Computers, 2019

2018
Equivalences Among Polarity Algorithms.
Stud Logica, 2018

Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces.
Res. Comput. Sci., 2018

Data fusion as source for the generation of useful knowledge in context-aware systems.
J. Intell. Fuzzy Syst., 2018

On the consistency of context-aware systems.
J. Intell. Fuzzy Syst., 2018

Depth-First Reasoning on Trees.
Computación y Sistemas, 2018

Craig interpolation on the logic of knowledge.
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2017
Reasoning in Context-Aware Systems with Modal Logics.
Res. Comput. Sci., 2017

Branching Path Planning with Modal Logics.
Computación y Sistemas, 2017

Depth-first search satisfiability of the μ-calculus with converse over trees.
Proceedings of the 2017 International Conference on Electronics, 2017

2016
Identificación de lengua de señas mediante técnicas de procesamiento de imágenes.
Res. Comput. Sci., 2016

On Regular Paths with Counting and Data Tests.
Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

(Hyper)sequent Calculi for the ALC(S4) Description Logics.
Computación y Sistemas, 2016

Query reasoning on data trees with counting.
Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016

Reasoning on expressive description logics with arithmetic constraints.
Proceedings of the 2016 International Conference on Electronics, 2016

2015
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property.
Res. Comput. Sci., 2015

A Counting Logic for Trees.
Computación y Sistemas, 2015

On the Model Checking of the Graded μ-calculus on Trees.
Proceedings of the Advances in Artificial Intelligence and Soft Computing, 2015

2014
Global Numerical Constraints on Trees.
Log. Methods Comput. Sci., 2014

LBP and Machine Learning for Diabetic Retinopathy Detection.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2014, 2014

Reasoning about the past on temporal specifications for motion planning.
Proceedings of the 24th International Conference on Electronics, 2014

2013
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.
Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

2011
Query Reasoning on Trees with Types, Interleaving, and Counting.
Proceedings of the IJCAI 2011, 2011

2010
On the Count of Trees
CoRR, 2010

A Tree Logic with Graded Paths and Nominals
CoRR, 2010

2009
On the analysis of queries with counting constraints.
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009


  Loading...