default search action
Miguel J. Hornos
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]Miguel J. Hornos, Víctor Manuel Zamudio Rodríguez:
Sensing, decision-making and economic impact for next-generation technologies. J. Ambient Intell. Smart Environ. 16(3): 271-274 (2024) - [j23]Miguel J. Hornos, Mario Quinde:
Development methodologies for IoT-based systems: challenges and research directions. J. Reliab. Intell. Environ. 10(3): 215-244 (2024) - 2023
- [j22]Gleiston Guerrero-Ulloa
, Ariel Fernández-Loor, Francisco Moreira, Paulo Novais
Validation of a development methodology and tool for IoT-based systems through a case study for visually impaired people. Internet Things 23: 100900 (2023) - [j21]Gleiston Guerrero-Ulloa
Internet of Things (IoT)-based indoor plant care system. J. Ambient Intell. Smart Environ. 15(1): 47-62 (2023) - [j20]Gleiston Guerrero-Ulloa
Agile Methodologies Applied to the Development of Internet of Things (IoT)-Based Systems: A Review. Sensors 23(2): 790 (2023) - [c35]Carlos Rodríguez-Domínguez
Preface to the Proceedings of the 12th International Workshop on the Reliability of Intelligent Environments (WoRIE'23). Intelligent Environments (Workshops) 2023: 3 - [c34]Yaqin Shaheen
IoT Security and Privacy Challenges from the Developer Perspective. ISAmI 2023: 13-21 - [e2]Paulo Novais, Vicente Julián Inglada
Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence, ISAmI 2023, Guimarães, Portugal, July 12-14, 2023. Lecture Notes in Networks and Systems 770, Springer 2023, ISBN 978-3-031-43460-0 [contents] - 2022
- [j19]Carlos Rodríguez-Domínguez
Intelligent environments with entangled quality properties. J. Reliab. Intell. Environ. 8(3): 223-226 (2022) - [c33]Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'22. Intelligent Environments (Workshops) 2022: 203 - [c32]Gleiston Guerrero-Ulloa
IdeAir: IoT-Based System for Indoor Air Quality Control. ISAmI 2022: 197-206 - [c31]Gleiston Guerrero-Ulloa
Internet of Things (IoT)-Based System for Classroom Access Control and Resource Management. UCAmI 2022: 604-615 - 2021
- [j18]María Luisa Rodríguez-Almendros
Design guide and usability questionnaire to develop and assess VIRTRAEL, a web-based cognitive training tool for the elderly. Behav. Inf. Technol. 40(13): 1355-1374 (2021) - [c30]Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'21. Intelligent Environments (Workshops) 2021: 3 - 2020
- [c29]Gleiston Guerrero-Ulloa
IoT-Based Smart Medicine Dispenser to Control and Supervise Medication Intake. Intelligent Environments (Workshops) 2020: 39-48 - [c28]Miguel J. Hornos, Juan Carlos Augusto:
9th International Workshop on the Reliability of Intelligent Environments (WoRIE 2020) - Introduction. Intelligent Environments (Workshops) 2020: 51-53
2010 – 2019
- 2019
- [c27]Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'19. Intelligent Environments (Workshops) 2019: 347-349 - 2018
- [j17]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos
A Workflow Ontology to support Knowledge Management in a Group's organizational structure. Computación y Sistemas 22(1) (2018) - [j16]Miguel J. Hornos
Increasing user confidence in intelligent environments. J. Reliab. Intell. Environ. 4(2): 71-73 (2018) - [c26]Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'18. Intelligent Environments (Workshops) 2018: 539-541 - [p2]Miguel J. Hornos
Visual Working Memory Training of the Elderly in VIRTRAEL Personalized Assistant. Personal Assistants 2018: 57-76 - 2017
- [j15]Andres Cid-López, Miguel J. Hornos
Linguistic multi-criteria decision-making model with output variable expressive richness. Expert Syst. Appl. 83: 350-362 (2017) - [j14]Miguel J. Hornos
Application of Software Engineering techniques to improve the reliability of Intelligent Environments. J. Reliab. Intell. Environ. 3(1): 1-3 (2017) - [c25]Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'17. Intelligent Environments (Workshops) 2017: 3-4 - 2016
- [j13]Andres Cid-López, Miguel J. Hornos
Applying a linguistic multi-criteria decision-making model to the analysis of ICT suppliers' offers. Expert Syst. Appl. 57: 127-138 (2016) - [j12]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez:
Semantic Formalism for Modelling the Group Interaction. Res. Comput. Sci. 118: 137-147 (2016) - [j11]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez:
Knowledge-based Workflow Ontology for Group Organizational Structure. Res. Comput. Sci. 123: 79-90 (2016) - [c24]Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'16. Intelligent Environments (Workshops) 2016: 55 - 2015
- [j10]Andres Cid-López, Miguel J. Hornos
SICTQUAL: A fuzzy linguistic multi-criteria model to assess the quality of service in the ICT sector from the user perspective. Appl. Soft Comput. 37: 897-910 (2015) - [j9]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez:
A Software Architecture for Defining a Methodologic Approach to Develop Collaborative Applications. Res. Comput. Sci. 105: 9-20 (2015) - [c23]Miguel J. Hornos, Juan Carlos Augusto:
Introduction to the Proceedings of WoRIE'15. Intelligent Environments (Workshops) 2015: 41-42 - 2014
- [c22]Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya:
Introduction to the Proceedings of WoRIE'14. Intelligent Environments (Workshops) 2014: 169-170 - [c21]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski:
Knowledge Representation for Development of Collaborative Applications. LANMR 2014: 1-9 - 2013
- [j8]Juan Carlos Augusto, Miguel J. Hornos
Software simulation and verification to increase the reliability of Intelligent Environments. Adv. Eng. Softw. 58: 18-34 (2013) - [j7]Ramón Alberto Carrasco
A multidimensional data model using the fuzzy model based on the semantic translation. Inf. Syst. Frontiers 15(3): 351-370 (2013) - 2012
- [j6]Miguel J. Hornos, María Visitación Hurtado, M. Pilar Fernández-Sánchez, Álvaro López-Martínez, Kawtar Benghazi Akhlaki, María Luisa Rodríguez-Almendros, María M. Abad-Grau:
Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education. J. Res. Pract. Inf. Technol. 44(2) (2012) - [j5]Ramón Alberto Carrasco
A linguistic multicriteria decision-making model applied to hotel service quality evaluation from web data sources. Int. J. Intell. Syst. 27(7): 704-731 (2012) - [j4]Kawtar Benghazi Akhlaki
Enabling correct design and formal analysis of Ambient Assisted Living systems. J. Syst. Softw. 85(3): 498-510 (2012) - [c20]Sergio Misó, Miguel J. Hornos
Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices. Intelligent Environments 2012: 122-129 - [c19]Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya:
Introduction to the Proceedings of WoRIE'12. Intelligent Environments (Workshops) 2012: 385-386 - [c18]Juan Carlos Augusto, Miguel J. Hornos:
Using Simulation and Verification to Inform the Development of Intelligent Environments. Intelligent Environments (Workshops) 2012: 413-424 - [c17]Samuel Sandru, Miguel J. Hornos
Long-distance runner training system for smartphones. Interacción 2012: 35:1-35:4 - [p1]Juan Carlos Augusto, Miguel J. Hornos:
Designing More Reliable MAS-based Ambient Intelligence Systems. Agents and Ambient Intelligence 2012: 65-90 - [e1]Juan A. Botía, Hedda Rahel Schmidtke, Tatsuo Nakashima, Mohammed R. Al-Mulla, Juan Carlos Augusto, Asier Aztiria, Matthew Ball, Victor Callaghan, Diane J. Cook, James Dooley, John O'Donoghue, Simon Egerton, Pablo A. Haya, Miguel J. Hornos, Eduardo Morales, Juan Carlos Orozco, Otniel Portillo-Rodríguez, Alejandro Rodríguez González, Oscar Sandoval, Paolo Tripicchio, Minjuan Wang, Víctor Zamudio:
Workshop Proceedings of the 8th International Conference on Intelligent Environments, Guanajuato, Mexico, June 26-29, 2012. Ambient Intelligence and Smart Environments 13, IOS Press 2012, ISBN 978-1-61499-079-6 [contents] - 2011
- [j3]Ramón Alberto Carrasco
A Linguistic Multi-Criteria Decision Making Model Applied to the Integration of Education Questionnaires. Int. J. Comput. Intell. Syst. 4(5): 946-959 (2011) - [c16]Sergio Misó, Miguel J. Hornos
Adaptive geolocated cultural information system for mobile devices. ISDA 2011: 107-111 - [c15]Álvaro López-Martínez, Sandra Santiago-Ramajo, Alfonso Caracuel
Game of gifts purchase: Computer-based training of executive functions for the elderly. SeGAH 2011: 1-8
2000 – 2009
- 2009
- [c14]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos
Service-Based Layered Architectural Model for Building Collaborative Applications in Heterogeneous Environments. ENC 2009: 252-263 - [c13]Kawtar Benghazi Akhlaki
Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218 - 2007
- [c12]Mario Anzures-García, Miguel J. Hornos
Architecture for Developing Adaptive and Adaptable Collaborative Applications. ECSA 2007: 271-274 - [c11]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos
Ontology-Based Modelling of Session Management Policies for Groupware Applications. EUROCAST 2007: 57-64 - [c10]Roberto F. Arroyo, Miguel J. Hornos
Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. EUROCAST 2007: 352-359 - [c9]María Luisa Rodríguez
Designing User Interfaces for Collaborative Applications: A Model-Based Approach. Interacción (selected papers) 2007: 1-11 - [c8]Roberto F. Arroyo, Nuria Medina-Medina, Miguel J. Hornos, Fernando Molina:
Applying Quality Hypermedia Design Principles to a Web-based Educational System. WEBIST (3) 2007: 458-463 - 2006
- [c7]María M. Abad-Grau, Francisco Araque, Rosana Montes, María Visitación Hurtado, Miguel J. Hornos:
Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector. ICEIS (1) 2006: 239-244 - [c6]Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos:
SOA-based Generic Architecture for CSCW Systems. ICUC 2006 - [c5]Mario Anzures-García, Miguel J. Hornos
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture. RISE 2006: 66-80 - 2005
- [c4]José Luis Garrido, Patricia Paderewski, María Luisa Rodríguez-Almendros, Miguel J. Hornos, Manuel Noguera:
A Software Architecture Intended to Design High Quality Groupware Applications. Software Engineering Research and Practice 2005: 59-65 - 2004
- [j2]Miguel J. Hornos:
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. J. Univers. Comput. Sci. 10(11): 1498-1518 (2004) - [c3]Miguel J. Hornos:
Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata. VVEIS 2004: 26-33 - 2002
- [j1]Miguel J. Hornos
On-the-fly model checking from interval logic specifications. ACM SIGPLAN Notices 37(12): 108-119 (2002) - 2001
- [c2]Miguel J. Hornos
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230 - [c1]Miguel J. Hornos, Manuel I. Capel:
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. JISBD 2001: 375-390
Coauthor Index
aka: Patricia Paderewski-Rodríguez
aka: María Luisa Rodríguez-Almendros
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: