The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Valentín Valero Ruiz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
    A New Synchronization in Finite Stochastic Petri Box Calculus. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:216-0 [Conf]
  2. David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
    Decidability of Properties of Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:187-206 [Conf]
  3. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Timed Processes of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:490-509 [Conf]
  4. Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
    Translating TPAL Specifications into Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:414-433 [Conf]
  5. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
    TPAL: A Timed-Probabilistic Model for Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:475-484 [Conf]
  6. Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
    Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:63-70 [Conf]
  7. Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz
    A Sound and Complete Proof System for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:340-352 [Conf]
  8. Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
    Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:118-127 [Conf]
  9. Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
    Introducing the Iteration in sPBC. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:292-309 [Conf]
  10. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    A Denotational Model for Probabilistic and Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  11. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
    Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. [Citation Graph (0, 0)][DBLP]
    MMM, 2004, pp:49-56 [Conf]
  12. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:154-163 [Conf]
  13. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
    An example of performance evaluation by using the stochastic process algebra: ROSA. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:271-278 [Conf]
  14. Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    Automatic verification of the TLS handshake protocol. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:789-794 [Conf]
  15. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
    Analysis of the MPEG-2 Encoding Algorithm with ROSA1. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  16. Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
    Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  17. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    A process algebra for probabilistic and nondeterministic processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:15-23 [Journal]
  18. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
    Algebraic theory of probabilistic and nondeterministic processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:55, n:1-2, pp:57-103 [Journal]
  19. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
    A translation of TPALp into a class of timed-probabilistic Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:350-392 [Journal]
  20. David Cebrián, Valentín Valero Ruiz, Fernando Cuartero
    Automation of Avionic Systems Testing. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:28-40 [Conf]
  21. María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo
    RT-UML for modeling Real-Time Web Services. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:131-139 [Conf]

  22. Enhancing the expressivity of PADL for specifying Web Services Architectures. [Citation Graph (, )][DBLP]


  23. Time Ordering Architecture in SCA. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002