Alessandro Lapadula

	2009
12		Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009)
11		Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: From Architectural to Behavioural Specification of Services. Electr. Notes Theor. Comput. Sci. 253(1): 3-21 (2009)
	2008
10		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
9		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
8		Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
7		Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
6		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
	2007
5		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
4		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
3		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
	2006
2		Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
	2002
1		Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33

Coauthor Index

1	Lucia Acciai	[7]
2	Luis Filipe Andrade	[1]
3	Paolo Baldan	[1]
4	Federico Banti	[7] [12]
5	Hubert Baumeister	[1]
6	Laura Bocchi	[11]
7	Roberto Bruni	[1]
8	Allan Clark	[7]
9	Andrea Corradini	[1]
10	Alessandro Fantechi	[7] [8]
11	José Luiz Fiadeiro	[1] [11]
12	Fabio Gadducci	[1]
13	Stephen Gilmore (Stephen T. Gilmore)	[7]
14	Stefania Gnesi	[1] [7] [8]
15	László Gönczy	[7]
16	Piotr Hoffman	[1]
17	Matthias M. Hölzl	[7]
18	Nora Koch	[1] [7]
19	Piotr Kosiuczenko	[1]
20	Diego Latella	[1]
21	Antónia Lopes	[1]
22	Michele Loreti	[1]
23	Mieke Massink	[1]
24	Philip Mayer	[7]
25	Franco Mazzanti	[1] [7] [8]
26	Ugo Montanari	[1]
27	Rocco De Nicola	[1]
28	Cristóvão Oliveira	[1]
29	Rosario Pugliese	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
30	Andreas Schroeder	[7]
31	Andrzej Tarlecki	[1]
32	Francesco Tiezzi	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
33	Mirco Tribastone	[7]
34	Dániel Varró	[7]
35	Michel Wermelinger	[1]
36	Martin Wirsing	[1] [7]
37	Artur Zawlocki	[1]