-
1
-
-
0022094206
-
Generalized Best-first Search Strategies and the Optimality of A*
-
Dechter, R., Pearl, J.: Generalized Best-first Search Strategies and the Optimality of A*. Journal of the ACM (JACM) 32(3), 505-536 (1985)
-
(1985)
Journal of the ACM (JACM)
, vol.32
, Issue.3
, pp. 505-536
-
-
Dechter, R.1
Pearl, J.2
-
2
-
-
67650447343
-
Robust Process Discovery with Artificial Negative Events
-
Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust Process Discovery with Artificial Negative Events. The Journal of Machine Learning Research 10, 1305-1340 (2009)
-
(2009)
The Journal of Machine Learning Research
, vol.10
, pp. 1305-1340
-
-
Goedertier, S.1
Martens, D.2
Vanthienen, J.3
Baesens, B.4
-
4
-
-
84899829959
-
A Formal Basis for the Heuristic Determination of Minimum Cost Paths in Graphs
-
Hart, P.E., Nilsson, N.J., Raphael, B.: A Formal Basis for the Heuristic Determination of Minimum Cost Paths in Graphs. IEEE Trans. Syst. Sci. and Cybernetics SSC-4(2), 100-107 (1968)
-
(1968)
IEEE Trans. Syst. Sci. and Cybernetics
, vol.SSC-4
, Issue.2
, pp. 100-107
-
-
Hart, P.E.1
Nilsson, N.J.2
Raphael, B.3
-
5
-
-
77954143788
-
-
Springer, Heidelberg
-
Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation. Springer, Heidelberg (2010)
-
(2010)
Modern Business Process Automation
-
-
Hofstede, A.H.M.1
Van Der Aalst, W.M.P.2
Adams, M.3
Russell, N.4
-
6
-
-
34249933531
-
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
-
Kurt, J., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT) 9(3-4), 213-254 (2007)
-
(2007)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.9
, Issue.3-4
, pp. 213-254
-
-
Kurt, J.1
Kristensen, L.M.2
Wells, L.3
-
7
-
-
78049242475
-
A fresh look at precision in process conformance
-
Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. Springer, Heidelberg
-
Muñoz-Gama, J., Carmona, J.: A fresh look at precision in process conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 211-226. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6336
, pp. 211-226
-
-
Muñoz-Gama, J.1
Carmona, J.2
-
10
-
-
79960258031
-
Conformance Analysis of ASML's Test Process
-
Sadiq, S., Indulska, M., zur Muehlen, M., Dubois, E., Johannesson, P. (eds.) CEUR-WS.org
-
Rozinat, A., de Jong, I.S.M., Gunther, C.W., van der Aalst, W.M.P.: Conformance Analysis of ASML's Test Process. In: Sadiq, S., Indulska, M., zur Muehlen, M., Dubois, E., Johannesson, P. (eds.) Proceedings of the Second International Workshop on Governance, Risk and Compliance (GRCIS 2009), vol. 459, pp. 1-15 (2009), CEUR-WS.org
-
(2009)
Proceedings of the Second International Workshop on Governance, Risk and Compliance (GRCIS 2009)
, vol.459
, pp. 1-15
-
-
Rozinat, A.1
De Jong, I.S.M.2
Gunther, C.W.3
Van Der Aalst, W.M.P.4
-
11
-
-
40549125625
-
The Need for a Process Mining Evaluation Framework in Research and Practice
-
ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. Springer, Heidelberg
-
Rozinat, A., de Medeiros, A.K.A., Günther, C.W., Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The Need for a Process Mining Evaluation Framework in Research and Practice. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 84-89. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4928
, pp. 84-89
-
-
Rozinat, A.1
De Medeiros, A.K.A.2
Günther, C.W.3
Weijters, A.J.M.M.T.4
Van Der Aalst, W.M.P.5
-
13
-
-
0032627183
-
Formalization and Verification of Event-driven Process Chains
-
van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology 41(10), 639-650 (1999)
-
(1999)
Information and Software Technology
, vol.41
, Issue.10
, pp. 639-650
-
-
Van Der Aalst, W.M.P.1
-
14
-
-
77949692487
-
Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor
-
van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M., Verdonk, M.: Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. Computer 43, 90-93 (2010)
-
(2010)
Computer
, vol.43
, pp. 90-93
-
-
Van Der Aalst, W.M.P.1
Van Hee, K.M.2
Van Der Werf, J.M.3
Verdonk, M.4
-
15
-
-
77954009547
-
Process Mining: Fuzzy Clustering and Performance Visualization
-
Springer, Heidelberg
-
van Dongen, B.F., Adriansyah, A.: Process Mining: Fuzzy Clustering and Performance Visualization. In: Business Process Management Workshops, vol. 43, pp. 158-169. Springer, Heidelberg (2009)
-
(2009)
Business Process Management Workshops
, vol.43
, pp. 158-169
-
-
Van Dongen, B.F.1
Adriansyah, A.2
-
16
-
-
40549143268
-
-
Technical report, Eindhoven University of Technology, Eindhoven, BETA Working Paper Series, WP 166
-
Weijters, A.J.M.M., van der Aalst, W.M.P., Alves de Medeiros, A.K.: Process Mining with the Heuristics Miner-algorithm. Technical report, Eindhoven University of Technology, Eindhoven, BETA Working Paper Series, WP 166 (2006)
-
(2006)
Process Mining with the Heuristics Miner-algorithm
-
-
Weijters, A.J.M.M.1
Van Der Aalst, W.M.P.2
Alves De Medeiros, A.K.3
|