Follow
Everardo Barcenas
Everardo Barcenas
unam
Verified email at fi-b.unam.mx - Homepage
Title
Cited by
Cited by
Year
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
292011
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
222014
Global Numerical Constraints on Trees
E Bárcenas, J Lavalle
Logical Methods in Computer Science 10 (2), 2014
212014
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
132013
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
112018
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
82018
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
62015
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
52016
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
42020
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
42018
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
32020
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
32019
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
32018
Equivalences Among Polarity Algorithms
JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ...
Studia Logica, 1-25, 2018
32018
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
E Barcenas
Université de Grenoble, 2011
32011
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
22020
Presburger Constraints in Trees
E Barcenas, E Benítez Guerrero, J Lavalle, G Molero Castillo
Computación y Sistemas 24 (1), 2020
22020
Model Checking for Gaze Pattern Recognition
A Rodríguez, E Bárcenas, G Molero-Castillo
2019 International Conference on Electronics, Communications and Computers …, 2019
22019
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
22019
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
22017
The system can't perform the operation now. Try again later.
Articles 1–20