Seguir
Diego Cazorla
Diego Cazorla
Associate professor of Computer Science. University of Castilla-La Mancha
Dirección de correo verificada de uclm.es
Título
Citado por
Citado por
Año
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
672003
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
472007
Model checking wireless sensor network security protocols: Tinysec+ leap
L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero
Wireless Sensor and Actor Networks: IFIP WG 6.8 First International …, 2007
392007
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004
332004
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
322009
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-4), 91-99, 2009
272009
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
262014
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
232011
Application of formal methods to the analysis of web services security
L Tobarra, D Cazorla, F Cuartero, G Diaz
EPEW/WS-FM 3670, 215-229, 2005
192005
A bounded true concurrency process algebra for performance evaluation
MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia
FORTE Workshops 2007, 143-155, 2004
182004
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
182002
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
172011
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
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
162016
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
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
142010
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
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
132015
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
132003
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
132000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20