Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Tools for composite web services: a short overview
ACM SIGMOD Record
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
Automatic workflow verification and generation
Theoretical Computer Science
On composition and lookahead delegation of e-services modeled by automata
Theoretical Computer Science
Mining unconnected patterns in workflows
Information Systems
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Workflow-based dynamic scheduling of job shop operations
International Journal of Computer Integrated Manufacturing
Adaptive workflow scheduling under resource allocation constraints and network dynamics
Proceedings of the VLDB Endowment
Minimum-cost delegation in service composition
Theoretical Computer Science
When does a workflow complete?
Computer Standards & Interfaces
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Reliable scheduling of advanced transactions
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
Composability of infinite-state activity automata
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
On the completion of workflows
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Hi-index | 0.00 |