Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
IEEE Intelligent Systems
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Knowledge, action, and the frame problem
Artificial Intelligence
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Constraint Driven Web Service Composition in METEOR-S
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
WWW '05 Proceedings of the 14th international conference on World Wide Web
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Tools for composite web services: a short overview
ACM SIGMOD Record
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
| Hi-index | 0.00 |