|
Search the dblp DataBase
Andrea Ferrara:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andrea Ferrara, Paolo Liberatore, Marco Schaerf
The Complexity of Action Redundancy. [Citation Graph (0, 0)][DBLP] AI*IA, 2005, pp:1-12 [Conf]
- Gwen Salaün, Andrea Ferrara, Antonella Chirichiello
Negotiation Among Web Services Using LOTOS/CADP. [Citation Graph (0, 0)][DBLP] ECOWS, 2004, pp:198-212 [Conf]
- Andrea Ferrara
Web services: a process algebra approach. [Citation Graph (0, 0)][DBLP] ICSOC, 2004, pp:242-251 [Conf]
- Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi
Treewidth in Verification: Local vs. Global. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:489-503 [Conf]
- Andrea Ferrara
Web Services: A Process Algebra Approach [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Andrea Ferrara, Paolo Liberatore, Marco Schaerf
Model Checking and Preprocessing. [Citation Graph (0, 0)][DBLP] AI*IA, 2007, pp:48-59 [Conf]
Search in 0.001secs, Finished in 0.001secs
|