Dr. Matthias Kunze

Monitoring End-to-End Business Processes


Date: 2016-04-07
Dur: 00:31:57

Phasen des Operativen Prozessmanagements


Date: 2015-01-21
Dur: 01:32:24

Organisationale Umsetzung


Date: 2015-01-14
Dur: 01:23:11

Workflow-Netze & Kontrollflussmuster


Date: 2014-11-13
Dur: 01:31:52

Petri-Netze & Workflow-Netze


Date: 2014-11-06
Dur: 01:29:49

Graphen und Bäume


Date: 2014-11-05
Dur: 01:32:21

Relationen und Funktionen & Graphen und Bäume


Date: 2014-11-04
Dur: 01:30:53

Organisatorisches & Einführung


Date: 2014-10-16
Dur: 01:30:36

Data Aware Compliance Checking


Date: 2014-01-13
Dur: 00:44:58

Compliance Checking


Date: 2013-12-16
Dur: 01:22:43

LTL Model Checking & Compliance Checking


Date: 2013-12-09
Dur: 01:30:52

Computation Trees & Model Checking


Date: 2013-11-18
Dur: 01:17:40

Linear Temporal Logic


Date: 2013-11-11
Dur: 01:15:19

Workflow-Netze


Date: 2013-11-11
Dur: 01:21:37

Modelling Concurrent Systems


Date: 2013-11-04
Dur: 01:09:07

How to Formalize it?


Date: 2013-10-21
Dur: 01:31:36