Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hestand, D.
Hao Mao
Martha W Jones
Peter Malec
Rajni Nigam
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MIGUEL J. HORNOS
Author Info
Open Visualization
Name
Affiliation
Papers
MIGUEL J. HORNOS
Univ Granada, Dpto Lenguajes & Sistemas Informat, ETSIIT, E-18071 Granada, Spain
35
Collaborators
Citations
PageRank
42
101
14.77
Referers
Referees
References
232
604
337
Search Limit
100
604
Publications (35 rows)
Collaborators (42 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Introduction to the Proceedings of WoRIE'19.
0
0.34
2019
A Workflow Ontology To Support Knowledge Management In A Group'S Organizational Structure
0
0.34
2018
Increasing user confidence in intelligent environments.
1
0.36
2018
Linguistic multi-criteria decision-making model with output variable expressive richness.
4
0.38
2017
Application of Software Engineering techniques to improve the reliability of Intelligent Environments.
3
0.39
2017
Semantic Formalism for Modelling the Group Interaction.
0
0.34
2016
Applying a linguistic multi-criteria decision-making model to the analysis of ICT suppliers' offers.
2
0.35
2016
A Software Architecture for Defining a Methodologic Approach to Develop Collaborative Applications.
0
0.34
2015
SICTQUAL: A fuzzy linguistic multi-criteria model to assess the quality of service in the ICT sector from the user perspective.
6
0.43
2015
Knowledge Representation for Development of Collaborative Applications.
0
0.34
2014
A multidimensional data model using the fuzzy model based on the semantic translation
3
0.49
2013
Software simulation and verification to increase the reliability of Intelligent Environments
24
0.88
2013
Using Simulation and Verification to Inform the Development of Intelligent Environments.
4
0.40
2012
Enabling correct design and formal analysis of Ambient Assisted Living systems
19
0.86
2012
Hierarchical role-based design of web-based educational systems for blended learning in higher education
1
0.36
2012
Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices
1
0.37
2012
Long-distance runner training system for smartphones
1
0.38
2012
Introduction to the Proceedings of WoRIE'14.
0
0.34
2012
A Linguistic Multi-Criteria Decision Making Model Applied To The Integration Of Education Questionnaires
6
0.49
2011
Game of gifts purchase: Computer-based training of executive functions for the elderly
3
0.67
2011
Service-Based Layered Architectural Model for Building Collaborative Applications in Heterogeneous Environments
0
0.34
2009
Towards Compositional Verification in MEDISTAM-RT Methodological Framework
0
0.34
2009
Ontology-based modelling of session management policies for groupware applications
5
0.55
2007
Architecture for developing adaptive and adaptable collaborative applications
1
0.36
2007
Designing User Interfaces for Collaborative Applications: A Model-Based Approach
0
0.34
2007
Evolution of the design and implementation of tutor: a web-based educational system for university courses
0
0.34
2007
SOA-based Generic Architecture for CSCW Systems
0
0.34
2006
Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector
0
0.34
2006
Development of extensible and flexible collaborative applications using a web service-based architecture
4
0.53
2006
A Software Architecture Intended to Design High Quality Groupware Applications
9
0.65
2005
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
0
0.34
2004
Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata
0
0.34
2004
On-the-fly model checking from interval logic specifications
3
0.42
2002
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos
0
0.34
2001
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic
1
0.37
2001
1