| Web services: a process algebra approach A Ferrara Proceedings of the 2nd international conference on Service oriented …, 2004 | 384 | 2004 |
| Treewidth in verification: Local vs. global A Ferrara, G Pan, MY Vardi International Conference on Logic for Programming Artificial Intelligence …, 2005 | 68 | 2005 |
| Negotiation among web services using LOTOS/CADP G Salaün, A Ferrara, A Chirichiello European conference on web services, 198-212, 2004 | 61 | 2004 |
| Model checking and preprocessing A Ferrara, P Liberatore, M Schaerf AI* IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th …, 2007 | 6 | 2007 |
| The complexity of action redundancy A Ferrara, P Liberatore, M Schaerf AI* IA 2005: Advances in Artificial Intelligence: 9th Congress of the …, 2005 | 5 | 2005 |
| The size of BDDs and other data structures in temporal logics model checking A Ferrara, P Liberatore, M Schaerf IEEE Transactions on Computers 65 (10), 3148-3156, 2015 | 3 | 2015 |
| On the size of data structures used in symbolic model checking P Liberatore, M Schaerf arXiv preprint arXiv:1012.3018, 2010 | 2 | 2010 |
| Model checking, preprocessing, and BDD size A Ferrara, P Liberatore, M Schaerf AiML-2004: Advances in Modal Logic, 74, 2004 | 1 | 2004 |
| Formal Verification: further Complexity Issues and Applications A Ferrara La Sapienza, 2006 | | 2006 |
| The Complexity of Checking Action Redundancy A Ferrara, P Liberatore, M Schaerf Aracne, 2005 | | 2005 |
| Relazione del Primo Anno Di Dottorato A Ferrara, M Schaerf | | |
| Formal Methods: further Complexity Issues and Applications A Ferrara | | |
