| 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 |
| 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 | 44 | 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 | 36 | 2007 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero International Conference on Formal Techniques for Networked and Distributed …, 2004 | 32 | 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 | 31 | 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 | 27 | 2014 |
| 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 | 27 | 2009 |
| 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 | 20 | 2011 |
| Application of formal methods to the analysis of web services security L Tobarra, D Cazorla, F Cuartero, G Diaz Formal Techniques for Computer Systems and Business Processes, 215-229, 2005 | 19 | 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 bounded true concurrency process algebra for performance evaluation MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia International Conference on Formal Techniques for Networked and Distributed …, 2004 | 18 | 2004 |
| A gpu-based implementation for range queries on spaghettis data structure R Uribe-Paredes, P Valero-Lara, E Arias, JL Sánchez, D Cazorla International Conference on Computational Science and Its Applications, 615-629, 2011 | 17 | 2011 |
| 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 |
| 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 (8), 3136-3155, 2016 | 15 | 2016 |
| 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 International Conference on Database and Expert Systems Applications, 442-449, 2012 | 15 | 2012 |
| 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 | 14 | 2006 |
| 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 |
| 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 |
| 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 |
| A comparative study of different metric structures: Thinking on GPU implementations R Uribe-Paredes, D Cazorla, JL Sánchez, E Arias The Lecture Notes in Engineering and Computers Sciences: Proccedings of The …, 2012 | 12 | 2012 |
Roberto Uribe ParedesUniversidad de Magallanes, University of MagallanesE-mail megerősítve itt: umag.cl
