Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Miguel J. Hornos
2010 – today
- 2013
[j6]Juan Carlos Augusto, Miguel J. Hornos: Software simulation and verification to increase the reliability of Intelligent Environments. Advances in Engineering Software 58: 18-34 (2013)- [j5]Ramón A. Carrasco, Francisco Muñoz-Leiva, Miguel J. Hornos: A multidimensional data model using the fuzzy model based on the semantic translation. Information Systems Frontiers 15(3): 351-370 (2013)
- 2012
- [j4]Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma: 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)
- [j3]Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz: Enabling correct design and formal analysis of Ambient Assisted Living systems. Journal of Systems and Software 85(3): 498-510 (2012)
- [c16]Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez: Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices. Intelligent Environments 2012: 122-129
- [c15]Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya: Introduction to the Proceedings of WoRIE'12. Intelligent Environments (Workshops) 2012: 385-386
- [c14]Juan Carlos Augusto, Miguel J. Hornos: Using Simulation and Verification to Inform the Development of Intelligent Environments. Intelligent Environments (Workshops) 2012: 413-424
- [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, Victor Zamudio (Eds.): Workshop Proceedings of the 8th International Conference on Intelligent Environments, Guanajuato, México, June 26-29, 2012. Ambient Intelligence and Smart Environments 13, IOS Press 2012, ISBN 978-1-61499-079-6
- 2011
- [c13]Alvaro Lopez-Martinez, Sandra Santiago-Ramajo, Alfonso Caracuel, Carlos Valls-Serrano, Miguel J. Hornos, María José Rodríguez-Fórtiz: Game of gifts purchase: Computer-based training of executive functions for the elderly. SeGAH 2011: 1-8
2000 – 2009
- 2009
- [c12]Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera: Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218
- 2007
- [c11]Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Architecture for Developing Adaptive and Adaptable Collaborative Applications. ECSA 2007: 271-274
- [c10]Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Ontology-Based Modelling of Session Management Policies for Groupware Applications. EUROCAST 2007: 57-64
- [c9]Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes: Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. EUROCAST 2007: 352-359
- [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, Patricia Paderewski-Rodríguez: 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. UCS 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, Manuel I. Capel: On-the-fly model checking from interval logic specifications. SIGPLAN Notices 37(12): 108-119 (2002)
- 2001
- [c2]Miguel J. Hornos, Manuel I. Capel: 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:09 CEST by the dblp team