José María Troya Linero

• Artículos de revistas (4)
• Colaboraciones en obras colectivas (4)
• Tesis (1)
• Tesis dirigidas (14)

• Artículos de revistas

  • Evolutionary design of fuzzy logic controllers using strongly-typed GP

    Enrique Alba Torres, C. Cotta, José María Troya Linero

    Mathware & soft computing, ISSN-e 1134-5632, Vol. 6, Nº. 1, 1999, págs. 109-124

    • Resumen
    • Texto completo
    

  • Desarrollo de protocolos basado en Lenguajes lógicos concurrentes

    Manuel Díaz Rodríguez, Pedro Merino, Bartolomé Rubio Muñoz, José María Troya Linero

    Informática y automática: revista de la Asociación Española de Informática y Automática, ISSN 0214-932X, Vol. 27, Nº. 2, 1994, págs. 32-45

    • Resumen
    

  • Reducción del tiempo de acceso en memorias tipo disco, mediante ordenación de los registros. Algoritmos de aproximación

    José María Troya Linero, Antonio Vaquero Sánchez

    Revista de informática y automática, ISSN 0210-8712, Año 15, Nº. 54, 1982, págs. 5-12

    • Resumen
    

  • Reducción del tiempo de acceso en memorias tipo disco, mediante ordenación de los registros, algoritmos de optimización

    José María Troya Linero, Antonio Vaquero Sánchez

    Revista de informática y automática, ISSN 0210-8712, Año 14, Nº. 49, 1981, págs. 5-12

    • Resumen
    

• Colaboraciones en obras colectivas

  • Integración de servicios web mediante un modelo composicional de agentes software

    Mercedes Amor Pinilla, Lidia Fuentes Fernández, José María Troya Linero

    IV Jornadas de Ingeniería Telemática : JITEL 2003, Gran Canaria, 15 al 17 de septiembre de 2003 / coord. por Elsa María Macías López, Alvaro Suárez Sarmiento, Carmen Gloria Ojeda Guerra, 2003, ISBN 84-96131-38-6, págs. 213-220

    

  • Metodología para el análisis formal de los protocolos de seguridad

    Juan José Ortega Daza, Javier López, José María Troya Linero

    IV Jornadas de Ingeniería Telemática : JITEL 2003, Gran Canaria, 15 al 17 de septiembre de 2003 / coord. por Elsa María Macías López, Alvaro Suárez Sarmiento, Carmen Gloria Ojeda Guerra, 2003, ISBN 84-96131-38-6, págs. 315-322

    

  • DAOP-ADL: un lenguaje de descripción de arquitecturas software basado en componentes y aspectos

    Lidia Fuentes Fernández, José María Troya Linero, Mónica Pinto

    VIII Jornadas de Ingeniería del Software y Bases de Datos : actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003, 2003, ISBN 84-688-3836-5, págs. 347-358

    

  • Property preserving abstractions of SDL

    María del Mar Gallardo, Pedro Merino, José María Troya Linero

    Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López, 2000, ISBN 84-8427-074-2, págs. 111-124

    

• Tesis

  • Ordenación lineal de grafos para el almacenamiento de registros en memorias secundarias

    José María Troya Linero

    Tesis doctoral dirigida por Antonio Vaquero Sánchez. Universidad Complutense de Madrid (1980).

    • Resumen
    

• Tesis dirigidas

  • Anonymous credential systems based on signature schemes and standard certification infrastructures

    Vicente Benjumea Garcia

    Tesis doctoral dirigida por Francisco Javier López Muñoz, José María Troya Linero. Universidad de Málaga (2007).

    • Resumen
    

  • Un lenguaje para la especificación y validación de arquitecturas de software

    José Carlos Canal Velasco

    Tesis doctoral dirigida por José María Troya Linero, Ernesto Pimentel Sánchez. Universidad de Málaga (2001).

    • Resumen
    

  • Un lenguaje de coordinación para la resolución de problemas basados en descomposición de dominios

    Enrique Soler Castillo

    Tesis doctoral dirigida por José María Troya Linero, Juan Ignacio Ramos Sobrados. Universidad de Málaga (2001).

    • Resumen
    • Texto completo
    

  • Diseño de una infraestructura de notarización para comercio electrónico

    Francisco Javier López Muñoz

    Tesis doctoral dirigida por José María Troya Linero, Rene Peralta. Universidad de Málaga (2000).

    • Resumen
    

  • Análisis y diseño de algoritmos genéticos paralelos distribuidos

    Enrique Alba Torres

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1999).

    • Resumen
    • Texto completo
    

  • Sistemas de tipos puros con universos

    Blas Carlos Ruiz Jiménez

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1999).

    • Resumen
    

  • Un sistema de ejecución distribuido para lenguajes orientados a objetos concurrentes

    Antonio Jesús Nebro Urbaneja

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1999).

    • Resumen
    

  • Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta

    Maria del Mar Gallardo Melgarejo

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1998).

    • Resumen
    

  • Un modelo de flujo de datos para la evaluación de consultas en bases de datos deductivas

    José Francisco Aldana Montes

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1998).

    • Resumen
    

  • Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos

    Pedro Merino Gómez

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1998).

    • Resumen
    

  • Una arquitectura software para el desarrollo de servicios avanzados de telecomunicación

    Lidia Fuentes Fernández

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1998).

    • Resumen
    

  • Un estudio de las técnicas de híbridación y su aplicación al diseño de algoritmos evolutivos

    Carlos Cotta Porras

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1998).

    • Resumen
    

  • Drl: un lenguaje lógico para sistemas distribuidos de tiempo real

    Manuel Díaz Rodríguez

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1995).

    • Resumen
    

  • L2 II O2 un lenguaje lógico concurrente orientado a objetos

    Ernesto Pimentel Sánchez

    Tesis doctoral dirigida por José María Troya Linero. Universidad de Málaga (1993).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja toda 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.