| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 6 |      | Andrea Ferrara, Paolo Liberatore, Marco Schaerf: Model Checking and Preprocessing. AI*IA 2007: 48-59 |
| 2005 | ||
| 5 | | Andrea Ferrara, Paolo Liberatore, Marco Schaerf: The Complexity of Action Redundancy. AI*IA 2005: 1-12 |
| 4 | | Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503 |
| 2004 | ||
| 3 | | Gwen Salaün, Andrea Ferrara, Antonella Chirichiello: Negotiation Among Web Services Using LOTOS/CADP. ECOWS 2004: 198-212 |
| 2 | | Andrea Ferrara: Web services: a process algebra approach. ICSOC 2004: 242-251 |
| 1 | | 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] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page