| 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 | 21 | 2014 |
| 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 | 18 | 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 | 13 | 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 | 11 | 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 | 8 | 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 | 6 | 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 | 5 | 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 | 4 | 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 | 4 | 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 | 3 | 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 | 3 | 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 | 3 | 2018 |
| Equivalences Among Polarity Algorithms JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ... Studia Logica, 1-25, 2018 | 3 | 2018 |
| Raisonnement automatisé sur les arbres avec des contraintes de cardinalité E Barcenas Université de Grenoble, 2011 | 3 | 2011 |
| Presburger Constraints in Trees E Barcenas, E Benítez Guerrero, J Lavalle, G Molero Castillo Computación y Sistemas 24 (1), 2020 | 2 | 2020 |
| 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 | 2 | 2019 |
| Model Checking for Gaze Pattern Recognition A Rodríguez, E Bárcenas, G Molero-Castillo 2019 International Conference on Electronics, Communications and Computers …, 2019 | 2 | 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 | 2 | 2017 |
| 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 | 2 | 2016 |
Guillermo Molero-CastilloUNAMVerified email at comunidad.unam.mx
