Andrea Ferrara

	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)

Coauthor Index

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