Diego Cazorla
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
2000–2017
Best venue rank
National
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | IWANN | Heuristics for ROSA's LTS Searching. | Fernando Lpez Pelayo, Fernando Cuartero Gmez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo |
| 2015 | TrustCom | Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. | M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla |
| 2013 | WorldCIST | Finding the Suitable Number of Resources to Maximize System Throughput. | M. Carmen Ruiz, Diego Prez Lendrez, Juan Jos Pardo, Diego Cazorla |
| 2012 | DEXA | Improving the Performance for the Range Search on Metric Spaces Using a Multi-GPU Platform. | Roberto Uribe Paredes, Enrique Arias, Jos L. Snchez, Diego Cazorla, Pedro Valero-Lara |
| 2011 | ICCSA | A GPU-Based Implementation for Range Queries on Spaghettis Data Structure. | Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, Jos L. Snchez, Diego Cazorla |
| 2011 | IWANN | Looking for a Cheaper ROSA. | Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
| 2008 | MSWIM | Modelling secure wireless sensor networks routing protocols with timed automata. | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2007 | ICIW | Analysis of Web Services Secure Conversation with Formal Methods. | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Daz |
| 2007 | MASS | Formal Analysis of Sensor Network Encryption Protocol (SNEP). | Llanos Tobarra, Diego Cazorla, Fernando Cuartero |
| 2006 | SAC | Analysis of the SET e-commerce protocol using a true concurrency process algebra. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2006 | SYNASC | Process Algebra Specification of Flexible Manufacturing Systems. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2005 | SYNASC | A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2004 | FORTE | Introducing the Iteration in sPBC. | Hermenegilda Maci, Valentn Valero Ruiz, Diego Cazorla, Fernando Cuartero |
| 2004 | FORTE | A Bounded True Concurrency Process Algebra for Performance Evaluation. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo, Hermenegilda Maci |
| 2001 | APSEC | Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. | Juan Jos Pardo, Valentn Valero Ruiz, Fernando Cuartero, Diego Cazorla |
| 2000 | RTCSA | An example of performance evaluation by using the stochastic process algebra: ROSA. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Diego Cazorla |