| 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 | 67 | 2003 |
| Formal analysis of sensor network encryption protocol (snep) L Tobarra, D Cazorla, F Cuartero 2007 IEEE International Conference on Mobile Adhoc and Sensor Systems, 1-6, 2007 | 51 | 2007 |
| Model checking wireless sensor network security protocols: Tinysec+ leap L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero IFIP Conference on Wireless Sensor and Actor Networks, 95-106, 2007 | 39 | 2007 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 34 | 2004 |
| Improving performance in flexible manufacturing systems MC Ruiz, D Cazorla, F Cuartero, H Macia The Journal of Logic and Algebraic Programming 78 (4), 260-273, 2009 | 33 | 2009 |
| Model checking wireless sensor network security protocols: TinySec+ LEAP+ TinyPK L Tobarra, D Cazorla, F Cuartero, G Díaz, E Cambronero Telecommunication Systems 40 (3), 91-99, 2009 | 29 | 2009 |
| Acceleration of short and long DNA read mapping without loss of accuracy using suffix array J Tárraga, V Arnau, H Martínez, R Moreno, D Cazorla, J Salavert-Torres, ... Bioinformatics 30 (23), 3396-3398, 2014 | 26 | 2014 |
| Similarity search implementations for multi-core and many-core processors R Uribe-Paredes, P Valero-Lara, E Arias, JL Sánchez, D Cazorla 2011 International Conference on High Performance Computing & Simulation …, 2011 | 23 | 2011 |
| Application of formal methods to the analysis of web services security L Tobarra, D Cazorla, F Cuartero, G Diaz European Workshop on Performance Engineering, 215-229, 2005 | 20 | 2005 |
| 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 |
| A gpu-based implementation for range queries on spaghettis data structure R Uribe-Paredes, P Valero-Lara, E Arias, JL Sánchez, D Cazorla Computational Science and Its Applications-ICCSA 2011: International …, 2011 | 18 | 2011 |
| A bounded true concurrency process algebra for performance evaluation MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 …, 2004 | 17 | 2004 |
| 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 |
| Plan de coordinación docente en el Grado de Ingeniería Informática D Cazorla, M Macià, JM Puerta, R Serrano, T Rojo XVI Jornadas de Enseñanza Universitaria de la Informática, 138-144, 2010 | 16 | 2010 |
| Formal performance evaluation of the Map/Reduce framework within cloud computing MC Ruiz, D Cazorla, D Pérez, J Conejero The Journal of Supercomputing 72, 3136-3155, 2016 | 15 | 2016 |
| Analysis of the SET e-commerce protocol using a true concurrency process algebra MC Ruiz, D Cazorla, F Cuartero, JJ Pardo Proceedings of the 2006 ACM symposium on Applied computing, 879-886, 2006 | 15 | 2006 |
| Improving the performance for the range search on metric spaces using a multi-GPU platform R Uribe-Paredes, E Arias, JL Sánchez, D Cazorla, P Valero-Lara Database and Expert Systems Applications: 23rd International Conference …, 2012 | 14 | 2012 |
| Petri nets formalization of map/reduce paradigm to optimise the performance-cost tradeoff MC Ruiz, J Calleja, D Cazorla 2015 IEEE Trustcom/BigDataSE/ISPA 3, 92-99, 2015 | 13 | 2015 |
| 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 |
Roberto Uribe ParedesUniversidad de Magallanes, University of MagallanesVerified email at umag.cl
