Diego Cazorla - RankMe

37 papers B 2C 6Misc 3Journal 12Unranked 14

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model. Sci. Program. Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Andrés Navarro, Tomás Rojo, Francisco J. Tapiador
2020	J	`jnl`	Seeking the best Weather Research and Forecasting model performance: an empirical score approach. J. Supercomput. Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Francisco J. Tapiador
2018	J	`jnl`	Variability of Microwave Scattering in a Stochastic Ensemble of Measured Rain Drops. Remote. Sens. Francisco J. Tapiador, Raúl Moreno, Andrés Navarro, Alfonso Jiménez-Alcázar, Enrique Arias, Diego Cazorla
2017	J	`jnl`	An efficiency study of a pivot-based algorithm for similarity search on a heterogeneous platform. J. Supercomput. Roberto Uribe Paredes, Enrique Arias, Diego Cazorla, José L. Sánchez
2017	—	`conf`	Heuristics for ROSA's LTS Searching. IWANN (2) Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo
2016	J	`jnl`	Formal performance evaluation of the Map/Reduce framework within cloud computing. J. Supercomput. M. Carmen Ruiz, Diego Cazorla, Diego Pérez Leándrez, Javier Conejero
2015	—	`conf`	Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. TrustCom/BigDataSE/ISPA (3) M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla
2014	J	`jnl`	Acceleration of short and long DNA read mapping without loss of accuracy using suffix array. Bioinform. 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
2014	J	`jnl`	Towards an efficient static scheduling scheme for delivering queries to heterogeneous clusters in the similarity search problem. J. Supercomput. Roberto Uribe Paredes, Diego Cazorla, Enrique Arias, José L. Sánchez
2013	C	`conf`	Finding the Suitable Number of Resources to Maximize System Throughput. WorldCIST M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla
2012	—	`conf`	Improving the Performance for the Range Search on Metric Spaces Using a Multi-GPU Platform. DEXA (2) Roberto Uribe Paredes, Enrique Arias, José L. Sánchez, Diego Cazorla, Pedro Valero-Lara
2011	—	`conf`	A GPU-Based Implementation for Range Queries on Spaghettis Data Structure. ICCSA (1) Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla
2011	J	`jnl`	A GPU-based implementation of the MRF algorithm in ITK package. J. Supercomput. Pedro Valero-Lara, José L. Sánchez, Diego Cazorla, Enrique Arias
2011	—	`conf`	Looking for a Cheaper ROSA. IWANN (2) Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2011	—	`conf`	Similarity search implementations for multi-core and many-core processors. HPCS Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla
2010	—	`conf`	BAL Tool in Flexible Manufacturing Systems. AMAST Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla
2009	J	`jnl`	Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
2009	J	`jnl`	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2008	—	`conf`	Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero
2008	—	`conf`	Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2007	C	`conf`	Analysis of Web Services Secure Conversation with Formal Methods. ICIW Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
2007	B	`conf`	Formal Analysis of Sensor Network Encryption Protocol (SNEP). MASS Llanos Tobarra, Diego Cazorla, Fernando Cuartero
2007	—	`conf`	Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2006	Misc	`conf`	Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2006	Misc	`conf`	Process Algebra Specification of Flexible Manufacturing Systems. SYNASC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2006	—	`conf`	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2005	Misc	`conf`	A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2005	—	`conf`	Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
2004	—	`conf`	A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
2004	C	`conf`	Introducing the Iteration in sPBC. FORTE Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
2003	J	`jnl`	Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
2003	C	`conf`	Analysis of the MPEG-2 Encoding Algorithm with ROSA1. FMICS Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
2002	C	`conf`	Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. FMICS Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2001	J	`jnl`	A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2001	C	`conf`	Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
2000	—	`conf`	A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2000	B	`conf`	An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla