Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Graham Hughes
Generating Interface Grammars From WSDL for Automated Verification of Web Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
VyPR2: A Framework for Runtime Verification of Python Web Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Framework for Automated Analysis and Verification of Web-Based Applications
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
An AI Planning Based Approach for Automated Web Services Composition
Credibility Verification of RESTful Web Services Based on Behavior Declaration
DEStech Transactions on Computer Science and Engineering
Generating Robust Parsers Using Island Grammars
A Distributed Multi-Agent Planning Approach for Automated Web Services Composition
Web Intelligence and Agent Systems: An International Journal
Enhancing Interface Understandability as a Means for Better Discovery of Web Services
International Journal of Information Technology and Web Engineering
Computer Science
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
