default search action
Fernando López Pelayo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Mauro Mezzini, Fernando Cuartero Gomez, Jose Javier Paulet Gonzalez, Hernan Indibil de la Cruz Calvo, Vicente Pascual, Fernando L. Pelayo:
Polynomial quantum computing algorithms for solving the dualization problem for positive Boolean functions. Quantum Mach. Intell. 6(2): 71 (2024) - 2023
- [c25]Mauro Mezzini, Fernando Cuartero Gomez, Fernando López Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual:
A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions (Short Paper). AIQxQIA@AI*IA 2023 - [i3]Mauro Mezzini, Fernando Cuartero Gomez, Fernando L. Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo
, Vicente Pascual:
A polynomial quantum computing algorithm for solving the dualization problem. CoRR abs/2308.14819 (2023) - 2022
- [i2]Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini:
Quantum invariants for the graph isomorphism problem. CoRR abs/2209.14914 (2022) - 2021
- [j18]Estefanía Coronado
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. Softw. Syst. Model. 20(2): 505-538 (2021) - [i1]Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero:
Quantum algorithm for doubling the amplitude of the search problem's solution states. CoRR abs/2105.06935 (2021)
2010 – 2019
- 2017
- [j17]Pedro Valero-Lara, Mawussi Zounon
Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. Scalable Comput. Pract. Exp. 18(2): iii-iv (2017) - [c24]Fernando López Pelayo
Heuristics for ROSA's LTS Searching. IWANN (2) 2017: 427-437 - 2016
- [j16]Pedro Valero-Lara
Many-Task Computing on Many-Core Architectures. Scalable Comput. Pract. Exp. 17(1): 32-46 (2016) - [j15]Pedro Valero-Lara, Fernando L. Pelayo
Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. Scalable Comput. Pract. Exp. 17(1): iii-iv (2016) - 2013
- [j14]Yingxu Wang
Perspectives on Cognitive Computers and Knowledge Processors. Int. J. Cogn. Informatics Nat. Intell. 7(3): 1-24 (2013) - [c23]Pedro Valero-Lara
Analysis in performance and new model for multiple kernels executions on many-core architectures. ICCI*CC 2013: 189-194 - [c22]Raúl Pardo, Fernando L. Pelayo
GPU Powered ROSA Analyzer. ICPP 2013: 901-908 - 2012
- [j13]Fernando L. Pelayo
Notes on "Modeling the dynamics of concurrent computing systems". Comput. Math. Appl. 64(4): 661-663 (2012) - [j12]Juan A. Aledo
Parallel discrete dynamical systems on maxterm and minterm Boolean functions. Math. Comput. Model. 55(3-4): 666-671 (2012) - [c21]Raúl Pardo, Fernando L. Pelayo
Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. ICCI*CC 2012: 305-312 - [c20]Raúl Pardo, Fernando L. Pelayo:
ROSA Analyser: An automatized approach to analyse processes of ROSA. WS-FMDS 2012: 25-32 - 2011
- [j11]Juan Luis García Guirao, Fernando L. Pelayo
Modeling the dynamics of concurrent computing systems. Comput. Math. Appl. 61(5): 1402-1406 (2011) - [j10]Juan Luis García Guirao, Fernando L. Pelayo:
Petri Nets and Discrete Events Systems. Int. J. Softw. Sci. Comput. Intell. 3(3): 13-22 (2011) - [c19]Pedro Valero-Lara, Fernando L. Pelayo
Towards a More Efficient Use of GPUs. ICCSA Workshops 2011: 3-9 - [c18]Fernando L. Pelayo
Looking for a Cheaper ROSA. IWANN (2) 2011: 380-387 - 2010
- [j9]Juan Luis García Guirao, Fernando López Pelayo
A note on a problem on omega-limit sets of N-dimensional skew-product maps. Int. J. Comput. Math. 87(6): 1228-1232 (2010) - [c17]Fernando López Pelayo
Discrete Dynamical Systems for encoding Concurrent Computing Systems. IEEE ICCI 2010: 252-256
2000 – 2009
- 2009
- [j8]Juan Luis García Guirao, Fernando López Pelayo
On solenoidal distribution of infinite omega-limit sets. Int. J. Comput. Math. 86(2): 201-208 (2009) - [c16]Fernando L. Pelayo
Towards the Evolutionary Process Algebra. IEEE ICCI 2009: 69-76 - 2008
- [j7]Juan Luis García Guirao, Fernando López Pelayo
On skew-product maps with the base having a closed set of periodic points. Int. J. Comput. Math. 85(3&4): 441-445 (2008) - [j6]Natalia López
A Comparative Study of STOPA and RTPA. Trans. Comput. Sci. 2: 224-245 (2008) - [c15]Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo:
Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo 2008: 99-110 - 2007
- [j5]Natalia López
A Formal Specification of the Memorization Process. Int. J. Cogn. Informatics Nat. Intell. 1(4): 47-60 (2007) - [c14]Maria L. Pelayo, Fernando L. Pelayo
Does ROSA provide a good view of the Memorizing Process? IEEE ICCI 2007: 273-283 - 2006
- [c13]Fernando L. Pelayo
Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation. IEEE ICCI 2006: 37-46 - [c12]María-Emilia Cambronero, Gregorio Díaz
RT-UML for modeling Real-Time Web Services. SCW 2006: 131-139 - 2005
- [c11]Fernando L. Pelayo
How does the memory work? By timed-arc Petri nets. IEEE ICCI 2005: 128-135 - [c10]Fernando L. Pelayo
Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247 - [c9]Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez:
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS 2005: 125-136 - 2004
- [j4]José C. Valverde, Fernando L. Pelayo
Symbolic mathematical computing of bifurcations in dynamical systems. J. Comput. Methods Sci. Eng. 4(1-2): 115-123 (2004) - [j3]José C. Valverde, Fernando L. Pelayo
Stability of continuous systems by Routh-Hurwitz and mathematica. J. Comput. Methods Sci. Eng. 4(1-2): 125-134 (2004) - [c8]Natalia López, Manuel Núñez
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI 2004: 64-73 - [c7]Fernando L. Pelayo
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM 2004: 49-56 - [c6]Gregorio Díaz
Automatic verification of the TLS handshake protocol. SAC 2004: 789-794 - [e1]Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, ISBN 3-540-23169-2 [contents] - 2003
- [j2]Diego Cazorla
Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. 55(1-2): 57-103 (2003) - [c5]Hermenegilda Macià
A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-225 - [c4]Fernando L. Pelayo
Analysis of the MPEG-2 Encoding Algorithm with ROSA1. FMICS 2003: 185-202 - 2002
- [c3]Valentín Valero Ruiz
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. FMICS 2002: 120-131 - 2001
- [j1]Diego Cazorla
A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. 80(1): 15-23 (2001) - 2000
- [c2]Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo:
A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E41-E48 - [c1]Fernando L. Pelayo
An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA 2000: 271-278
Coauthor Index
aka: Valentín Valero
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: