-
1
-
-
29144443562
-
Discovering social networks from event logs
-
W.M.P. van der Aalst, H.A. Reijers, and M. Song. Discovering Social Networks from Event Logs. Computer Supported Cooperative work, 14(6):549-593, 2005.
-
(2005)
Computer Supported Cooperative Work
, vol.14
, Issue.6
, pp. 549-593
-
-
Van Der Aalst, W.M.P.1
Reijers, H.A.2
Song, M.3
-
2
-
-
4544353101
-
Workflow mining: Discovering process models from event logs
-
W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004.
-
(2004)
IEEE Transactions on Knowledge and Data Engineering
, vol.16
, Issue.9
, pp. 1128-1142
-
-
Van Der Aalst, W.M.P.1
Weijters, A.J.M.M.2
Maruster, L.3
-
6
-
-
84864840163
-
-
J. Desel, W. Reisig, and G. Rozenberg, editors. Lectures on Concurrency and Petri Nets. Springer-Verlag, Berlin
-
J. Desel, W. Reisig, and G. Rozenberg, editors. Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3098
-
-
-
7
-
-
35048864795
-
Multi-phase process mining: Building instance graphs
-
P. Atzeni, W. Chu, H. Lu, S. Zhou, and T.W. Ling, editors, International Conference on Conceptual Modeling (ER 2004). Springer-Verlag, Berlin
-
B.F. van Dongen and W.M.P. van der Aalst. Multi-Phase Process Mining: Building Instance Graphs. In P. Atzeni, W. Chu, H. Lu, S. Zhou, and T.W. Ling, editors, International Conference on Conceptual Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science, pages 362-376. Springer-Verlag, Berlin, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3288
, pp. 362-376
-
-
Van Dongen, B.F.1
Van Der Aalst, W.M.P.2
-
9
-
-
26444580289
-
The ProM framework: A new era in process mining tool support
-
G. Ciardo and P. Darondeau, editors, Proceedings of the 26th International Conference on Applications and Theory of Petri Nets (ICATPN 2005). Springer-Verlag, Berlin
-
B.F. van Dongen, A.K. de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A new era in process mining tool support. In G. Ciardo and P. Darondeau, editors, Proceedings of the 26th International Conference on Applications and Theory of Petri Nets (ICATPN 2005), volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3536
, pp. 444-454
-
-
Van Dongen, B.F.1
De Medeiros, A.K.2
Verbeek, H.M.W.3
Weijters, A.J.M.M.4
Van Der Aalst, W.M.P.5
-
11
-
-
0035584844
-
Refinement of actions and equivalence notions for concurrent systems
-
R. van Glabbeek and U. Goltz. Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica, 37(4-5):229-327, 2001.
-
(2001)
Acta Informatica
, vol.37
, Issue.4-5
, pp. 229-327
-
-
Van Glabbeek, R.1
Goltz, U.2
-
12
-
-
0030143334
-
Branching time and abstraction in bisimulation semantics
-
R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555-600, 1996.
-
(1996)
Journal of the ACM
, vol.43
, Issue.3
, pp. 555-600
-
-
Van Glabbeek, R.J.1
Weijland, W.P.2
-
14
-
-
0032024112
-
ADEPTflex - Supporting dynamic changes of workflows without loosing control
-
M. Reichert and P. Dadam. ADEPTflex - Supporting Dynamic Changes of Workflows Without Loosing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.
-
(1998)
Journal of Intelligent Information Systems
, vol.10
, Issue.2
, pp. 93-129
-
-
Reichert, M.1
Dadam, P.2
-
15
-
-
0242543931
-
On the common support of workflow type and instance changes under correctness constraints
-
Catania
-
M. Reichert, S. Rinderle, and P. Dadam. On the common support of workflow type and instance changes under correctness constraints. In Proc. Int'l Conf., on Cooperative Information Systems (CoopIS'03), pages 407-425, Catania, 2003.
-
(2003)
Proc. Int'l Conf., on Cooperative Information Systems (CoopIS'03)
, pp. 407-425
-
-
Reichert, M.1
Rinderle, S.2
Dadam, P.3
-
16
-
-
28444469151
-
Adaptive process management with ADEPT2
-
Tokyo
-
M. Reichert, S. Rinderle, U. Kreher, and P. Dadam. Adaptive process management with ADEPT2. In Proc. 21st Int'l Conf. on Data Engineering (ICDE'05), pages 1113-1114, Tokyo, 2005.
-
(2005)
Proc. 21st Int'l Conf. on Data Engineering (ICDE'05)
, pp. 1113-1114
-
-
Reichert, M.1
Rinderle, S.2
Kreher, U.3
Dadam, P.4
-
17
-
-
2542499112
-
Correctness criteria for dynamic changes in workflow systems - A survey
-
S. Rinderle, M. Reichert, and P. Dadam. Correctness Criteria for Dynamic Changes in Workflow Systems - A Survey. Data and Knowledge Engineering, Special Issue on Advances in Business Process Management, 50(1):9-34, 2004.
-
(2004)
Data and Knowledge Engineering, Special Issue on Advances in Business Process Management
, vol.50
, Issue.1
, pp. 9-34
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
18
-
-
68249097213
-
On representing, purging, and utilizing change logs in process management systems
-
Vienna
-
S. Rinderle, M. Reichert, M. Jurisch, and U. Kreher. On Representing, Purging, and Utilizing Change Logs in Process Management Systems. In Proc. Int'l Conf. on Business Process Management (BPM'06), Vienna, 2006.
-
(2006)
Proc. Int'l Conf. on Business Process Management (BPM'06)
-
-
Rinderle, S.1
Reichert, M.2
Jurisch, M.3
Kreher, U.4
|