Abstract is missing.
- Online Detection of Operator Errors in Cloud Computing Using Anti-patternsArthur Vetter. 1-24 [doi]
- Executing Lifecycle Processes in Object-Aware Process ManagementSebastian Steinau, Kevin Andrews, Manfred Reichert. 25-44 [doi]
- Towards Semantic Process Mining Through Knowledge-Based Trace AbstractionGiorgio Leonardi, Manuel Striani, Silvana Quaglini, Anna Cavallini, Stefania Montani. 45-64 [doi]
- Mining Local Process Models and Their CorrelationsLaura Genga, Niek Tax, Nicola Zannone. 65-88 [doi]
- A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition AttributesJean-Michel Couvreur, Joaquín Ezpeleta. 89-104 [doi]
- A Report-Driven Approach to Design Multidimensional ModelsAntonia Azzini, Stefania Marrara, Andrea Maurino, Amir Topalovic. 105-127 [doi]