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 | 68 | 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 | 47 | 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 | 45 | 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 | 25 | 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 | 19 | 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 | 19 | 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 | 17 | 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 | 17 | 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 | 17 | 2001 |
Towards a more efficient use of gpus P Valero, FL Pelayo 2011 International Conference on Computational Science and Its Applications, 3-9, 2011 | 16 | 2011 |
Modeling the dynamics of concurrent computing systems JLG Guirao, FL Pelayo, JC Valverde Computers & Mathematics with Applications 61 (5), 1402-1406, 2011 | 16 | 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 | 13 | 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 | 13 | 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 | 13 | 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 | 11 | 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 | 11 | 2004 |
Full-overlapped concurrent kernels P Valero-Lara, FL Pelayo ARCS 2015-The 28th International Conference on Architecture of Computing …, 2015 | 10 | 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 | 10 | 2008 |
Notes on “Modeling the dynamics of concurrent computing systems” FL Pelayo, JC Valverde Computers & Mathematics with Applications 64 (4), 661-663, 2012 | 9 | 2012 |
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 | 9 | 2005 |