| 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 | 66 | 2003 |
| Automatic verification of the TLS handshake protocol G Díaz, F Cuartero, V Valero, F Pelayo Proceedings of the 2004 ACM symposium on Applied computing, 789-794, 2004 | 45 | 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 | 43 | 2012 |
| 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 |
| 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 | 18 | 2006 |
| A process algebra for probabilistic and nondeterministic processes D Cazorla, F Cuartero, V Valero, FL Pelayo Information Processing Letters 80 (1), 15-23, 2001 | 17 | 2001 |
| 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 | 16 | 2016 |
| 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 | 16 | 2013 |
| Modeling the dynamics of concurrent computing systems JLG Guirao, FL Pelayo, JC Valverde Computers & Mathematics with Applications 61 (5), 1402-1406, 2011 | 16 | 2011 |
| Towards a more efficient use of gpus P Valero, FL Pelayo 2011 International Conference on Computational Science and Its Applications, 3-9, 2011 | 14 | 2011 |
| 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 | 14 | 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 Lopez, M Nunez, 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 |
| 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 | 10 | 2013 |
| 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 |
| 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, 1-34, 2020 | 9 | 2020 |
| Notes on “Modeling the dynamics of concurrent computing systems” FL Pelayo, JC Valverde Computers & Mathematics with Applications 64 (4), 661-663, 2012 | 9 | 2012 |
| A new proposal for the synchronization in sPBC H Macia, VV Ruiz, F Cuartero, FL Pelayo, O Cuartero, OL Pelayo In Proc. Third IEEE Int. Conference on Application of Concurrent to System …, 2002 | 9 | 2002 |
| PPNAL: Performance evaluation in an algebraic model for probabilistic an non-deterministic processes FL Pelayo, F Cuartero, V Valero, D Cazorla Proceedings of 15th Annual UK Performance Engineering Workshop (UKPEW’99), 1-12, 1999 | 9 | 1999 |
