Alberto Lluch-Lafuente

	2009
21		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
20		Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
	2008
19		Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente: Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
	2007
18		Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
17		Alberto Lluch-Lafuente: Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242
16		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
	2006
15		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
14		Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
13		Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
12		GianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. Electr. Notes Theor. Comput. Sci. 142: 143-160 (2006)
11		Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. Notes Theor. Comput. Sci. 153(2): 135-159 (2006)
10		Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Verification of a Spatial Logic for the pi-calculus. Electr. Notes Theor. Comput. Sci. 154(2): 31-46 (2006)
	2005
9		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
8		Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente: Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. POLICY 2005: 181-190
7		Alberto Lluch-Lafuente, Ugo Montanari: Quantitative ?-calculus and CTL Based on Constraint Semirings. Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005)
6		Alberto Lluch-Lafuente, Ugo Montanari: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
	2004
5		Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2-3): 247-267 (2004)
4		Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)
	2002
3		Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
	2001
2		Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
1		Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): (2001)

Coauthor Index

1	Paolo Baldan	[13]
2	Dragan Bosnacki	[14] [20]
3	Roberto Bruni	[16] [19] [21]
4	Antonio Bucchiarone	[19]
5	Marinos Charalambides	[8]
6	Andrea Corradini	[13]
7	Stefan Edelkamp	[1] [2] [3] [4] [5] [9] [15]
8	Gian Luigi Ferrari (GianLuigi Ferrari)	[12]
9	Paris Flegkas	[8]
10	Fabio Gadducci	[10] [18]
11	Stefania Gnesi	[19]
12	Dan Hirsch	[11] [19]
13	Shahid Jabbar	[9] [15]
14	Barbara König	[13]
15	Stefan Leue	[1] [2] [3] [4] [5] [14] [20]
16	Ugo Montanari	[6] [7] [16] [21]
17	George Pavlou	[8]
18	Javier Rubio-Loyola	[8]
19	Joan Serrat	[8]
20	Emilio Tuosto	[11] [16]

Colors in the list of coauthors