Everardo Barcenas
Everardo Barcenas
Verified email at - 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
LBP and machine learning for diabetic retinopathy detection
J Calleja, L Tecuapetla, A Medina, E Bárcenas, AB Urbina Nájera
International Conference on Intelligent Data Engineering and Automated …, 2014
Global Numerical Constraints on Trees
E Bárcenas, J Lavalle
Logical Methods in Computer Science 10 (2), 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
Web service to retrieve and semantically enrich datasets for theses from open educational repositories
MAM Nieto, PDV Mora, JDLC Mora, MT Vidal, EL Domínguez, DA Díaz, ...
IEEE Access 8, 171933-171944, 2020
Presburger Constraints in Trees
E Barcenas, E Benítez Guerrero, J Lavalle, G Molero Castillo
Computación y Sistemas 24 (1), 2020
Model Checking for Gaze Pattern Recognition
A Rodríguez, E Bárcenas, G Molero-Castillo
2019 International Conference on Electronics, Communications and Computers …, 2019
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
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
The system can't perform the operation now. Try again later.
Articles 1–20