Fernando López Pelayo

According to our database, Fernando López Pelayo authored at least 46 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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

Proceedings of the International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), November 6, 2023

2022

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

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 algorithm for doubling the amplitude of the search problem's solution states.

Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero

CoRR, 2021

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

Heuristics for ROSA's LTS Searching.

Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo

Proceedings of the Advances in Computational Intelligence, 2017

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

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

2013

Perspectives on Cognitive Computers and Knowledge Processors.

Yingxu Wang, 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

GPU Powered ROSA Analyzer.

Raúl Pardo, Fernando L. Pelayo, Pedro Valero-Lara

Proceedings of the 42nd International Conference on Parallel Processing, 2013

Analysis in performance and new model for multiple kernels executions on many-core architectures.

Pedro Valero-Lara, Fernando L. Pelayo

Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

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

ROSA Analyser: An automatized approach to analyse processes of ROSA

Raúl Pardo, Fernando L. Pelayo

Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

Notes on "Modeling the dynamics of concurrent computing systems".

Fernando L. Pelayo, José C. Valverde

Comput. Math. Appl., 2012

Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors.

Raúl Pardo, Fernando L. Pelayo

Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012

2011

Petri Nets and Discrete Events Systems.

Juan Luis García Guirao, Fernando L. Pelayo

Int. J. Softw. Sci. Comput. Intell., 2011

Modeling the dynamics of concurrent computing systems.

Juan Luis García Guirao, Fernando L. Pelayo, José C. Valverde

Comput. Math. Appl., 2011

Looking for a Cheaper ROSA.

Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla

Proceedings of the Advances in Computational Intelligence, 2011

Towards a More Efficient Use of GPUs.

Pedro Valero-Lara, Fernando L. Pelayo

Proceedings of the International Conference on Computational Science and Its Applications, 2011

2010

A note on a problem on omega-limit sets of <i>N</i>-dimensional skew-product maps.

Juan Luis García Guirao, Fernando López Pelayo

Int. J. Comput. Math., 2010

Discrete Dynamical Systems for encoding Concurrent Computing Systems.

Fernando López Pelayo, José C. Valverde, Maria L. Pelayo, Fernando Cuartero

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009

On solenoidal distribution of infinite omega-limit sets.

Juan Luis García Guirao, Fernando López Pelayo

Int. J. Comput. Math., 2009

Towards the Evolutionary Process Algebra.

Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao

Proceedings of the 8th IEEE International Conference on Cognitive Informatics, 2009

2008

A Comparative Study of STOPA and RTPA.

Natalia López, Manuel Núñez, Fernando L. Pelayo

Trans. Comput. Sci., 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

Enhancing the expressivity of PADL for specifying Web Services Architectures.

Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14, 2008

2007

A Formal Specification of the Memorization Process.

Natalia López, Manuel Núñez, Fernando L. Pelayo

Int. J. Cogn. Informatics Nat. Intell., 2007

Does ROSA provide a good view of the Memorizing Process?

Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Díaz, Elena Nieto

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

RT-UML for modeling Real-Time Web Services.

María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation.

Fernando L. Pelayo, Maria L. Pelayo, Elena Nieto

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005

A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems.

Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Specifying the memorization process with STOPA.

Fernando L. Pelayo, Manuel Núñez, Natalia López

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

How does the memory work? By timed-arc Petri nets.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

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

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

Automatic verification of the TLS handshake protocol.

Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 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

Proceedings of the 10th International Multimedia Modeling Conference (MMM 2004), 2004

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.

Natalia López, Manuel Núñez, Fernando L. Pelayo

Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

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

Analysis of the MPEG-2 Encoding Algorithm with ROSA1.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

A New Synchronization in Finite Stochastic Petri Box Calculus.

Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

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

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001

A process algebra for probabilistic and nondeterministic processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Inf. Process. Lett., 2001

2000

An example of performance evaluation by using the stochastic process algebra: ROSA.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A Denotational Model for Probabilistic and Nondeterministic Processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000