Fernando L. Pelayo

42 papers B 3C 2Misc 1Journal 19Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Experimental algorithms for the dualization problem. CoRR Mauro Mezzini, Fernando Cuartero Gomez, Jose Javier Paulet Gonzalez, Hernan Indibil de la Cruz Calvo, Vicente Pascual, Fernando L. Pelayo
2024	J	`jnl`	Polynomial quantum computing algorithms for solving the dualization problem for positive Boolean functions. Quantum Mach. Intell. Mauro Mezzini, Fernando Cuartero Gomez, Jose Javier Paulet Gonzalez, Hernan Indibil de la Cruz Calvo, Vicente Pascual, Fernando L. Pelayo
2023	J	`jnl`	A polynomial quantum computing algorithm for solving the dualization problem. CoRR Mauro Mezzini, Fernando Cuartero Gomez, Fernando L. Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual
2022	J	`jnl`	Quantum invariants for the graph isomorphism problem. CoRR Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini
2021	J	`jnl`	Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. Softw. Syst. Model. Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
2021	J	`jnl`	Quantum algorithm for doubling the amplitude of the search problem's solution states. CoRR Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero
2017	J	`jnl`	Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. Scalable Comput. Pract. Exp. Pedro Valero-Lara, Mawussi Zounon, Maksims Abalenkovs, Fernando L. Pelayo
2016	J	`jnl`	Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. Scalable Comput. Pract. Exp. Pedro Valero-Lara, Fernando L. Pelayo, Johan Jansson
2016	J	`jnl`	Many-Task Computing on Many-Core Architectures. Scalable Comput. Pract. Exp. Pedro Valero-Lara, Poornima Nookala, Fernando L. Pelayo, Johan Jansson, Serapheim Dimitropoulos, Ioan Raicu
2013	—	`conf`	Analysis in performance and new model for multiple kernels executions on many-core architectures. ICCI*CC Pedro Valero-Lara, Fernando L. Pelayo
2013	B	`conf`	GPU Powered ROSA Analyzer. ICPP Raúl Pardo, Fernando L. Pelayo, Pedro Valero-Lara
2013	J	`jnl`	Perspectives on Cognitive Computers and Knowledge Processors. Int. J. Cogn. Informatics Nat. Intell. 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
2012	—	`conf`	Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. ICCI*CC Raúl Pardo, Fernando L. Pelayo
2012	J	`jnl`	Notes on "Modeling the dynamics of concurrent computing systems". Comput. Math. Appl. Fernando L. Pelayo, José C. Valverde
2012	—	`conf`	ROSA Analyser: An automatized approach to analyse processes of ROSA WS-FMDS Raúl Pardo, Fernando L. Pelayo
2011	—	`conf`	Looking for a Cheaper ROSA. IWANN (2) Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2011	J	`jnl`	Modeling the dynamics of concurrent computing systems. Comput. Math. Appl. Juan Luis García Guirao, Fernando L. Pelayo, José C. Valverde
2011	J	`jnl`	Petri Nets and Discrete Events Systems. Int. J. Softw. Sci. Comput. Intell. Juan Luis García Guirao, Fernando L. Pelayo
2011	—	`conf`	Towards a More Efficient Use of GPUs. ICCSA Workshops Pedro Valero-Lara, Fernando L. Pelayo
2009	—	`conf`	Towards the Evolutionary Process Algebra. IEEE ICCI Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao
2008	J	`jnl`	A Comparative Study of STOPA and RTPA. Trans. Comput. Sci. Natalia López, Manuel Núñez, Fernando L. Pelayo
2008	—	`conf`	Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo
2007	J	`jnl`	A Formal Specification of the Memorization Process. Int. J. Cogn. Informatics Nat. Intell. Natalia López, Manuel Núñez, Fernando L. Pelayo
2007	—	`conf`	Does ROSA provide a good view of the Memorizing Process? IEEE ICCI Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Díaz, Elena Nieto
2006	—	`conf`	Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation. IEEE ICCI Fernando L. Pelayo, Maria L. Pelayo, Elena Nieto
2006	—	`conf`	RT-UML for modeling Real-Time Web Services. SCW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo
2005	—	`conf`	A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez
2005	—	`conf`	How does the memory work? By timed-arc Petri nets. IEEE ICCI Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo
2005	—	`conf`	Specifying the memorization process with STOPA. IEEE ICCI Fernando L. Pelayo, Manuel Núñez, Natalia López
2004	—	`ed.`	Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 FORTE Workshops Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
2004	B	`conf`	Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
2004	Misc	`conf`	Automatic verification of the TLS handshake protocol. SAC Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2004	—	`conf`	STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI Natalia López, Manuel Núñez, Fernando L. Pelayo
2004	J	`jnl`	Stability of continuous systems by Routh-Hurwitz and mathematica. J. Comput. Methods Sci. Eng. José C. Valverde, Fernando L. Pelayo, Juan A. Martinez, Juan José Miralles Canals
2004	J	`jnl`	Symbolic mathematical computing of bifurcations in dynamical systems. J. Comput. Methods Sci. Eng. José C. Valverde, Fernando L. Pelayo, Juan A. Martinez, Juan José Miralles Canals
2003	—	`conf`	A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
2003	J	`jnl`	Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
2003	C	`conf`	Analysis of the MPEG-2 Encoding Algorithm with ROSA1. FMICS Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
2002	C	`conf`	Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. FMICS Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2001	J	`jnl`	A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2000	—	`conf`	A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2000	B	`conf`	An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla