Diego Cazorla

According to our database, Diego Cazorla authored at least 37 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Seeking the best Weather Research and Forecasting model performance: an empirical score approach.

Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Francisco J. Tapiador

J. Supercomput., 2020

Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model.

Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Andrés Navarro, Tomás Rojo, Francisco J. Tapiador

Sci. Program., 2020

2018

Variability of Microwave Scattering in a Stochastic Ensemble of Measured Rain Drops.

Francisco J. Tapiador, Raúl Moreno, Andrés Navarro, Alfonso Jiménez-Alcázar, Enrique Arias, Diego Cazorla

Remote. Sens., 2018

2017

An efficiency study of a pivot-based algorithm for similarity search on a heterogeneous platform.

Roberto Uribe Paredes, Enrique Arias, Diego Cazorla, José L. Sánchez

J. Supercomput., 2017

Heuristics for ROSA's LTS Searching.

Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo

Proceedings of the Advances in Computational Intelligence, 2017

2016

Formal performance evaluation of the Map/Reduce framework within cloud computing.

M. Carmen Ruiz, Diego Cazorla, Diego Pérez Leándrez, Javier Conejero

J. Supercomput., 2016

2015

Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff.

M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2014

Towards an efficient static scheduling scheme for delivering queries to heterogeneous clusters in the similarity search problem.

Roberto Uribe Paredes, Diego Cazorla, Enrique Arias, José L. Sánchez

J. Supercomput., 2014

Acceleration of short and long DNA read mapping without loss of accuracy using suffix array.

Joaquín Tárraga, Vicente Arnau, Héctor Martínez, Raul Moreno, Diego Cazorla, José Salavert Torres, Ignacio Blanquer Espert, Joaquín Dopazo, Ignacio Medina

Bioinform., 2014

2013

Finding the Suitable Number of Resources to Maximize System Throughput.

M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla

Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

2012

Improving the Performance for the Range Search on Metric Spaces Using a Multi-GPU Platform.

Roberto Uribe Paredes, Enrique Arias, José L. Sánchez, Diego Cazorla, Pedro Valero-Lara

Proceedings of the Database and Expert Systems Applications, 2012

2011

A GPU-based implementation of the MRF algorithm in ITK package.

Pedro Valero-Lara, José L. Sánchez, Diego Cazorla, Enrique Arias

J. Supercomput., 2011

Looking for a Cheaper ROSA.

Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla

Proceedings of the Advances in Computational Intelligence, 2011

Similarity search implementations for multi-core and many-core processors.

Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla

Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

A GPU-Based Implementation for Range Queries on Spaghettis Data Structure.

Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2010

BAL Tool in Flexible Manufacturing Systems.

Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero

Telecommun. Syst., 2009

Improving performance in flexible manufacturing systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

2008

Modelling secure wireless sensor networks routing protocols with timed automata.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2008

Formal Verification of the Secure Sockets Layer Protocol.

Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero

Proceedings of the ICEIS 2008, 2008

2007

Formal Analysis of Sensor Network Encryption Protocol (SNEP).

Llanos Tobarra, Diego Cazorla, Fernando Cuartero

Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero

Proceedings of the Wireless Sensor and Actor Networks, 2007

Analysis of Web Services Secure Conversation with Formal Methods.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

2006

Process Algebra Specification of Flexible Manufacturing Systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Analysis of the SET e-commerce protocol using a true concurrency process algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Application of Formal Methods to the Analysis of Web Services Security.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

A Bounded True Concurrency Process Algebra for Performance Evaluation.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Introducing the Iteration in sPBC.

Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Algebraic theory of probabilistic and nondeterministic processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo

J. Log. Algebraic Methods Program., 2003

Analysis of the MPEG-2 Encoding Algorithm with ROSA1.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets.

Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001

A process algebra for probabilistic and nondeterministic processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Inf. Process. Lett., 2001

Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.

Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

An example of performance evaluation by using the stochastic process algebra: ROSA.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A Denotational Model for Probabilistic and Nondeterministic Processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000