A Denotational Model for Probabilistic and Nondeterministic Processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (ICDCS Workshop on Distributed System Validation and Verification, 2000)

An example of performance evaluation by using the stochastic process algebra: ROSA. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (RTCSA, 2000)

A process algebra for probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (Inf. Process. Lett., 2001)

Specification and Analysis of the MPEG–2 Video Encoder with Timed-Arc Petri Nets. - Valentín Valero Ruiz; Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla (FMICS, 2002)

A New Synchronization in Finite Stochastic Petri Box Calculus. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; Fernando L. Pelayo (ACSD, 2003)

Analysis of the MPEG-2 Encoding Algorithm with ROSA1. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (FMICS, 2003)

Algebraic theory of probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo; Juan José Pardo (J. Log. Algebraic Methods Program., 2003)

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (IEEE ICCI, 2004)

Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Hermenegilda Macià; Maria L. Pelayo (MMM, 2004)

Automatic verification of the TLS handshake protocol. - Gregorio Díaz 001; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (SAC, 2004)

Symbolic mathematical computing of bifurcations in dynamical systems. - José C. Valverde; Fernando L. Pelayo; Juan A. Martinez; Juan José Miralles Canals (J. Comput. Methods Sci. Eng., 2004)

Stability of continuous systems by Routh-Hurwitz and mathematica. - José C. Valverde; Fernando L. Pelayo; Juan A. Martinez; Juan José Miralles Canals (J. Comput. Methods Sci. Eng., 2004)

How does the memory work? By timed-arc Petri nets. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero; Maria L. Pelayo; Mercedes G. Merayo (IEEE ICCI, 2005)

Specifying the memorization process with STOPA. - Fernando L. Pelayo; Manuel Núñez 001; Natalia López (IEEE ICCI, 2005)

A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. - Manuel Núñez 001; Fernando L. Pelayo; Ismael Rodríguez 001 (IESS, 2005)

Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation. - Fernando L. Pelayo; Maria L. Pelayo; Elena Nieto (IEEE ICCI, 2006)

RT-UML for modeling Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero Ruiz; Fernando L. Pelayo (SCW, 2006)

Does ROSA provide a good view of the Memorizing Process? - Maria L. Pelayo; Fernando L. Pelayo; Fernando Cuartero; Valentín Valero; Gregorio Díaz 001; Elena Nieto (IEEE ICCI, 2007)

A Formal Specification of the Memorization Process. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (Int. J. Cogn. Informatics Nat. Intell., 2007)

Enhancing the expressivity of PADL for specifying Web Services Architectures. - Gregorio Díaz 001; María-Emilia Cambronero; Llanos Tobarra; Valentín Valero Ruiz; Fernando L. Pelayo (TAMoCo, 2008)

On skew-product maps with the base having a closed set of periodic points. - Juan Luis García Guirao; Fernando López Pelayo (Int. J. Comput. Math., 2008)

A Comparative Study of STOPA and RTPA. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (Trans. Comput. Sci., 2008)

Towards the Evolutionary Process Algebra. - Fernando L. Pelayo; Luis de la Ossa; Fernando Cuartero; Maria L. Pelayo; Juan Luis García Guirao (IEEE ICCI, 2009)

On solenoidal distribution of infinite omega-limit sets. - Juan Luis García Guirao; Fernando López Pelayo (Int. J. Comput. Math., 2009)

Discrete Dynamical Systems for encoding Concurrent Computing Systems. - Fernando López Pelayo; José C. Valverde; Maria L. Pelayo; Fernando Cuartero (IEEE ICCI, 2010)

A note on a problem on omega-limit sets of N-dimensional skew-product maps. - Juan Luis García Guirao; Fernando López Pelayo (Int. J. Comput. Math., 2010)

Towards a More Efficient Use of GPUs. - Pedro Valero-Lara; Fernando L. Pelayo (ICCSA Workshops, 2011)

Looking for a Cheaper ROSA. - Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla (IWANN (2), 2011)

Modeling the dynamics of concurrent computing systems. - Juan Luis García Guirao; Fernando L. Pelayo; José C. Valverde (Comput. Math. Appl., 2011)

Petri Nets and Discrete Events Systems. - Juan Luis García Guirao; Fernando L. Pelayo (Int. J. Softw. Sci. Comput. Intell., 2011)

Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. - Raúl Pardo; Fernando L. Pelayo (ICCI*CC, 2012)

Notes on "Modeling the dynamics of concurrent computing systems". - Fernando L. Pelayo; José C. Valverde (Comput. Math. Appl., 2012)

ROSA Analyser: An automatized approach to analyse processes of ROSA - Raúl Pardo; Fernando L. Pelayo (WS-FMDS, 2012)

Parallel discrete dynamical systems on maxterm and minterm Boolean functions. - Juan A. Aledo; Silvia Martínez Sanahuja; Fernando López Pelayo; José C. Valverde (Math. Comput. Model., 2012)

Analysis in performance and new model for multiple kernels executions on many-core architectures. - Pedro Valero-Lara; Fernando L. Pelayo (ICCI*CC, 2013)

GPU Powered ROSA Analyzer. - Raúl Pardo; Fernando L. Pelayo; Pedro Valero-Lara (ICPP, 2013)

Perspectives on Cognitive Computers and Knowledge Processors. - Yingxu Wang 001; Gabriele Fariello; Marina L. Gavrilova; Witold Kinsner; Fumio Mizoguchi; Shushma Patel; Dilip Patel; Fernando L. Pelayo; Victor Raskin; Duane F. Shell; Shusaku Tsumoto (Int. J. Cogn. Informatics Nat. Intell., 2013)

Many-Task Computing on Many-Core Architectures. - Pedro Valero-Lara; Poornima Nookala; Fernando L. Pelayo; Johan Jansson; Serapheim Dimitropoulos; Ioan Raicu (Scalable Comput. Pract. Exp., 2016)

Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. - Pedro Valero-Lara; Fernando L. Pelayo; Johan Jansson (Scalable Comput. Pract. Exp., 2016)

Heuristics for ROSA's LTS Searching. - Fernando López Pelayo; Fernando Cuartero Gómez; Diego Cazorla; Pedro Valero-Lara; Mercedes G. Merayo (IWANN (2), 2017)

Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. - Pedro Valero-Lara; Mawussi Zounon; Maksims Abalenkovs; Fernando L. Pelayo (Scalable Comput. Pract. Exp., 2017)

Quantum algorithm for doubling the amplitude of the search problem's solution states. - Mauro Mezzini; Fernando L. Pelayo; Fernando Cuartero (CoRR, 2021)

Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. - Estefanía Coronado; Valentín Valero; Luis Orozco-Barbosa; María-Emilia Cambronero; Fernando L. Pelayo (Softw. Syst. Model., 2021)

Quantum invariants for the graph isomorphism problem. - Hernán I. de la Cruz; Fernando L. Pelayo; Vicente Pascual; Jose J. Paulet; Fernando Cuartero; Luis Llana; Mauro Mezzini (CoRR, 2022)

A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions (Short Paper). - Mauro Mezzini; Fernando Cuartero Gomez; Fernando López Pelayo; Jose Javier Paulet Gonzales; Hernan Indibil de la Cruz Calvo; Vicente Pascual (AIQxQIA@AI*IA, 2023)

A polynomial quantum computing algorithm for solving the dualization problem. - Mauro Mezzini; Fernando Cuartero Gomez; Fernando L. Pelayo; Jose Javier Paulet Gonzales; Hernan Indibil de la Cruz Calvo; Vicente Pascual (CoRR, 2023)

Polynomial quantum computing algorithms for solving the dualization problem for positive Boolean functions. - Mauro Mezzini; Fernando Cuartero Gomez; Jose Javier Paulet Gonzalez; Hernan Indibil de la Cruz Calvo; Vicente Pascual; Fernando L. Pelayo (Quantum Mach. Intell., 2024)

Experimental algorithms for the dualization problem. - Mauro Mezzini; Fernando Cuartero Gomez; Jose Javier Paulet Gonzalez; Hernan Indibil de la Cruz Calvo; Vicente Pascual; Fernando L. Pelayo (CoRR, 2025)