Name
Affiliation
Papers
EDGARD BENÍTEZ-GUERRERO
Univ Veracruzana, Fac Estadist & Informat, Xalapa 91020, Veracruz, Mexico
29
Collaborators
Citations 
PageRank 
42
9
10.06
Referers 
Referees 
References 
25
425
172
Search Limit
100425
Title
Citations
PageRank
Year
Presburger Constraints In Trees00.342020
Mu-Calculus Satisfiability With Arithmetic Constraints00.342020
A System To Match Behaviors And Performance Of Learners From User-Object Interactions: Model And Architecture00.342019
Adapting Card Sorting for Blind People: Evaluation of the Interaction Design in TalkBack00.342019
Consistency checking of attention aware systems.00.342019
Interactive System For The Analysis Of Academic Achievement At The Upper-Middle Education In Mexico00.342018
Depth-First Reasoning On Trees00.342018
Un sistema tangible para el aprendizaje de álgebra relacional.00.342018
Data fusion as source for the generation of useful knowledge in context-aware systems.00.342018
On the consistency of context-aware systems.00.342018
Reasoning in Context-Aware Systems with Modal Logics.00.342017
Towards an intelligent desk matching behaviors and performance of learners.00.342017
Depth-first search satisfiability of the μ-calculus with converse over trees00.342017
Método de fusión de datos de fuentes heterogéneas para mantener la consistencia de datos.00.342017
Assessing collaboration from real computer supported collaborative learning sessions.00.342017
TanQuery: a tangible system for relational algebra learning.00.342017
Branching Path Planning With Modal Logics00.342017
Applying usability evaluation methods with blind users: a systematic mapping study.00.342017
Query reasoning on data trees with counting.00.342016
On Regular Paths with Counting and Data Tests.00.342016
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property.00.342015
Measuring Social Presence in groupware systems00.342015
On the Model Checking of the Graded μ-calculus on Trees.00.342015
Towards a Context-Aware Framework for Improving Collaboration of Users in Groupware Systems.00.342014
Ambientes inteligentes en contextos educativos: modelo y arquitectura.20.392014
Context-Aware Groupware Systems and Video Games: State of the Art00.342013
Context-aware Mobile Collaborative Systems: conceptual modeling and case study.70.542012
A Declarative Approach for Managing and Querying e-Learning Objects00.342008
The MineSP operator for mining sequential patterns in inductive databases00.342006