Follow
Everardo Barcenas
Everardo Barcenas
Verified email at fi-b.unam.mx - Homepage
Title
Cited by
Cited by
Year
LBP and machine learning for diabetic retinopathy detection
J De la Calleja, L Tecuapetla, M Auxilio Medina, E Bárcenas, ...
Intelligent Data Engineering and Automated Learning–IDEAL 2014: 15th …, 2014
372014
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
222014
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
142018
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
132018
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
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
92018
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
82015
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, 652-660, 2020
72020
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
62020
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
62016
Identificación de lengua de señas mediante técnicas de procesamiento de imágenes
MM Gutiérrez, JR Rojano-Cáceres, IEB Patiño, FJ Pérez
Advances in Intelligent Technologies and its Applications, 121, 2016
52016
Mu-calculus satisfiability with arithmetic constraints
Y Limón, E Bárcenas, E Benítez-Guerrero, GM Castillo, ...
Programming and Computer Software 46, 503-510, 2020
42020
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
42019
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
Equivalences Among Polarity Algorithms
JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ...
Studia Logica, 1-25, 2018
42018
Preventable risk factors for type 2 diabetes can be detected using noninvasive spontaneous electroretinogram signals
R Noguez Imm, J Muñoz-Benitez, D Medina, E Barcenas, ...
PLoS One 18 (1), e0278388, 2023
32023
Database management system verification with separation logics
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
Programming and Computer Software 47, 654-672, 2021
32021
Tender system verification with satisfiability modulo theories
R Dávila, R Aldeco-Pérez, E Bárcenas
2021 9th International Conference in Software Engineering Research and …, 2021
32021
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, ...
Advances in Information and Communication: Proceedings of the 2020 Future of …, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20