The Carnot Heterogeneous Database Project: Implemented Applications
Distributed and Parallel Databases
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Emergency response workflow resource requirements modeling and analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Dynamic workflow modeling and verification
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
An intuitive formal approach to dynamic workflow modeling and analysis
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Nested dynamic condition response graphs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |