Diego Cazorla

	2011
24		Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla: A GPU-Based Implementation for Range Queries on Spaghettis Data Structure. ICCSA (1) 2011: 615-629
23		Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla: Looking for a Cheaper ROSA. IWANN (2) 2011: 380-387
22		Pedro Valero-Lara, José L. Sánchez, Diego Cazorla, Enrique Arias: A GPU-based implementation of the MRF algorithm in ITK package. The Journal of Supercomputing 58(3): 403-410 (2011)
	2010
21		Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla: BAL Tool in Flexible Manufacturing Systems. AMAST 2010: 209-215
	2009
20		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià: Improving performance in flexible manufacturing systems. J. Log. Algebr. Program. 78(4): 260-273 (2009)
19		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero: Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommunication Systems 40(3-4): 91-99 (2009)
	2008
18		M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero: Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) 2008: 246-252
17		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N 2008: 51-58
	2007
16		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27
15		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero: Formal Analysis of Sensor Network Encryption Protocol (SNEP). MASS 2007: 1-6
	2006
14		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC 2006: 46
13		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC 2006: 879-886
12		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Process Algebra Specification of Flexible Manufacturing Systems. SYNASC 2006: 181-186
	2005
11		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM 2005: 215-229
10		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC 2005: 239-244
	2004
9		Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero: Introducing the Iteration in sPBC. FORTE 2004: 292-309
8		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià: A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops 2004: 143-155
	2003
7		Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla: Analysis of the MPEG-2 Encoding Algorithm with ROSA1. Electr. Notes Theor. Comput. Sci. 80: 185-202 (2003)
6		Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo: Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebr. Program. 55(1-2): 57-103 (2003)
	2002
5		Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla: Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. Electr. Notes Theor. Comput. Sci. 66(2): 120-131 (2002)
	2001
4		Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla: Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC 2001: 63-70
3		Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. 80(1): 15-23 (2001)
	2000
2		Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E41-E48
1		Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla: An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA 2000: 271-278

Coauthor Index

1	Enrique Arias	[22] [24]
2	María-Emilia Cambronero	[19]
3	Fernando Cuartero	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [23]
4	Gregorio Díaz (Gregorio Díaz Descalzo)	[11] [16] [19]
5	Diego Pérez Leándrez	[21]
6	Hermenegilda Macià	[8] [9] [20]
7	Juan José Pardo	[4] [6] [8] [10] [12] [13] [14] [17] [18] [21]
8	Fernando López Pelayo (Fernando L. Pelayo)	[1] [2] [3] [5] [6] [7] [23]
9	M. Carmen Ruiz	[8] [10] [12] [13] [14] [20] [21]
10	Valentín Valero Ruiz (Valentin Valero)	[1] [2] [3] [4] [5] [6] [7] [9]
11	José L. Sánchez	[22] [24]
12	M. Llanos Tobarra	[11] [15] [16] [17] [18] [19]
13	Roberto Uribe (Roberto Uribe Paredes)	[24]
14	Pedro Valero-Lara	[22] [24]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page