| 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 | 40 | 2014 |
| 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 | 28 | 2011 |
| Global Numerical Constraints on Trees E Bárcenas, J Lavalle Logical Methods in Computer Science 10 (2), 2014 | 23 | 2014 |
| 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 | 15 | 2018 |
| 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 | 13 | 2018 |
| 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 | 13 | 2013 |
| 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 | 10 | 2018 |
| 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 | 8 | 2020 |
| 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 | 8 | 2015 |
| 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 | 7 | 2020 |
| 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 | 6 | 2016 |
| 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 | 5 | 2019 |
| Analysis of academic achievement in higher-middle education in Mexico through data clustering methods G Molero-Castillo, E Bárcenas, A Velázquez-Mena, ... Education Systems Around the World, 93, 2019 | 5 | 2019 |
| 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 | 5 | 2018 |
| 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 | 5 | 2016 |
| 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 | 4 | 2023 |
| 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 | 4 | 2020 |
| Equivalences Among Polarity Algorithms JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ... Studia Logica, 1-25, 2018 | 4 | 2018 |
| Formal Verification of Blockchain Based Tender Systems R Dávila, R Aldeco-Pérez, E Bárcenas Programming and Computer Software 48 (8), 566-582, 2022 | 3 | 2022 |
| 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 | 3 | 2021 |
Guillermo Molero-CastilloUNAM在 comunidad.unam.mx 的电子邮件经过验证
