Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Grid workflows specification and verification
WSEAS Transactions on Computers
Verification of grid workflows
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
An algebraic algorithm for structural validation of social protocols
BIS'07 Proceedings of the 10th international conference on Business information systems
| Hi-index | 0.00 |