A Denotational Model for Probabilistic and Nondeterministic Processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (ICDCS Workshop on Distributed System Validation and Verification, 2000)

An example of performance evaluation by using the stochastic process algebra: ROSA. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (RTCSA, 2000)

Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. - Juan José Pardo; Valentín Valero Ruiz; Fernando Cuartero; Diego Cazorla (APSEC, 2001)

A process algebra for probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (Inf. Process. Lett., 2001)

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 (FMICS, 2002)

Analysis of the MPEG-2 Encoding Algorithm with ROSA1. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (FMICS, 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)

Introducing the Iteration in sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Diego Cazorla; Fernando Cuartero (FORTE, 2004)

A Bounded True Concurrency Process Algebra for Performance Evaluation. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo; Hermenegilda Macià (FORTE Workshops, 2004)

Application of Formal Methods to the Analysis of Web Services Security. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001 (EPEW/WS-FM, 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 (SYNASC, 2005)

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 (CIMCA/IAWTIC, 2006)

Analysis of the SET e-commerce protocol using a true concurrency process algebra. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SAC, 2006)

Process Algebra Specification of Flexible Manufacturing Systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SYNASC, 2006)

Analysis of Web Services Secure Conversation with Formal Methods. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001 (ICIW, 2007)

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001; María-Emilia Cambronero (WSAN, 2007)

Formal Analysis of Sensor Network Encryption Protocol (SNEP). - Llanos Tobarra; Diego Cazorla; Fernando Cuartero (MASS, 2007)

Formal Verification of the Secure Sockets Layer Protocol. - Llanos Tobarra; Diego Cazorla; Juan José Pardo; Fernando Cuartero (ICEIS (3-2), 2008)

Modelling secure wireless sensor networks routing protocols with timed automata. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Juan José Pardo (PM2HW2N, 2008)

Improving performance in flexible manufacturing systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001; María-Emilia Cambronero (Telecommun. Syst., 2009)

BAL Tool in Flexible Manufacturing Systems. - Diego Pérez Leándrez; M. Carmen Ruiz; Juan José Pardo; Diego Cazorla (AMAST, 2010)

A GPU-Based Implementation for Range Queries on Spaghettis Data Structure. - Roberto Uribe Paredes; Pedro Valero-Lara; Enrique Arias 001; José L. Sánchez 002; Diego Cazorla (ICCSA (1), 2011)

Similarity search implementations for multi-core and many-core processors. - Roberto Uribe Paredes; Pedro Valero-Lara; Enrique Arias 001; José L. Sánchez 002; Diego Cazorla (HPCS, 2011)

Looking for a Cheaper ROSA. - Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla (IWANN (2), 2011)

A GPU-based implementation of the MRF algorithm in ITK package. - Pedro Valero-Lara; José L. Sánchez 002; Diego Cazorla; Enrique Arias 001 (J. Supercomput., 2011)

Improving the Performance for the Range Search on Metric Spaces Using a Multi-GPU Platform. - Roberto Uribe Paredes; Enrique Arias 001; José L. Sánchez 002; Diego Cazorla; Pedro Valero-Lara (DEXA (2), 2012)

Finding the Suitable Number of Resources to Maximize System Throughput. - M. Carmen Ruiz; Diego Pérez Leándrez; Juan José Pardo; Diego Cazorla (WorldCIST, 2013)

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 002; Raul Moreno; Diego Cazorla; José Salavert Torres; Ignacio Blanquer Espert; Joaquín Dopazo; Ignacio Medina (Bioinform., 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 001; José L. Sánchez 002 (J. Supercomput., 2014)

Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. - M. Carmen Ruiz; Javier L. Calleja; Diego Cazorla (TrustCom/BigDataSE/ISPA (3), 2015)

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)

Heuristics for ROSA's LTS Searching. - Fernando López Pelayo; Fernando Cuartero Gómez; Diego Cazorla; Pedro Valero-Lara; Mercedes G. Merayo (IWANN (2), 2017)

An efficiency study of a pivot-based algorithm for similarity search on a heterogeneous platform. - Roberto Uribe Paredes; Enrique Arias 001; Diego Cazorla; José L. Sánchez 002 (J. Supercomput., 2017)

Variability of Microwave Scattering in a Stochastic Ensemble of Measured Rain Drops. - Francisco J. Tapiador; Raúl Moreno 001; Andrés Navarro; Alfonso Jiménez-Alcázar; Enrique Arias 001; Diego Cazorla (Remote. Sens., 2018)

Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model. - Raúl Moreno 001; Enrique Arias 001; Diego Cazorla; Juan José Pardo; Andrés Navarro; Tomás Rojo; Francisco J. Tapiador (Sci. Program., 2020)

Seeking the best Weather Research and Forecasting model performance: an empirical score approach. - Raúl Moreno 001; Enrique Arias 001; Diego Cazorla; Juan José Pardo; Francisco J. Tapiador (J. Supercomput., 2020)