| 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 | 16 | 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 | 11 | 2018 |
| 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 |
| 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 |
| Consistency checking of attention aware systems. Y Limón, E Bárcenas, E Benítez-Guerrero, J Gomez, MJO Galindo, ... LANMR, 13-23, 2019 | 3 | 2019 |
| 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 Res. Comput. Sci. 99, 9-18, 2015 | 3 | 2015 |
| Sobre la automatización del razonamiento y el aprendizaje en lógicas modales. Y Limón, E Bárcenas, G Molero-Castillo, R Aldeco-Pérez Res. Comput. Sci. 149 (8), 893-906, 2020 | 1 | 2020 |
| Depth-first search satisfiability of the μ-calculus with converse over trees Y Limón, E Bárcenas, E Benítez-Guerrero, MA Medina 2017 International Conference on Electronics, Communications and Computers …, 2017 | 1 | 2017 |
| Reasoning in Context-Aware Systems with Modal Logics. Y Limón, E Bárcenas, E Benítez-Guerrero Res. Comput. Sci. 133, 51-61, 2017 | 1 | 2017 |
| Análisis de Independencia de Consultas en Bases de Datos Semi-Estructurados Y Limón, E Bárcenas, E Benítez-Guerrero | | |
