Miguel J. Hornos Barranco

• Artículos de revistas (6)
• Colaboraciones en obras colectivas (11)
• Libros (7)
• Tesis (1)
• Tesis dirigidas (4)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Learning the Basics of Cryptography with Practical Examples

    Shab E. Noor, Ali Ahmad, Vanessa Martos Núñez, Miguel J. Hornos Barranco

    ReiDoCrea: Revista electrónica de investigación y docencia creativa, ISSN-e 2254-5883, Vol. 11, 2022, págs. 274-281

    • Resumen
    • Texto completo
    
  • Seleccionado

    A Workflow Ontology to Support Knowledge Management in a Group’s Organizational Structure

    Mario Anzures García, Luz A. Sánchez Gálvez, Miguel J. Hornos Barranco, Patricia Paderewski Rodríguez

    Computación y Sistemas (CyS), ISSN 1405-5546, ISSN-e 2007-9737, Vol. 22, Nº. 1, 2018, págs. 163-178

    • Resumen
    • Texto completo
    
  • Seleccionado

    Sistema web de apoyo a la docencia, al aprendizaje y a la gestión de datos académicos de asignaturas universitarias

    Miguel J. Hornos Barranco, María Isabel López Sánchez-Huete, María Visitación Hurtado Torres , María del Mar Abad Grau, Fernando Molina Ortiz, Juan José Martínez Parra, Antonio Muñoz Ropa

    Gerencia Tecnológica Informática, ISSN 1657-8236, Vol. 7, Nº. 19, 2008, págs. 11-27

    
  • Seleccionado

    Propuesta arquitectónica para el desarrollo de aplicaciones colaborativas de calidad

    Mario Anzures García, Miguel J. Hornos Barranco, Patricia Paderewski Rodríguez

    Gerencia Tecnológica Informática, ISSN 1657-8236, Vol. 5, Nº. 13, 2006, págs. 31-39

    • Resumen
    • Texto completo
    
  • Seleccionado

    La gestión de la información como clave para adquirir ventaja competitiva: los MIS

    María del Mar Abad Grau, Miguel J. Hornos Barranco, Francisco Araque Cuenca

    Alta dirección, ISSN 0002-6549, Año nº 33, Nº 199, 1998, págs. 37-44

    
  • Seleccionado

    Cambios en las estructuras organizativas y en el estilo de dirección , promovidos por las nuevas tecnologías de la información

    Miguel J. Hornos Barranco, María del Mar Abad Grau, María Visitación Hurtado Torres

    Dirección y organización: Revista de dirección, organización y administración de empresas, ISSN 1132-175X, Nº 20, 1998, págs. 38-44

    • Resumen
    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Hacia un nuevo modelo de uso de Moodle pra la comunidad universitaria

    Rosana Montes Soldado , Ignacio Blanco Medina , Elías Melchor Ferrer, Natalia Padilla Zea , Patricia Paderewski Rodríguez , Miguel J. Hornos Barranco, Pedro Ureña Gómez-Moreno

    Comunicación actual: redes sociales y lo 2.0 y 3.0 / coord. por Juan Enrique Gonzálvez Vallés, Mónica Valderrama Santomé , 2014, págs. 401-412

    
  • Seleccionado

    Política basada en un Enfoque Ontológico para el Manejo de la Estructura Organizacional del Trabajo en Grupo

    Mario Anzures García, Luz A. Sánchez Gálvez, Miguel J. Hornos Barranco, Patricia Paderewski Rodríguez

    Actas del II Simposio en Desarrollo de Software: (SDS 2008) / Juan Antonio Holgado Terriza (aut.) , Miguel J. Hornos Barranco (aut.), Ramón López-Cózar Delgado (aut.) , 2008, ISBN 978-84-96856-71-4, págs. 127-138

    
  • Seleccionado

    Nueva Plataforma Tutor: Sistema Web e Apoyo a la Enseñanza Universitaria

    Alvaro Fernández López, Miguel J. Hornos Barranco

    Actas del II Simposio en Desarrollo de Software: (SDS 2008) / Juan Antonio Holgado Terriza (aut.) , Miguel J. Hornos Barranco (aut.), Ramón López-Cózar Delgado (aut.) , 2008, ISBN 978-84-96856-71-4, págs. 347-350

    
  • Seleccionado

    Adaptive and Adaptable Groupware Architecture

    Mario Anzures García, Miguel J. Hornos Barranco, Patricia Paderewski Rodríguez

    Actas del I Simposio en Desarrollo de Software: (SDS 2007) / Juan Antonio Holgado Terriza (ed. lit.) , Miguel J. Hornos Barranco (ed. lit.), Ramón López-Cózar Delgado (ed. lit.) , 2007, ISBN 978-84-96856-17-2, págs. 85-100

    
  • Seleccionado

    Arquitectura genérica basada en SOA para sistemas CSCW

    Mario Anzures García, Patricia Paderewski Rodríguez , Miguel J. Hornos Barranco

    Actas del II Congreso Iberoamericano sobre Computación Ubicua: CICU 06, Alcalá de Henares. Junio 7-9 de 2006 / José María Gutiérrez Martínez (ed. lit.) , José Ramón Hilera González (ed. lit.) , Roberto Barchino Plata (ed. lit.) , José Antonio Gutiérrez de Mesa (ed. lit.) , José Javier Martínez Herráiz (ed. lit.) , Salvador Otón Tortosa (ed. lit.) , Luis Bengochea Martínez (ed. lit.), 2006, ISBN 84-8138-703-7, págs. 209-216

    
  • Seleccionado

    SOA-based generic architecture for CSCW systems

    Mario Anzures García, Patricia Paderewski Rodríguez , Miguel J. Hornos Barranco

    Proceedings of I International Conference on Ubiquitous Computing: ICUC 06; Alcalá de Henares, Spain, june 7-9, 2006 / coord. por José Ramón Hilera González , Roberto Barchino Plata , José Antonio Gutiérrez de Mesa , José María Gutiérrez Martínez , José Javier Martínez Herráiz , Salvador Otón Tortosa , Luis Bengochea Martínez, 2006, ISBN 84-8138-704-5, págs. 117-124

    
  • Seleccionado

    Integration of interval logic specifications into the model Checker SPIN

    María del Mar Gallardo Melgarejo , Miguel J. Hornos Barranco, Jesús Martínez, Pedro Merino Gómez

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004, 2004, ISBN 84-9772-320-1, págs. 317-322

    
  • Seleccionado

    FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

    Manuel Capel Tuñón , Miguel J. Hornos Barranco

    Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 221-236

    
  • Seleccionado

    Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

    Manuel Capel Tuñón , Miguel J. Hornos Barranco

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.) , Óscar Díaz García (ed. lit.) , Mario G. Piattini Velthuis (ed. lit.) , 2001, ISBN 84-699-6275-2, págs. 375-389

    
  • Seleccionado

    Tecnologías de información y la comunicación en el ámbito de las Pymes

    María del Mar Abad Grau, Miguel J. Hornos Barranco, María Visitación Hurtado Torres

    La pequeña y mediana empresa en el umbral del siglo XXI / Emilio Pablo Díez de Castro (aut.) , 2000, ISBN 8433827340, págs. 335-351

    
  • Seleccionado

    Implementación de una herramienta de especificación y validación para sistemas reactivos

    Miguel J. Hornos Barranco, Manuel Capel Tuñón

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.) , 1997, ISBN 84-8498-463-X, págs. 21-30

    • Resumen
    

• Libros

  • Seleccionado

    Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción "tableau" para su aplicación en comprobación de modelos "on-the-fly"

    Miguel J. Hornos Barranco

    [Granada] : Editorial de la Universidad de Granada, 2012. ISBN 978-84-694-9335-9

    
  • Seleccionado

    Actas del II Simposio en Desarrollo de Software: (SDS 2008)

    Juan Antonio Holgado Terriza (aut.) , Miguel J. Hornos Barranco (aut.), Ramón López-Cózar Delgado (aut.)

    Universidad de Granada, Departamento de Lenguajes y Sistemas Informáticos, 2008. ISBN 978-84-96856-71-4

    
  • Seleccionado

    Ofimática.

    Miguel J. Hornos Barranco

    [Granada] : [Copicentro Granada], [2007]. ISBN 84-934971-6-9

    
  • Seleccionado

    Ofimática: cuaderno de prácticas

    Miguel J. Hornos Barranco

    [Granada] : [Copicentro Granada], [2007]. ISBN 84-96856-15-1

    
  • Seleccionado

    Actas del I Simposio en Desarrollo de Software: (SDS 2007)

    Juan Antonio Holgado Terriza (ed. lit.) , Miguel J. Hornos Barranco (ed. lit.), Ramón López-Cózar Delgado (ed. lit.)

    Universidad de Granada, 2007. ISBN 978-84-96856-17-2

    
  • Seleccionado

    Buzón de quejas y sugerencias de la Universidad de Granada: manual de usuario

    Miguel J. Hornos Barranco, María del Mar Fuentes Fuentes , Carlos A. Albacete Sáez

    Copicentro Granada, 2006. ISBN 84-935058-9-7

    
  • Seleccionado

    Informática aplicada a la gestión de la empresa

    Antonio Jesús Guevara Plaza , María del Mar Abad Grau, Andrés Luis Aguayo Maldonado , R. M. Ayala Palenzuela , José Luis Caro Herrero , Antonio Corral Liria , Manuel F. Bertoa , Miguel J. Hornos Barranco, María Visitación Hurtado Torres , Luis Martínez López , Rosana Montes Soldado , María Dolores Muñoz Vicente

    Ediciones Pirámide. ISBN 978-84-368-1854-3

    

• Tesis

  • Seleccionado

    Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly

    Miguel J. Hornos Barranco

    Tesis doctoral dirigida por Manuel Capel Tuñón (dir. tes.) . Universidad de Granada (2002).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Privacy Preserving Framework for Developing IoT-Based Systems

    Yaqin Yaseen Mohammad Shaheen

    Tesis doctoral dirigida por Miguel J. Hornos Barranco (codir. tes.), Carlos Rodríguez Domínguez (codir. tes.) . Universidad de Granada (2026).

    • Resumen
    • Tesis en acceso abierto en: DIGIBUG
    
  • Seleccionado

    Iterative Test-Driven Development Methodology for IoT-Based Systems

    Gleiston Cicerón Guerrero Ulloa

    Tesis doctoral dirigida por Miguel J. Hornos Barranco (dir. tes.), Carlos Rodríguez Domínguez (dir. tes.) . Universidad de Granada (2024).

    • Resumen
    • Tesis en acceso abierto en: DIGIBUG
    
  • Seleccionado

    Enfoque metodológico semántico basado en un modelo arquitectónico para el desarrollo de groupware

    Mario Anzures García

    Tesis doctoral dirigida por Miguel J. Hornos Barranco (dir. tes.), Patricia Paderewski Rodríguez (dir. tes.) . Universidad de Granada (2017).

    • Resumen
    • Tesis en acceso abierto en: DIGIBUG
    
  • Seleccionado

    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

    Andrés Cid López

    Tesis doctoral dirigida por Ramón Carrasco (dir. tes.), Miguel J. Hornos Barranco (dir. tes.), Enrique Herrera Viedma (dir. tes.) . Universidad de Granada (2016).

    • Resumen
    • Tesis en acceso abierto en: DIGIBUG
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos

      coord. por Miguel J. Hornos Barranco, José Luis Garrido

      Thomson-Paraninfo, 2005. ISBN 84-9732-432-3

      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.