Valentín Valero Ruiz

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

• Artículos de revistas

  • 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

    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

    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

    Decidability of properties of timed-arc Petri nets

    David de Frutos Escrig , Olga Marroquín Alonso, Valentín Valero 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. 13-34

    
  • 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

    Diseño de sistemas concurrentes

    Valentín Valero Ruiz

    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. 45-56

    
  • 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

    Problemas resueltos de sistemas operativos

    José Antonio Gallud Lázaro , Valentín Valero Ruiz, Encarnación Moyano Avila

    Universidad de Castilla-La Mancha, 1997. ISBN 84-605-7066-5

    

• Tesis

  • Seleccionado

    Decidibilidad de problemas sobre Redes de Petri temporizadas

    Valentín Valero Ruiz

    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

    Dissertation for the degree of Doctor of Computer Sciencie to be presented with due permission of the Departament of Computer Science, for public examination and debate

    José Antonio Mateo Cortés

    Tesis doctoral dirigida por Jirí Srba (dir. tes.), Valentín Valero Ruiz (dir. tes.). Universidad de Castilla-La Mancha (2014).

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

    Description and verification of multimedia systems and web services with time constraints

    M. E. C. P.

    Tesis doctoral dirigida por Valentín Valero Ruiz (dir. tes.), Gregorio Diaz Descalzo (dir. tes.) . Universidad de Castilla-La Mancha (2007).

    • 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

    Una extensión markoviana del petri box calculus

    Hermenegilda Macià Soler

    Tesis doctoral dirigida por Valentín Valero Ruiz (dir. tes.). Universidad de Castilla-La Mancha (2003).

    
  • 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.