The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fernando L. Pelayo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Natalia López, Manuel Núñez, Fernando L. Pelayo
    STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2004, pp:64-73 [Conf]
  2. Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo
    How does the memory work? By timed-arc Petri nets. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:128-135 [Conf]
  3. Fernando L. Pelayo, Manuel Núñez, Natalia López
    Specifying the memorization process with STOPA. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:238-247 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]

  14. Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation. [Citation Graph (, )][DBLP]


  15. Does ROSA provide a good view of the Memorizing Process? [Citation Graph (, )][DBLP]


  16. Towards the Evolutionary Process Algebra. [Citation Graph (, )][DBLP]


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


Search in 0.059secs, Finished in 0.060secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002