Follow
Andrea Ferrara
Andrea Ferrara
Università La Sapienza di Roma - Dipartimento di Informatica
Verified email at di.uniroma1.it
Title
Cited by
Cited by
Year
Web services: a process algebra approach
A Ferrara
Proceedings of the 2nd international conference on Service oriented …, 2004
3832004
Treewidth in verification: Local vs. global
A Ferrara, G Pan, MY Vardi
International Conference on Logic for Programming Artificial Intelligence …, 2005
682005
Negotiation among web services using LOTOS/CADP
G Salaün, A Ferrara, A Chirichiello
European conference on web services, 198-212, 2004
612004
Model checking and preprocessing
A Ferrara, P Liberatore, M Schaerf
AI* IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th …, 2007
62007
The complexity of action redundancy
A Ferrara, P Liberatore, M Schaerf
AI* IA 2005: Advances in Artificial Intelligence: 9th Congress of the …, 2005
52005
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
32015
On the size of data structures used in symbolic model checking
P Liberatore, M Schaerf
arXiv preprint arXiv:1012.3018, 2010
22010
Model checking, preprocessing, and BDD size
A Ferrara, P Liberatore, M Schaerf
AiML-2004: Advances in Modal Logic, 74, 2004
12004
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
The system can't perform the operation now. Try again later.
Articles 1–12