Exact computation of minimum feedback vertex sets with relational algebra
Fundamenta Informaticae
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Fundamenta Informaticae
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Business process management with unified modeling language
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Syntax highlighting in business process models
Decision Support Systems
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra
Fundamenta Informaticae
Hi-index | 0.00 |