Follow
Yensen Limón Priego
Yensen Limón Priego
Jefe de análisis y desarrollo de sistemas internos en la SSP
Verified email at estudiantes.uv.mx
Title
Cited by
Cited by
Year
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
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
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
Consistency checking of attention aware systems.
Y Limón, E Bárcenas, E Benítez-Guerrero, J Gomez, MJO Galindo, ...
LANMR, 13-23, 2019
32019
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
22015
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
12020
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
12017
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
12017
Análisis de Independencia de Consultas en Bases de Datos Semi-Estructurados
Y Limón, E Bárcenas, E Benítez-Guerrero
The system can't perform the operation now. Try again later.
Articles 1–10