Fernando Lopez Pelayo
Fernando Lopez Pelayo
Profesor de Algoritmia y Teoría de Autómatas. Universidad de Castilla - La Mancha
Verified email at
Cited by
Cited by
Algebraic theory of probabilistic and nondeterministic processes
D Cazorla, F Cuartero, V Valero, FL Pelayo, JJ Pardo
The Journal of Logic and Algebraic Programming 55 (1-2), 57-103, 2003
Automatic verification of the TLS handshake protocol
G Diáz, F Cuartero, V Valero, F Pelayo
proceedings of the 2004 ACM Symposium on Applied Computing, 789-794, 2004
Parallel discrete dynamical systems on maxterm and minterm Boolean functions
JA Aledo, S Martínez, FL Pelayo, JC Valverde
Mathematical and Computer Modelling 55 (3), 666-671, 2012
Perspectives on cognitive computers and knowledge processors
Y Wang, G Fariello, ML Gavrilova, W Kinsner, F Mizoguchi, S Patel, ...
International Journal of Cognitive Informatics and Natural Intelligence …, 2013
Many-task computing on many-core architectures
P Valero-Lara, P Nookala, FL Pelayo, J Jansson, S Dimitropoulos, I Raicu
Scalable Computing: Practice and Experience 17 (1), 32-46, 2016
Specification and analysis of the MPEG-2 video encoder with timed-arc Petri nets
V Valero, FL Pelayo, F Cuartero, D Cazorla
Electronic Notes in Theoretical Computer Science 66 (2), 120-131, 2002
Modeling and simulation of the IEEE 802.11 e wireless protocol with hidden nodes using Colored Petri Nets
E Coronado, V Valero, L Orozco-Barbosa, ME Cambronero, FL Pelayo
Software and Systems Modeling 20, 505-538, 2021
RT-UML for modeling real-time web services
M emilia Cambronero, G Diaz, J jose Pardo, V Valero, FL Pelayo
2006 IEEE Services Computing Workshops, 131-139, 2006
A process algebra for probabilistic and nondeterministic processes.
D Cazorla, F Cuartero, VV Ruiz, FL Pelayo
Inf. Process. Lett. 80 (1), 15-23, 2001
Towards a more efficient use of gpus
P Valero, FL Pelayo
2011 International Conference on Computational Science and Its Applications, 3-9, 2011
Modeling the dynamics of concurrent computing systems
JLG Guirao, FL Pelayo, JC Valverde
Computers & Mathematics with Applications 61 (5), 1402-1406, 2011
Analysis in performance and new model for multiple kernels executions on many-core architectures
P Valero-Lara, FL Pelayo
2013 IEEE 12th International Conference on Cognitive Informatics and …, 2013
Analysis of the MPEG-2 encoding algorithm with ROSA
FL Pelayo, F Cuartero, V Valero, D Cazorla
Electronic Notes in Theoretical Computer Science 80, 185-202, 2003
An example of performance evaluation by using the stochastic process algebra: ROSA
FL Pelayo, F Cuartero, V Valero, D Cazorla
Proceedings Seventh International Conference on Real-Time Computing Systems …, 2000
Stopa: A stochastic process algebra for the formal representation of cognitive systems
N López, M Núnez, FL Pelayo
Proceedings of the Third IEEE International Conference on Cognitive …, 2004
Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm
FL Pelayo, F Cuartero, V Valero, H Macia, ML Pelayo
10th International Multimedia Modelling Conference, 2004. Proceedings., 49-56, 2004
Full-overlapped concurrent kernels
P Valero-Lara, FL Pelayo
ARCS 2015-The 28th International Conference on Architecture of Computing …, 2015
On skew-product maps with the base having a closed set of periodic points
JLG Guirao, FL Pelayo
International Journal of Computer Mathematics 85 (3-4), 441-445, 2008
How does the memory work? by timed-arc Petri nets
FL Pelayo, F Cuartero, V Valero, ML Pelayo, MG Merayo
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 128-135, 2005
A new proposal for the synchronization in sPBC
H Macia, V Valero, F Cuartero, FL Pelayo
Proc. Third IEEE Int. Conference on Application of Concurrent to System …, 2002
The system can't perform the operation now. Try again later.
Articles 1–20