Follow
Diego Cazorla
Diego Cazorla
Associate professor of Computer Science. University of Castilla-La Mancha
Verified email at uclm.es
Title
Cited by
Cited by
Year
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
682003
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
512007
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
402007
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004
362004
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
332009
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
302009
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
272014
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
242011
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
202005
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
192002
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
182011
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
172004
A process algebra for probabilistic and nondeterministic processes.
D Cazorla, F Cuartero, VV Ruiz, FL Pelayo
Inf. Process. Lett. 80 (1), 15-23, 2001
172001
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
162010
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
152016
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
152015
HidroMORE 2: An optimized and parallel version of HidroMORE
R Moreno, E Arias, JL Sánchez, D Cazorla, J Garrido, ...
2017 8th International Conference on Information and Communication Systems …, 2017
142017
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
142012
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
142006
A GPU-based implementation of the MRF algorithm in ITK package
P Valero, JL Sánchez, D Cazorla, E Arias
The Journal of Supercomputing 58, 403-410, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20