Everardo Barcenas
Everardo Barcenas
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
282011
Global Numerical Constraints on Trees
E Bárcenas, J Lavalle
Logical Methods in Computer Science 10 (2), 2014
192014
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
162014
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
92018
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
72018
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
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
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
E Barcenas
Université de Grenoble, 2011
32011
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
22019
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
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
22018
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
22016
A counting logic for trees
E Bárcenas
Computación y Sistemas 19 (2), 407-422, 2015
22015
On the analysis of queries with counting constraints
E Bárcenas, P Genevès, N Layaïda
Proceedings of the 9th ACM symposium on Document engineering, 21-24, 2009
22009
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
12020
Presburger Constraints in Trees
E Barcenas, E Benítez Guerrero, J Lavalle, G Molero Castillo
Computación y Sistemas 24 (1), 2020
12020
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
12020
Expressive Context Modeling with Description Logics
R Ramírez-Rueda, E Bárcenas, C Mezura-Godoy, G Molero-Castillo
Iberoamerican Knowledge Graphs and Semantic Web Conference, 174-185, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20