-
1
-
-
84906735477
-
Van der Aalst
-
Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) LNCS, Springer, Heidelberg
-
Wil, M.P.: van der Aalst. Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
-
(1997)
ICATPN 1997
, vol.1248
, pp. 407-426
-
-
Wil, M.P.1
-
3
-
-
84863011087
-
Process mining manifesto
-
Daniel, F., Barkaoui, K., Dustdar, S. (eds.) LNBIP, Springer, Heidelberg
-
van der Aalst, W., et al.: Process Mining Manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 169-194. Springer, Heidelberg (2012)
-
(2012)
BPM Workshops 2011, Part i
, vol.99
, pp. 169-194
-
-
Van Der Aalst, W.1
-
4
-
-
80054889108
-
Conformance checking using cost-based fitness analysis
-
IEEE
-
Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance Checking Using Cost-Based Fitness Analysis. In: EDOC 2011, pp. 55-64. IEEE (2011)
-
(2011)
EDOC 2011
, pp. 55-64
-
-
Adriansyah, A.1
Van Dongen, B.F.2
Van Der Aalst, W.M.P.3
-
5
-
-
68049121093
-
Anomaly detection: A survey
-
Chandola, V., Banerjee, A., Kumar, V.: Anomaly Detection: A Survey. ACM Comput. Surv. 41(3), 1-58 (2009)
-
(2009)
ACM Comput. Surv.
, vol.41
, Issue.3
, pp. 1-58
-
-
Chandola, V.1
Banerjee, A.2
Kumar, V.3
-
6
-
-
77956619367
-
Measuring behavioral correspondence to a timed concurrent model
-
IEEE
-
Cook, J.E., He, C., Ma, C.: Measuring Behavioral Correspondence to a Timed Concurrent Model. In: ICSM 2001, pp. 332-341. IEEE (2001)
-
(2001)
ICSM 2001
, pp. 332-341
-
-
Cook, J.E.1
He, C.2
Ma, C.3
-
7
-
-
84869236182
-
Algorithms for anomaly detection of traces in logs of process aware information systems
-
de Lima Bezerra, F., Wainer, J.: Algorithms for Anomaly Detection of Traces in Logs of Process Aware Information Systems. Inf. Syst. 38(1), 33-44 (2013)
-
(2013)
Inf. Syst.
, vol.38
, Issue.1
, pp. 33-44
-
-
De Lima Bezerra, F.1
Wainer, J.2
-
8
-
-
38749096258
-
Compliance checking between business processes and business contracts
-
Governatori, G.,Milosevic, Z., Sadiq, S.: Compliance Checking between Business Processes and Business Contracts. In: EDOC 2006, pp. 221-232 (2006)
-
(2006)
EDOC
, vol.2006
, pp. 221-232
-
-
Governatori, G.1
Milosevic, Z.2
Sadiq, S.3
-
9
-
-
84946031884
-
Procedures for detecting outlying observations in samples
-
Grubbs, F.E.: Procedures for Detecting Outlying Observations in Samples. Technometrics 11(1), 1-21 (1969)
-
(1969)
Technometrics
, vol.11
, Issue.1
, pp. 1-21
-
-
Grubbs, F.E.1
-
11
-
-
33744831144
-
Business process impact visualization and anomaly detection
-
Hao, M.C., Keim, D.A., Dayal, U., Schneidewind, J.: Business Process Impact Visualization and Anomaly Detection. Information Visualization 5(1), 15-27 (2006)
-
(2006)
Information Visualization
, vol.5
, Issue.1
, pp. 15-27
-
-
Hao, M.C.1
Keim, D.A.2
Dayal, U.3
Schneidewind, J.4
-
12
-
-
70349373797
-
Petri net transformations for business processes - A survey
-
Jensen, K., van der Aalst, W.M.P. (eds.) LNCS, Springer, Heidelberg
-
Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net Transformations for Business Processes - A Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46-63. Springer, Heidelberg (2009)
-
(2009)
Transactions on Petri Nets and Other Models of Concurrency II
, vol.5460
, pp. 46-63
-
-
Lohmann, N.1
Verbeek, E.2
Dijkman, R.3
-
13
-
-
0001473437
-
On estimation of a probability density function andmode
-
Parzen, E.: On Estimation of a Probability Density Function andMode. The Annals of Mathematical Statistics 33(3), 1065-1076 (1962)
-
(1962)
The Annals of Mathematical Statistics
, vol.33
, Issue.3
, pp. 1065-1076
-
-
Parzen, E.1
-
15
-
-
0004068620
-
-
PhD thesis, Technische Hochschule Darmstadt
-
Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Technische Hochschule Darmstadt (1962)
-
(1962)
Kommunikation Mit Automaten
-
-
Petri, C.A.1
-
16
-
-
84904539418
-
Discovering stochastic petri nets with arbitrary delay distributions from event logs
-
Lohmann, N., Song, M., Wohed, P. (eds.) LNBIP, Springer, Heidelberg
-
Rogge-Solti, A., van der Aalst, W.M.P., Weske, M.: Discovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013 International Workshops. LNBIP, vol. 171, pp. 15-27. Springer, Heidelberg (2014)
-
(2014)
BPM 2013 International Workshops
, vol.171
, pp. 15-27
-
-
Rogge-Solti, A.1
Van Der Aalst, W.M.P.2
Weske, M.3
-
17
-
-
85005965054
-
Improving documentation by repairing event logs
-
Grabis, J., Kirikova, M. (eds.) LNBIP, Springer, Heidelberg
-
Rogge-Solti, A., Mans, R.S., van der Aalst, W.M.P., Weske, M.: Improving Documentation by Repairing Event Logs. In: Grabis, J., Kirikova, M. (eds.) PoEM 2013. LNBIP, vol. 165, pp. 129-144. Springer, Heidelberg (2013)
-
(2013)
PoEM 2013
, vol.165
, pp. 129-144
-
-
Rogge-Solti, A.1
Mans, R.S.2
Van Der Aalst, W.M.P.3
Weske, M.4
-
18
-
-
35748949584
-
Conformance checking of processes based on monitoring real behavior
-
Rozinat, A., van der Aalst,W.M.P.: Conformance Checking of Processes Based on Monitoring Real Behavior. Inf. Syst. 33(1), 64-95 (2008)
-
(2008)
Inf. Syst.
, vol.33
, Issue.1
, pp. 64-95
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
-
23
-
-
0142063808
-
Parzen-window network intrusion detectors
-
IEEE
-
Yeung, D.-Y., Chow, C.: Parzen-Window Network Intrusion Detectors. In: ICPR 2002, vol. 4, pp. 385-388. IEEE (2002)
-
(2002)
ICPR 2002
, vol.4
, pp. 385-388
-
-
Yeung, D.-Y.1
Chow, C.2
|