Miguel Juan Hornos Barranco

Fotografía a baja resolución

Miguel Juan Hornos Barranco

Administrative data

Full member researcher

  • Position in UGR: Associate professor
    Department where s/he teaches: Lenguajes y Sistemas Informáticos
    Research group: TIC-230

Contributions and research experience

Publications in ISI SCI

  • Applying a linguistic multi-criteria decision-making model to the analysis of ICT suppliers' offers
    Author-s: Cid-Lopez, Andres; Hornos, Miguel J.; Carrasco, Ramon Alberto; Herrera-Viedma, Enrique
    Source: EXPERT SYSTEMS WITH APPLICATIONS 57 127 138 2016
  • SICTQUAL: A fuzzy linguistic multi-criteria model to assess the quality of service in the ICT sector from the user perspective
    Author-s: Cid-Lopez, Andries; Hornos, Miguel J.; Alberto Carrasco, Ramon; Herrera-Viedma, Enrique
    Source: APPLIED SOFT COMPUTING 37 897 2015
  • A Knowledge Base for the Development of Collaborative Applications
    Author-s: Anzures-Garcia, Mario; Sanchez-Galvez, Luz A.; Hornos, Miguel J.; Paderewski-Rodriguez, Patricia
    Source: ENGINEERING LETTERS 23 2 2015
  • A multidimensional data model using the fuzzy model based on the semantic translation
    Author-s: Carrasco, Ramon A.; Munoz-Leiva, Francisco; Hornos, Miguel J.
    Source: INFORMATION SYSTEMS FRONTIERS 15 3 351 370 2013
  • Software simulation and verification to increase the reliability of Intelligent Environments
    Author-s: Augusto, Juan Carlos; Hornos, Miguel J.
    Source: ADVANCES IN ENGINEERING SOFTWARE 58 18 34 2013
  • Enabling correct design and formal analysis of Ambient Assisted Living systems
    Author-s: Benghazi, Kawtar; Hurtado, Maria V.; Hornos, Miguel J.; Rodriguez, Maria L.; Rodriguez-Dominguez, Carlos; Pelegrina, Ana B.; Rodriguez-Fortiz, Maria J.
    Source: JOURNAL OF SYSTEMS AND SOFTWARE 85 3 498 510 2012
  • On-the-fly model checking from interval logic specifications
    Author-s: Hornos, MJ; Capel, MI
    Source: ACM SIGPLAN NOTICES 37 12 108 119 Workshop of Principles, Logics and Implimentations OCT 03-08, 2002 PITTSBURGH, PITTSBURGH 2002
  • Long-distance runner training system for smartphones
    Author-s: Sandru, Samuel; Hornos, Miguel J.; Luisa Rodriguez, Maria
    Source: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON INTERACCION PERSONA-ORDENADOR (INTERACCION'12) 13th International Conference on Interaccion Perso OCT 03-05, 2012 Elche, SPAIN 2012
  • A Linguistic Multi-Criteria Decision Making Model Applied to the Integration of Education Questionnaires
    Author-s: Carrasco, Ramon A.; Villar, Pedro; Hornos, Miguel J.; Herrera-Viedma, Enrique
    Source: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS 4 5 946 959 2011
  • FBT: A tool for applying interval logic specifications to on-the-fly model checking
    Author-s: Hornos, MJ
    Source: JOURNAL OF UNIVERSAL COMPUTER SCIENCE 10 11 1498 1518 2nd International Workshop on Verification and Val APR 13, 2004 Porto, Porto 2004

Conferences in ISI CPCI-Science

  • Towards Compositional Verification in MEDISTAM-RT Methodological Framework
    Author-s: Benghazi, Kawtar; Hornos, Miguel J.; Noguera, Manuel
    Source: DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED 5518 211 218 10th International Work-Conference on Artificial N JUN 10-12, 2009 Salamanca, Salamanca 2009
  • Sc@ut: developing adapted communicators for special education
    Author-s: Rodriguez-Fortiz, M. J.; Gonzalez, J. L.; Fernandez, A.; Entrena, M.; Hornos, M. J.; Perez, A.; Carrillo, A.; Barragan, L.
    Source: WORLD CONFERENCE ON EDUCATIONAL SCIENCES - NEW TRENDS AND ISSUES IN EDUCATIONAL SCIENCES 1 1 1348 1352 World Conference on Educational Sciences FEB 04-07, 2009 Nicosia, Nicosia 2009
  • Development of extensible and flexible collaborative applications using a web service-based architecture
    Author-s: Anzures-Garcia, Mario; Hornos, Miguel J.; Paderewski-Rodriguez, Patricia
    Source: RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES 4401 66 80 3rd International Workshop on Rapid Integration of SEP 13-15, 2006 Geneva, Geneva 2007
  • Architecture for developing adaptive and adaptable collaborative applications
    Author-s: Anzures-Garcia, Mario; Hornos, Miguel J.; Paderewski-Rodriguez, Patricia
    Source: Software Architecture, Proceedings 4758 271 274 1st European Conference on Software Architecture SEP 24-26, 2007 Madrid, Madrid 2007
  • Ontology-based modelling of session management policies for groupware applications
    Author-s: Anzures-Garcia, Mario; Sanchez-Galvez, Luz A.; Hornos, Miguel J.; Paderewski-Rodriguez, Patricia
    Source: COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 4739 57 64 11th International Conference on Computer Aided Sy FEB 12-16, 2007 Elder Museum Sci & Technol, Elder Museum Sci & Technol, Elder Museum Sci & Technol 2007
  • Evolution of the design and implementation of tutor: A web-based educational system for university courses
    Author-s: Arroyo, Roberto F.; Hornos, Miguel J.; Montes, Rosana
    Source: COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 4739 352 359 11th International Conference on Computer Aided Sy FEB 12-16, 2007 Elder Museum Sci & Technol, Elder Museum Sci & Technol, Elder Museum Sci & Technol 2007

Book chapters in ISI

  • Designing User Interfaces for Collaborative Applications: A Model-Based Approach
    Author-s: Luisa Rodriguez, Maria; Luis Garrido, Jose; Visitacion Hurtado, Maria; Noguera, Manuel; Hornos, Miguel J.
    Source: NEW TRENDS ON HUMAN-COMPUTER INTERACTION: RESEARCH, DEVELOPMENT, NEW TOOLS AND METHODS 97 107 INTERACCION 2007 SEP 11-14, 2007 Zaragoza, Zaragoza 2009
  • Applying quality hypermedia design principles to a web-based educational system
    Author-s: Arroyo, Roberto F.; Medina, Nuria; Hornos, Miguel J.; Molina, Fernando
    Source: WEBIST 2007: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNO 458 463 3rd International Conference on Web Information Sy MAR 03-06, 2007 Barcelona, Barcelona 2007
  • Tutor: A web-based educational platform for university studies
    Author-s: Arroyo, Roberto F.; Hornos, Miguel J.; Sanchez, Pilar Fernandez
    Source: INNOVATIONS IN E-LEARNING, INSTRUCTION TECHNOLOGY, ASSESSMENT, AND ENGINEERING EDUCATION 317 321 International Conference on Engineering Education, DEC 04-14, 2006 ELECTR NETWORK 2007
  • Integration of organisational patterns into a group-centred methodology
    Author-s: Montes, JLI; Vela, FLG; Bullejos, JLG; Torres, MVH; Barranco, MJH
    Source: HCI Related Papers of Interaccion 2004 137 146 5th International Conference on Human Computer Int MAY 05, 2004-MAY 07, 2005 Lleida, Lleida 2006
  • Web knowledge management for small and medium-size enterprises - Webtour: A case study from the tourism sector
    Author-s: Abad-Grau, Maria M.; Araque, Francisco; Montes, Rosana; Hurtado, M. Visitacion; Hornos, Miguel J.
    Source: ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATIONAL SYSTEMS 239 244 8th International Conference on Enterprise Informa MAY 23-27, 2006 Paphos, Paphos 2006
  • A software architecture intended to design high quality groupware applications
    Author-s: Garrido, JL; Paderewski, P; Rodriguez, ML; Hornos, MJ; Noguera, M
    Source: SERP !05: Proceedings of the 2005 International Conference on Software Engineering Research and Prac 59 65 International Conference on Software Engineering R JUN 27-29, 2005 Las Vegas, Las Vegas 2005
  • Automata generation for on-the-fly automatic verification using formulas of an interval logic
    Author-s: Hornos, MJ; Capel, MI
    Source: SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS 221 230 2nd International Conference on Application of Con JUN 25-29, 2001 Newcastle upon Tyne, Newcastle upon Tyne 2001

Doctoral Dissertations supervised

  • Enfoque metodológico semántico basado en un modelo arquitectónico para el desarrollo de groupware
    Author: Mario Anzures García
    Institution: Lenguajes y Sistemas Informáticos (UGR),
    Dissertation date: 2017-10-09
    Supervision: Miguel Juan Hornos Barranco, Patricia Paderewski Rodríguez
  • Desarrollo de un modelo multi-criterio lingüístico de toma de decisiones para medir la calidad del servicio en las TIC desde una visión del usuario: Aplicación práctica a la evaluación de las TIC en Ecuador
    Author: Andrés Cid López
    Institution: Lenguajes y Sistemas Informáticos (UGR),
    Dissertation date: 2016-07-15
    Supervision: Miguel Juan Hornos Barranco, Ramón Alberto Carrasco González, Enrique Herrera Viedma
    Special mention: internacional
24 Hoy miércoles
enero2018
L
M
X
J
V
S
D
1
2
3
4
5
6
7
8
9
10
11
12
13
14
16
17
18
20
21
22
23
24
25
26
27
28
29
30
31
PRÓXIMOS EVENTOS
    • No hay próximos eventos programados

© Universidad de Granada

Calle Periodista Rafael Gómez Montero, número 2 · E-18071 GRANADA (Spain) · +34-958241720

Diseño Web Granada

Oficina Web UGR