Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WSFM"( http://dblp.L3S.de/Venues/WSFM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wsfm

Publication years (Num. hits)
2004 (13)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
WSFM(13)
Authors
Gianluigi Zavattaro(2) Mario Bravetti(2) Alberto Martelli(1) Alexey Cherchago(1) Antonio Brogi(1) Antonio Vallecillo(1) Carlos Canal(1) Cristina Baroglio(1) David E. Langworthy(1) Ernesto Pimentel 0001(1) Friedrich H. Vogt(1) Gian-Luigi Ferrari 0002(1) James E. Johnson(1) Jesper Bengtson(1) Laura Bocchi(1) Leslie Lamport(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari 0002, Roberto Raggi Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti Reasoning About Interaction Protocols for Web Service Composition. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Laura Bocchi, Lucian Wischik A Process Calculus of Atomic Commit. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Reiko Heckel, Alexey Cherchago, Marc Lohmann A Formal Approach to Service Specification and Matching based on Graph Transformation. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt Formal Specification of a Web Services Protocol. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Manuel Mazzara, Roberto Lucchi A Framework for Generic Error Handling in Business Processes. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Gianluigi Zavattaro Preface. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ugo Montanari Web Services and Models of Computation. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mirko Viroli Towards a Formal Foundation to Orchestration Languages. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcus Venzke Specifications using XQuery Expressions on Traces. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001, Antonio Vallecillo Formalizing Web Service Choreographies. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Pistore, Marco Roveri, Paolo Busetta Requirements-Driven Verification of Web Services. Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Gianluigi Zavattaro (eds.) Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004 Search on Bibsonomy WSFM The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license