Everardo Barcenas
Everardo Barcenas
Verified email at fi-b.unam.mx - Homepage
Cited by
Cited by
Query reasoning on trees with types, interleaving, and counting
E Bárcenas, P Geneves, N Layaïda, A Schmitt
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
Global Numerical Constraints on Trees
E Bárcenas, J Lavalle
Logical Methods in Computer Science 10 (2), 2014
LBP and machine learning for diabetic retinopathy detection
J De la Calleja, L Tecuapetla, MA Medina, E Bárcenas, ABU Nájera
International Conference on Intelligent Data Engineering and Automated …, 2014
Expressive reasoning on tree structures: Recursion, inverse programs, Presburger constraints and nominals
E Bárcenas, J Lavalle
Mexican International Conference on Artificial Intelligence, 80-91, 2013
On the consistency of context-aware systems
Y Limón, E Bárcenas, E Benítez-Guerrero, G Molero
Journal of Intelligent & Fuzzy Systems 34 (5), 3373-3383, 2018
Depth-first reasoning on trees
Y Limón, E Bárcenas, E Benítez-Guerrero, MA Medina
Computación y Sistemas 22 (1), 189-201, 2018
On the Model Checking of the Graded mu-calculus on Trees
E Bárcenas, E Benítez-Guerrero, J Lavalle
Mexican International Conference on Artificial Intelligence, 178-189, 2015
Reasoning on expressive description logics with arithmetic constraints
E Barcenas, G Molero, G Sánchez, E Benítez-Guerrero, C Mezura-Godoy
2016 International Conference on Electronics, Communications and Computers …, 2016
Regular Expressions for Web Advertising Detection based on an Automatic Sliding Algorithm
D Riaño, R Piñon, G Molero-Castillo, E Bárcenas, A Velázquez-Mena
Programming and Computer Software 46 (8), 652-660, 2020
Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces
H Avalos-Viveros, G Molero-Castillo, E Benitez-Guerrro, E Bárcenas
Advances in Pattern Recognition, 9, 2018
Statistical Analysis of the Effects of Institutions on the Economic Growth of France in Recent Years
Y Céspedes-González, G Molero-Castillo, P Arieta-Melgarejo, ...
Future of Information and Communication Conference, 17-26, 2020
A satisfiability algorithm for the mu-calculus for trees with presburger constraints
Y Limón, E Benítez-Guerrero, E Bárcenas, G Molero-Castillo, ...
2019 7th International Conference in Software Engineering Research and …, 2019
Data fusion as source for the generation of useful knowledge in context-aware systems
J Muñoz, G Molero-Castillo, E Benítez-Guerrero, E Bárcenas
Journal of Intelligent & Fuzzy Systems, 1-12, 2018
Equivalences Among Polarity Algorithms
JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ...
Studia Logica, 1-25, 2018
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
E Barcenas
Université de Grenoble, 2011
Presburger Constraints in Trees
E Barcenas, E Benítez Guerrero, J Lavalle, G Molero Castillo
Computación y Sistemas 24 (1), 2020
Expresiones regulares para el tratamiento de privacidad en navegadores web
D Riaño, G Molero-Castillo, A Velázquez-Mena, E Bárcenas
Abstraction & Application 25, 121-130, 2019
Model Checking for Gaze Pattern Recognition
A Rodríguez, E Bárcenas, G Molero-Castillo
2019 International Conference on Electronics, Communications and Computers …, 2019
Branching path planning with modal logics
E Bárcenas, E Benítez-Guerrero, A Benitez, J Calleja, M Medina
Computación y Sistemas 21 (3), 407-418, 2017
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property
Y Limón, E Bárcenas, E Benıtez-Guerrero, C Mezura-Godoy
Avances en la Ingeniería del Lenguaje y del Conocimiento, 9, 2016
The system can't perform the operation now. Try again later.
Articles 1–20