| 2008 |
|---|
| 9 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
A Formal Account of WS-BPEL.
COORDINATION 2008: 199-215 |
| 8 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS.
Concurrency, Graphs and Models 2008: 701-720 |
| 7 | EE | Alessandro Fantechi,
Stefania Gnesi,
Alessandro Lapadula,
Franco Mazzanti,
Rosario Pugliese,
Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications.
FASE 2008: 230-245 |
| 6 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Service Discovery and Negotiation With COWS.
Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008) |
| 2007 |
|---|
| 5 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
A Calculus for Orchestration of Web Services.
ESOP 2007: 33-47 |
| 4 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications.
FSEN 2007: 223-239 |
| 3 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus.
ICTAC 2007: 275-290 |
| 2006 |
|---|
| 2 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL.
COORDINATION 2006: 145-163 |
| 2002 |
|---|
| 1 | EE | 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 |
