Fernando Cuartero Gómez

• Artículos de revistas (5)
• Colaboraciones en obras colectivas (8)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (7)

• Artículos de revistas

  • Seleccionado

    Problemas Básicos en el Cálculo Mecánico de Catenarias Ferroviarias

    Jesús Benet, E. Arias, Fernando Cuartero Gómez, Tomás Rojo Guillén

    Información tecnológica, ISSN-e 0718-0764, ISSN 0716-8756, Vol. 15, Nº. 6, 2004, págs. 79-87

    • Resumen
    • Texto completo
    
  • Seleccionado

    Introducción al CSP probabilístico (PCSP)

    Fernando Cuartero Gómez, Valentín Valero Ruiz, Juan Guerrero Abenza, Ginés Moreno Valverde

    Anales del Centro Asociado de Albacete, ISSN 0211-5247, Nº. 13, 1994-1995, págs. 327-341

    
  • Seleccionado

    Introducción a CSP probabilístico (PCSP)

    Fernando Cuartero Gómez, Valentín Valero Ruiz , Ginés Damián Moreno Valverde , Juan Antonio Guerrero Abenza

    Ensayos: Revista de la Facultad de Educación de Albacete, ISSN-e 2171-9098, ISSN 0214-4824, Nº. 8, 1993, págs. 223-236

    • Texto completo
    
  • Seleccionado

    Procesos probabilísticos

    Fernando Cuartero Gómez

    Anales del Centro Asociado de Albacete, ISSN 0211-5247, Nº. 11, 1990-1991, págs. 121-133

    
  • Seleccionado

    Modelado de sistemas concurrentes mediante CSP

    Valentín Valero Ruiz , Fernando Cuartero Gómez

    Anales del Centro Asociado de Albacete, ISSN 0211-5247, Nº. 11, 1990-1991, págs. 247-262

    

• Colaboraciones en obras colectivas

  • Seleccionado

    A realistic model for true concurrency

    M. Carmen Ruíz, Fernando Cuartero Gómez, Diego Cazorla López , J. José Pardo

    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. 13-26

    
  • Seleccionado

    P_UPPAL: a tool for capturing the probabilistic behaviour of UPPAL models

    Diego Cazorla López , Valentín Valero Ruiz , Fernando Cuartero Gómez, Gregorio Díaz Díaz

    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. 207-220

    
  • Seleccionado

    Reasoning about Probabilistic and Nondeterministic Processes

    Diego Cazorla López , Fernando Cuartero Gómez, Valentín Valero Ruiz , Fernando L. Pelayo

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.), Diego Cazorla López (ed. lit.) , 2001, págs. 325-339

    
  • Seleccionado

    A dynamic state graph for a timed process algebra

    Fernando Cuartero Gómez, Valentín Valero Ruiz , J. José Pardo, M. Carmen Ruiz

    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. 35-54

    
  • Seleccionado

    PNAL: un modelo algebraico para procesos probabilísticos y no deterministas

    Diego Cazorla López , Fernando Cuartero Gómez, Valentín Valero Ruiz , Juan José Pardo Mateo

    VI Jornadas de Concurrencia, 1998, págs. 41-52

    
  • Seleccionado

    TPA: un modelo algebraico con probabilidades y tiempos basado en LOTOS

    Antonio Bueno, Fernando Cuartero Gómez, Valentín Valero Ruiz

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias , Martín Llamas Nistal , José Juan Pazos Arias , 1997, ISBN 84-8158-065-1, págs. 223-234

    
  • Seleccionado

    Algebra de procesos

    Fernando Cuartero Gómez

    Notas de visión y apuntes sobre ingeniería del software : notas del III Curso de Verano de Informática : [celebrado en Albacete, 30 de junio al 2 de julio de 1993] / coord. por María Teresa López Bonal , 1995, ISBN 84-88255-54-3, págs. 29-44

    
  • Seleccionado

    CSP Probabilístico (PCSP): un modelo operacional

    Fernando Cuartero Gómez, David de Frutos Escrig , Valentín Valero Ruiz

    Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 338-346

    • Resumen
    

• Libros

  • Seleccionado

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

    Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.), Diego Cazorla López (ed. lit.)

    Universidad de Castilla-La Mancha, 2001

    

• Tesis

  • Seleccionado

    Csp probabilístico: un modelo probabilístico de procesos concurrentes

    Fernando Cuartero Gómez

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.) . Universidad Complutense de Madrid (1993).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Tesis dirigidas

  • Seleccionado

    Formal methods for the analysis of security protocols

    Llanos Tobarra

    Tesis doctoral dirigida por Fernando Cuartero Gómez (dir. tes.), Diego Cazorla López (dir. tes.) . Universidad de Castilla-La Mancha (2009).

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

    Limitación de recursos en paralelismo real

    María del Carmen Ruiz Delgado

    Tesis doctoral dirigida por Diego Cazorla López (dir. tes.) , Fernando Cuartero Gómez (dir. tes.). Universidad de Castilla-La Mancha (2007).

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

    Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints

    Gregorio Diaz Descalzo

    Tesis doctoral dirigida por Fernando Cuartero Gómez (dir. tes.), Gregorio Valentin Valero (dir. tes.) . Universidad de Castilla-La Mancha (2006).

    • Resumen
    
  • Seleccionado

    Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri

    Antonio Bueno Aroca

    Tesis doctoral dirigida por Valentín Valero Ruiz (dir. tes.) , Fernando Cuartero Gómez (codir. tes.). Universidad de Castilla-La Mancha (2006).

    • Resumen
    
  • Seleccionado

    Applications of formal methods to performance evaluation

    Fernando Lopez Pelayo

    Tesis doctoral dirigida por Fernando Cuartero Gómez (dir. tes.), Valentín Valero Ruiz (codir. tes.) . Universidad de Castilla-La Mancha (2004).

    • Resumen
    
  • Seleccionado

    Descripción e implementación de Tppal: un algebra q de procesos temporizados y probabilísticos

    Juan José Pardo Mateo

    Tesis doctoral dirigida por Valentín Valero Ruiz (dir. tes.) , Fernando Cuartero Gómez (codir. tes.). Universidad de Castilla-La Mancha (2003).

    • Resumen
    
  • Seleccionado

    Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas

    Diego Cazorla López

    Tesis doctoral dirigida por Fernando Cuartero Gómez (dir. tes.), Valentín Valero Ruiz (dir. tes.) . Universidad de Castilla-La Mancha (2001).

    • Resumen
    

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.