-
5
-
-
33646698687
-
Process mining and verification of properties: An approach based on temporal logic
-
Meersman, R., Tari, Z. (eds.) LNCS Springer, Heidelberg
-
van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R., Tari, Z. (eds.) CoopIS/DOA/ODBASE 2005. LNCS, vol. 3760, pp. 130-147. Springer, Heidelberg (2005)
-
(2005)
CoopIS/DOA/ODBASE 2005
, vol.3760
, pp. 130-147
-
-
Van Der Aalst, W.M.P.1
De Beer, H.T.2
Van Dongen, B.F.3
-
6
-
-
79956158125
-
Soundness of workflow nets: Classification, decidability, and analysis
-
van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing 23(3), 333-363 (2011)
-
(2011)
Formal Aspects of Computing
, vol.23
, Issue.3
, pp. 333-363
-
-
Van Der Aalst, W.M.P.1
Van Hee, K.M.2
Ter Hofstede, A.H.M.3
Sidorova, N.4
Verbeek, H.M.W.5
Voorhoeve, M.6
Wynn, M.T.7
-
7
-
-
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. IEEE Computer 43(3), 90-93 (2010)
-
(2010)
IEEE Computer
, vol.43
, Issue.3
, pp. 90-93
-
-
Van Der Aalst, W.M.P.1
Van Hee, K.M.2
Van Der Werf, J.M.3
Verdonk, M.4
-
8
-
-
67349232819
-
Declarative workflows: Balancing between flexibility and support
-
van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - Research and Development 23(2), 99-113 (2009)
-
(2009)
Computer Science - Research and Development
, vol.23
, Issue.2
, pp. 99-113
-
-
Van Der Aalst, W.M.P.1
Pesic, M.2
Schonenberg, H.3
-
9
-
-
72549107971
-
Process mining: A two-step approach to balance between underfitting and overfitting
-
van der Aalst, W.M.P., Rubin, V., Verbeek, H.M.W., van Dongen, B.F., Kindler, E., Günther, C.W.: Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting. Software and Systems Modeling 9(1), 87-111 (2010)
-
(2010)
Software and Systems Modeling
, vol.9
, Issue.1
, pp. 87-111
-
-
Van Der Aalst, W.M.P.1
Rubin, V.2
Verbeek, H.M.W.3
Van Dongen, B.F.4
Kindler, E.5
Günther, C.W.6
-
10
-
-
4544353101
-
Workflow mining: Discovering process models from event logs
-
van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: 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
-
11
-
-
80054889108
-
Conformance checking using cost-based fitness analysis
-
Chi, C.H., Johnson, P. (eds.) IEEE Computer Society
-
Adriansyah, A., van Dongen, B., van der Aalst, W.M.P.: Conformance Checking using Cost-Based Fitness Analysis. In: Chi, C.H., Johnson, P. (eds.) IEEE International Enterprise Computing Conference (EDOC 2011), pp. 55-64. IEEE Computer Society (2011)
-
(2011)
IEEE International Enterprise Computing Conference (EDOC 2011)
, pp. 55-64
-
-
Adriansyah, A.1
Van Dongen, B.2
Van Der Aalst, W.M.P.3
-
12
-
-
84890470685
-
Mining process models from workflow logs
-
Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) LNCS Springer, Heidelberg
-
Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469-483. Springer, Heidelberg (1998)
-
(1998)
EDBT 1998
, vol.1377
, pp. 469-483
-
-
Agrawal, R.1
Gunopulos, D.2
Leymann, F.3
-
14
-
-
79960288084
-
Handling concept drift in process mining
-
Mouratidis, H., Rolland, C. (eds.) LNCS Springer, Heidelberg
-
Jagadeesh Chandra Bose, R.P., van der Aalst, W.M.P., Ž liobaitė, I., Pechenizkiy, M.: Handling Concept Drift in Process Mining. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 391-405. Springer, Heidelberg (2011)
-
(2011)
CAiSE 2011
, vol.6741
, pp. 391-405
-
-
Jagadeesh Chandra Bose, R.P.1
Van Der Aalst, W.M.P.2
Žliobaite, I.3
Pechenizkiy, M.4
-
15
-
-
79959403526
-
Distributed genetic process mining
-
Ishibuchi, H. (ed.) Barcelona, Spain IEEE July
-
Bratosin, C., Sidorova, N., van der Aalst, W.M.P.: Distributed Genetic Process Mining. In: Ishibuchi, H. (ed.) IEEE World Congress on Computational Intelligence (WCCI 2010), Barcelona, Spain, pp. 1951-1958. IEEE (July 2010)
-
(2010)
IEEE World Congress on Computational Intelligence (WCCI 2010)
, pp. 1951-1958
-
-
Bratosin, C.1
Sidorova, N.2
Van Der Aalst, W.M.P.3
-
16
-
-
10044293277
-
Distributed data mining on grids: Services, tools, and applications
-
Cannataro, M., Congiusta, A., Pugliese, A., Talia, D., Trunfio, P.: Distributed Data Mining on Grids: Services, Tools, and Applications. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(6), 2451-2465 (2004)
-
(2004)
IEEE Transactions on Systems, Man, and Cybernetics, Part B
, vol.34
, Issue.6
, pp. 2451-2465
-
-
Cannataro, M.1
Congiusta, A.2
Pugliese, A.3
Talia, D.4
Trunfio, P.5
-
17
-
-
57049165402
-
A region-based algorithm for discovering Petri Nets from event logs
-
Dumas, M., Reichert, M., Shan, M.-C. (eds.) LNCS Springer, Heidelberg
-
Carmona, J.A., Cortadella, J., Kishinevsky, M.: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 358-373. Springer, Heidelberg (2008)
-
(2008)
BPM 2008
, vol.5240
, pp. 358-373
-
-
Carmona, J.A.1
Cortadella, J.2
Kishinevsky, M.3
-
19
-
-
67650447343
-
Robust process discovery with artificial negative events
-
Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust Process Discovery with Artificial Negative Events. Journal of Machine Learning Research 10, 1305-1340 (2009)
-
(2009)
Journal of Machine Learning Research
, vol.10
, pp. 1305-1340
-
-
Goedertier, S.1
Martens, D.2
Vanthienen, J.3
Baesens, B.4
-
20
-
-
79953281019
-
The world's technological capacity to store, communicate, and compute information
-
Hilbert, M., Lopez, P.: The World's Technological Capacity to Store, Communicate, and Compute Information. Science 332(60) (2011)
-
(2011)
Science
, vol.332
, Issue.60
-
-
Hilbert, M.1
Lopez, P.2
-
21
-
-
79961206380
-
User-guided discovery of declarative process models
-
Chawla, N., King, I., Sperduti, A. (eds.) Paris, France IEEE April
-
Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-Guided Discovery of Declarative Process Models. In: Chawla, N., King, I., Sperduti, A. (eds.) IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), Paris, France, pp. 192-199. IEEE (April 2011)
-
(2011)
IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011)
, pp. 192-199
-
-
Maggi, F.M.1
Mooij, A.J.2
Van Der Aalst, W.M.P.3
-
22
-
-
81055138684
-
-
McKinsey Global Institute
-
Manyika, J., Chui, M., Brown, B., Bughin, J., Dobbs, R., Roxburgh, C., Byers, A.: Big Data: The Next Frontier for Innovation, Competition, and Productivity. McKinsey Global Institute (2011)
-
(2011)
Big Data: The Next Frontier for Innovation, Competition, and Productivity
-
-
Manyika, J.1
Chui, M.2
Brown, B.3
Bughin, J.4
Dobbs, R.5
Roxburgh, C.6
Byers, A.7
-
23
-
-
33947207063
-
Genetic process mining: An experimental evaluation
-
Alves de Medeiros, A.K., Weijters, A.J.M.M., van der Aalst, W.M.P.: Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery 14(2), 245-304 (2007)
-
(2007)
Data Mining and Knowledge Discovery
, vol.14
, Issue.2
, pp. 245-304
-
-
Alves De Medeiros, A.K.1
Weijters, A.J.M.M.2
Van Der Aalst, W.M.P.3
-
24
-
-
76249104125
-
Declarative specification and verification of service choreographies
-
Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web 4(1), 1-62 (2010)
-
(2010)
ACM Transactions on the Web
, vol.4
, Issue.1
, pp. 1-62
-
-
Montali, M.1
Pesic, M.2
Van Der Aalst, W.M.P.3
Chesani, F.4
Mello, P.5
Storari, S.6
-
25
-
-
78049242475
-
A fresh look at precision in process conformance
-
Hull, R., Mendling, J., Tai, S. (eds.) LNCS 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)
BPM 2010
, vol.6336
, pp. 211-226
-
-
Muñoz-Gama, J.1
Carmona, J.2
-
26
-
-
79961194552
-
Enhancing precision in process conformance: Stability, confidence and severity
-
Chawla, N., King, I., Sperduti, A. (eds.) Paris, France. IEEE April
-
Muñoz-Gama, J., Carmona, J.: Enhancing Precision in Process Conformance: Stability, Confidence and Severity. In: Chawla, N., King, I., Sperduti, A. (eds.) IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), Paris, France. IEEE (April 2011)
-
(2011)
IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011)
-
-
Muñoz-Gama, J.1
Carmona, J.2
-
27
-
-
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. Information Systems 33(1), 64-95 (2008)
-
(2008)
Information Systems
, vol.33
, Issue.1
, pp. 64-95
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
-
28
-
-
77955344332
-
Process mining from a basis of state regions
-
Lilius, J., Penczek, W. (eds.) LNCS Springer, Heidelberg
-
Solé, M., Carmona, J.: Process Mining from a Basis of State Regions. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 226-245. Springer, Heidelberg (2010)
-
(2010)
PETRI NETS 2010
, vol.6128
, pp. 226-245
-
-
Solé, M.1
Carmona, J.2
-
30
-
-
77049092374
-
Process discovery using integer linear programming
-
van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process Discovery using Integer Linear Programming. Fundamenta Informaticae 94, 387-412 (2010)
-
(2010)
Fundamenta Informaticae
, vol.94
, pp. 387-412
-
-
Van Der Werf, J.M.E.M.1
Van Dongen, B.F.2
Hurkens, C.A.J.3
Serebrenik, A.4
|