| |
| 2007 | ||
|---|---|---|
| 6 | EE | Andrea Ferrara, Paolo Liberatore, Marco Schaerf: Model Checking and Preprocessing. AI*IA 2007: 48-59 |
| 2005 | ||
| 5 | EE | Andrea Ferrara, Paolo Liberatore, Marco Schaerf: The Complexity of Action Redundancy. AI*IA 2005: 1-12 |
| 4 | EE | Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503 |
| 2004 | ||
| 3 | EE | Gwen Salaün, Andrea Ferrara, Antonella Chirichiello: Negotiation Among Web Services Using LOTOS/CADP. ECOWS 2004: 198-212 |
| 2 | EE | Andrea Ferrara: Web services: a process algebra approach. ICSOC 2004: 242-251 |
| 1 | EE | Andrea Ferrara: Web Services: A Process Algebra Approach CoRR cs.AI/0406055: (2004) |
| 1 | Antonella Chirichiello | [3] |
| 2 | Paolo Liberatore | [5] [6] |
| 3 | Guoqiang Pan | [4] |
| 4 | Gwen Salaün | [3] |
| 5 | Marco Schaerf | [5] [6] |
| 6 | Moshe Y. Vardi | [4] |