Andrea Ferrara

Contact and personal infos: Current position:


Publications
Title Autor(s) Published in Year
1The Complexity of Action RedundancyAndrea Ferrara, Paolo Liberatore, Marco SchaerfAI*IA'052005
2Treewidth in Verification: Global vs. LocalA. Ferrara, G. Pan, and M.Y. VardiLPAR 20052005
3Negotiating among Web Services using LOTOS/CADPGwen Salaun, Andrea Ferrara, Antonella ChirichielloEuropean Conference on Web Services (ECOWS 2004) (DIS Technical Report 13-04)2004
4Model Checking, Preprocessing, and BDD sizeAndrea Ferrara, Paolo Liberatore, Marco SchaerfProceedings of Advances in Modal Logic (AiML'04), Manchester University Technical Report.2004
5Web Services: A Process Algebra ApproachAndrea FerraraICSOC'04 (DIS Technical Report 17-04)2004