|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrea Ferrara, Paolo Liberatore, Marco Schaerf |
Model Checking and Preprocessing.  |
AI*IA  |
2007 |
DBLP DOI BibTeX RDF |
Model Checking, Complexity, Compilability |
| 1 | Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi |
Treewidth in Verification: Local vs. Global. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ferrara, Paolo Liberatore, Marco Schaerf |
The Complexity of Action Redundancy. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ferrara |
Web Services: A Process Algebra Approach |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gwen Salaün, Andrea Ferrara, Antonella Chirichiello |
Negotiation Among Web Services Using LOTOS/CADP. |
ECOWS |
2004 |
DBLP DOI BibTeX RDF |
CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS |
| 1 | Andrea Ferrara |
Web services: a process algebra approach. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
web services, formal methods, process algebra, BPEL4WS |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")