-
2
-
-
84863011087
-
-
Springer-Verlag
-
W. M. P. v. d. Aalst and, et al, "Process mining manifesto," in BPM 2011 Workshops, Part I, vol. 99. Springer-Verlag, 2012, pp. 169-194
-
(2012)
Process Mining Manifesto BPM 2011 Workshops, Part i
, vol.99
, pp. 169-194
-
-
Aalst, W.M.P.V.D.1
-
3
-
-
79960292262
-
The impact of testcases on the maintainability of declarative process models
-
S. Zugal, J. Pinggera, and B. Weber, "The impact of testcases on the maintainability of declarative process models," in BMMDS/EMMSAD, 2011, pp. 163-177
-
(2011)
BMMDS/EMMSAD
, pp. 163-177
-
-
Zugal, S.1
Pinggera, J.2
Weber, B.3
-
4
-
-
84856573917
-
Imperative versus declarative process modeling languages: An empirical investigation
-
P. Pichler, B. Weber, S. Zugal, J. Pinggera, J. Mendling, and H. A. Reijers, "Imperative versus declarative process modeling languages: An empirical investigation," in BPM Workshops, 2011, pp. 383-394
-
(2011)
BPM Workshops
, pp. 383-394
-
-
Pichler, P.1
Weber, B.2
Zugal, S.3
Pinggera, J.4
Mendling, J.5
Reijers, H.A.6
-
5
-
-
67349232819
-
Declarative workflows: Balancing between flexibility and support
-
W. M. P. Van Der Aalst, M. Pesic, and H. Schonenberg, "Declarative workflows: Balancing between flexibility and support," Computer Science-R&D, vol. 23, no. 2, pp. 99-113, 2009
-
(2009)
Computer Science-R&D
, vol.23
, Issue.2
, pp. 99-113
-
-
Van Der Aalst, W.M.P.1
Pesic, M.2
Schonenberg, H.3
-
7
-
-
84867795158
-
Efficient discovery of understandable declarative process models from event logs
-
F. M. Maggi, R. P. J. C. Bose, and W. M. P. Van Der Aalst, "Efficient discovery of understandable declarative process models from event logs," in CAiSE, 2012, pp. 270-285
-
(2012)
Caise
, pp. 270-285
-
-
Maggi, F.M.1
Bose, R.P.J.C.2
Van Der Aalst, W.M.P.3
-
8
-
-
0002221136
-
Fast algorithms for mining association rules in large databases
-
R. Agrawal and R. Srikant, "Fast algorithms for mining association rules in large databases," in VLDB. Morgan Kaufmann, 1994, pp. 487-499
-
(1994)
VLDB. Morgan Kaufmann
, pp. 487-499
-
-
Agrawal, R.1
Srikant, R.2
-
9
-
-
84881237891
-
Declarative modeling-an academic dream or the future for BPM?
-
H. A. Reijers, T. Slaats, and C. Stahl, "Declarative modeling-an academic dream or the future for BPM?" in BPM 2013, 2013, vol. 8094, pp. 307-322
-
(2013)
BPM 2013
, vol.8094
, pp. 307-322
-
-
Reijers, H.A.1
Slaats, T.2
Stahl, C.3
-
10
-
-
76249104125
-
Declarative specification and verification of service choreographies
-
M. Montali, M. Pesic, W. M. P. Van Der Aalst, F. Chesani, P. Mello, and S. Storari, "Declarative Specification and Verification of Service Choreographies," ACM Transactions on the Web, vol. 4, no. 1, 2010
-
(2010)
ACM Transactions on the Web
, vol.4
, Issue.1
-
-
Montali, M.1
Pesic, M.2
Van Der Aalst, W.M.P.3
Chesani, F.4
Mello, P.5
Storari, S.6
-
11
-
-
84958653774
-
Vacuity detection in temporal model checking
-
O. Kupferman and M. Y. Vardi, "Vacuity detection in temporal model checking." in CHARME 1999, vol. 1703, 1999, pp. 82-96
-
(1999)
CHARME
, vol.1703
, Issue.1999
, pp. 82-96
-
-
Kupferman, O.1
Vardi, M.Y.2
-
12
-
-
84870666515
-
Techniques for a posteriori analysis of declarative processes
-
A. Burattin, F. Maggi, W. Van Der Aalst, and A. Sperduti, "Techniques for a posteriori analysis of declarative processes," in EDOC 2012, 2012, pp. 41-50
-
(2012)
EDOC
, vol.2012
, pp. 41-50
-
-
Burattin, A.1
Maggi, F.2
Van Der Aalst, W.3
Sperduti, A.4
-
13
-
-
84951309916
-
Generating event logs through the simulation of declare models
-
C. Di Ciccio, M. L. Bernardi, M. Cimitile, and F. M. Maggi, "Generating event logs through the simulation of Declare models," in EOMAS, 2015
-
(2015)
EOMAS
-
-
Di Ciccio, C.1
Bernardi, M.L.2
Cimitile, M.3
Maggi, F.M.4
-
14
-
-
84923687869
-
The effect of noise on mined declarative constraints
-
C. Di Ciccio, M. Mecella, and J. Mendling, "The effect of noise on mined declarative constraints," in Data-Driven Process Discovery and Analysis, 2015, vol. 203, pp. 1-24
-
(2015)
Data-Driven Process Discovery and Analysis
, vol.203
, pp. 1-24
-
-
Di Ciccio, C.1
Mecella, M.2
Mendling, J.3
-
15
-
-
84886741328
-
-
Online]. Available
-
B. Van Dongen, "BPI challenge 2012," 2012. [Online]. Available: http://dx.doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f
-
(2012)
BPI Challenge 2012
-
-
Van Dongen, B.1
-
17
-
-
84988605338
-
-
Online]. Available
-
B. Van Dongen;, "BPI challenge 2014," 2014. [Online]. Available: http://dx.doi.org/10.4121/uuid:c3e5d162-0cfd-4bb0-bd82-af5268819c35
-
(2014)
BPI Challenge 2014
-
-
Van Dongen, B.1
-
18
-
-
78049409671
-
Probabilistic declarative process mining
-
E. Bellodi, F. Riguzzi, and E. Lamma, "Probabilistic declarative process mining," in KSEM 2010, vol. 6291, 2010, pp. 292-303
-
(2010)
KSEM
, vol.6291
, Issue.2010
, pp. 292-303
-
-
Bellodi, E.1
Riguzzi, F.2
Lamma, E.3
-
19
-
-
84883435609
-
Probabilistic logic-based process mining
-
E. Bellodi, F. Riguzzi, and E. Lamma, "Probabilistic logic-based process mining," in CILC2010, vol. 598, 2010
-
(2010)
CILC 2010
, vol.598
-
-
Bellodi, E.1
Riguzzi, F.2
Lamma, E.3
-
20
-
-
70350255735
-
Exploiting inductive logic programming techniques for declarative process mining
-
F. Chesani, E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Exploiting inductive logic programming techniques for declarative process mining," ToPNoC II, vol. 5460, pp. 278-295, 2009
-
(2009)
ToPNoC II
, vol.5460
, pp. 278-295
-
-
Chesani, F.1
Lamma, E.2
Mello, P.3
Montali, M.4
Riguzzi, F.5
Storari, S.6
-
21
-
-
84884555882
-
Mining artful processes from knowledge workers' emails
-
September
-
C. Di Ciccio and M. Mecella, "Mining artful processes from knowledge workers' emails," IEEE Internet Computing, vol. 17, no. 5, pp. 10-20, September 2013
-
(2013)
IEEE Internet Computing
, vol.17
, Issue.5
, pp. 10-20
-
-
Di Ciccio, C.1
Mecella, M.2
-
22
-
-
84923644985
-
On the discovery of declarative control flows for artful processes
-
January
-
C. Di Ciccio and M. Mecella, "On the discovery of declarative control flows for artful processes," ACM Trans. Manage. Inf. Syst., vol. 5, no. 4, pp. 24:1-24:37, January 2015
-
(2015)
ACM Trans. Manage. Inf. Syst
, vol.5
, Issue.4
, pp. 241-2437
-
-
Di Ciccio, C.1
Mecella, M.2
-
23
-
-
84886739521
-
Online process discovery to detect concept drifts in ltl-based declarative process models
-
F. M. Maggi, A. Burattin, M. Cimitile, and A. Sperduti, "Online process discovery to detect concept drifts in ltl-based declarative process models," in OTM 2013 Conferences, 2013, vol. 8185, pp. 94-111
-
(2013)
OTM 2013 Conferences
, vol.8185
, pp. 94-111
-
-
Maggi, F.M.1
Burattin, A.2
Cimitile, M.3
Sperduti, A.4
|