Yensen Limón Priego
Yensen Limón Priego
Jefe de análisis y desarrollo de sistemas internos en la SSP
Bestätigte E-Mail-Adresse bei estudiantes.uv.mx
Titel
Zitiert von
Zitiert von
Jahr
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
82018
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
62018
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
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
12019
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
Mu-Calculus Satisfiability with Arithmetic Constraints
Y Limón, E Bárcenas, E Benítez-Guerrero, GM Castillo, ...
Programming and Computer Software 46 (8), 503-510, 2020
2020
Consistency checking of attention aware systems
Y Limón, E Bárcenas, E Benıtez-Guerrero, J Gomez
2019
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
2017
Análisis de Independencia de Consultas en Bases de Datos Semi-Estructurados
Y Limón, E Bárcenas, E Benítez-Guerrero
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9