|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alvaro Arenas, Jin Song Dong, Andrew Martin 0002, Brian Matthews (eds.) |
Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Lee Momtahan, Andrew P. Martin, A. W. Roscoe 0001 |
A Taxonomy of Web Services Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 71-87, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jing Mei, Harold Boley |
Interpreting SWRL Rules in RDF Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 53-69, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro |
A Model Checking-based Method for Verifying Web Application Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 19-32, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu |
Towards the Semantics and Verification of BPEL4WS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 33-52, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shin Nakajima 0001 |
Model-Checking Behavioral Specification of BPEL Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 89-105, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Jun Sun 0001 |
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 107-124, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Claus Pahl, Yaoling Zhu |
A Semantical Framework for the Orchestration and Choreography of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 3-18, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLFM@FM ![In: Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005, pp. 1, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|