-
1
-
-
52449135365
-
Verification of workflow nets
-
Azéma, P., Balbo, G. eds., Springer
-
van der Aalst, W. M. P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN. Lecture Notes in Computer Science, vol. 1248, pp. 407-426. Springer (1997).
-
(1997)
ICATPN. Lecture Notes in Computer Science
, vol.1248
, pp. 407-426
-
-
Van Der Aalst, W.M.P.1
-
2
-
-
0002719897
-
The application of petri nets to workflow management
-
van der Aalst, W. M. P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998).
-
(1998)
Journal of Circuits, Systems, and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
Van Der Aalst, W.M.P.1
-
5
-
-
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 - R&D 23(2), 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
-
6
-
-
51149086600
-
Verifiable agent interaction in abductive logic programming: The SCIFF framework
-
August
-
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4), 29:1-29:43 (August 2008).
-
(2008)
ACM Trans. Comput. Log.
, vol.9
, Issue.4
, pp. 291-2943
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
7
-
-
70350255735
-
Exploiting inductive logic programming techniques for declarative process mining
-
Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. T. Petri Nets and Other Models of Concurrency 2, 278-295 (2009).
-
(2009)
T. Petri Nets and Other Models of Concurrency
, vol.2
, pp. 278-295
-
-
Chesani, F.1
Lamma, E.2
Mello, P.3
Montali, M.4
Riguzzi, F.5
Storari, S.6
-
8
-
-
84892312605
-
The business process modeling notation
-
ter Hofstede, A. M., van der Aalst, W. M. P., Adamns, M., Russell, N. eds., Springer
-
Decker, G., Dijkman, R. M., Dumas, M., García-Bañuelos, L.: The business process modeling notation. In: ter Hofstede, A. M., van der Aalst, W. M. P., Adamns, M., Russell, N. (eds.) Modern Business Process Automation, pp. 347-368. Springer (2010).
-
(2010)
Modern Business Process Automation
, pp. 347-368
-
-
Decker, G.1
Dijkman, R.M.2
Dumas, M.3
García-Bañuelos, L.4
-
9
-
-
84891923853
-
Knowledge-intensive processes: An overview of contemporary approaches
-
ter Hofstede, A. H., Mecella, M., Sardina, S., Marrella, A. eds., CEUR Workshop Proceedings 06
-
Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-intensive processes: An overview of contemporary approaches. In: ter Hofstede, A. H., Mecella, M., Sardina, S., Marrella, A. (eds.) KiBP. vol. 861, pp. 33-47. CEUR Workshop Proceedings (06 2012).
-
(2012)
KiBP
, vol.861
, pp. 33-47
-
-
Di Ciccio, C.1
Marrella, A.2
Russo, A.3
-
10
-
-
84861694268
-
Mining constraints for artful processes
-
Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. eds., Springer 05
-
Di Ciccio, C., Mecella, M.: Mining constraints for artful processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS. Lecture Notes in Business Information Processing, vol. 117, pp. 11-23. Springer (05 2012).
-
(2012)
BIS. Lecture Notes in Business Information Processing
, vol.117
, pp. 11-23
-
-
Di Ciccio, C.1
Mecella, M.2
-
11
-
-
84885659827
-
A two-step fast algorithm for the automated discovery of declarative workflows
-
IEEE
-
Di Ciccio, C., Mecella, M.: A two-step fast algorithm for the automated discovery of declarative workflows. In: CIDM. IEEE (04 2013).
-
(2013)
CIDM
, pp. 04
-
-
Di Ciccio, C.1
Mecella, M.2
-
12
-
-
84868306860
-
Mail of Mine - Analyzing mail messages for mining artful collaborative processes
-
Aberer, K., Damiani, E., Dillon, T. eds., Springer 10
-
Di Ciccio, C., Mecella, M., Scannapieco, M., Zardetto, D., Catarci, T.: Mail Of Mine - analyzing mail messages for mining artful collaborative processes. In: Aberer, K., Damiani, E., Dillon, T. (eds.) Data-Driven Process Discovery and Analysis, Lecture Notes in Business Information Processing, vol. 116, pp. 55-81. Springer (10 2012).
-
(2012)
Data-driven Process Discovery and Analysis, Lecture Notes in Business Information Processing
, vol.116
, pp. 55-81
-
-
Di Ciccio, C.1
Mecella, M.2
Scannapieco, M.3
Zardetto, D.4
Catarci, T.5
-
13
-
-
84866415392
-
Repairing process models to reflect reality
-
Barros, A. P., Gal, A., Kindler, E. eds., Springer
-
Fahland, D., van der Aalst, W. M. P.: Repairing process models to reflect reality. In: Barros, A. P., Gal, A., Kindler, E. (eds.) BPM. Lecture Notes in Computer Science, vol. 7481, pp. 229-245. Springer (2012).
-
(2012)
BPM. Lecture Notes in Computer Science
, vol.7481
, pp. 229-245
-
-
Fahland, D.1
Van Der Aalst, W.M.P.2
-
14
-
-
33845192951
-
Beyond predictable workflows: Enhancing productivity in artful business processes
-
Hill, C., Yates, R., Jones, C., Kogan, S. L.: Beyond predictable workflows: Enhancing productivity in artful business processes. IBM Systems Journal 45(4), 663-682 (2006).
-
(2006)
IBM Systems Journal
, vol.45
, Issue.4
, pp. 663-682
-
-
Hill, C.1
Yates, R.2
Jones, C.3
Kogan, S.L.4
-
15
-
-
84867795158
-
Efficient discovery of understandable declarative process models from event logs
-
Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. eds., Springer
-
Maggi, F. M., Bose, R. P. J. C., van der Aalst, W. M. P.: Efficient discovery of understandable declarative process models from event logs. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE. Lecture Notes in Computer Science, vol. 7328, pp. 270-285. Springer (2012).
-
(2012)
CAiSE. Lecture Notes in Computer Science
, vol.7328
, pp. 270-285
-
-
Maggi, F.M.1
Bose, R.P.J.C.2
Van Der Aalst, W.M.P.3
-
16
-
-
79961206380
-
User-guided discovery of declarative process models
-
IEEE
-
Maggi, F. M., Mooij, A. J., van der Aalst, W. M. P.: User-guided discovery of declarative process models. In: CIDM. pp. 192-199. IEEE (2011).
-
(2011)
CIDM
, pp. 192-199
-
-
Maggi, F.M.1
Mooij, A.J.2
Van Der Aalst, W.M.P.3
-
17
-
-
38349041673
-
Understanding the occurrence of errors in process models based on metrics
-
Meersman, R., Tari, Z. eds., Springer
-
Mendling, J., Neumann, G., van der Aalst, W. M. P.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) CoopIS. Lecture Notes in Computer Science, vol. 4803, pp. 113-130. Springer (2007).
-
(2007)
CoopIS. Lecture Notes in Computer Science
, vol.4803
, pp. 113-130
-
-
Mendling, J.1
Neumann, G.2
Van Der Aalst, W.M.P.3
-
18
-
-
70450222528
-
Seven process modeling guidelines (7PMG)
-
Mendling, J., Reijers, H. A., van der Aalst, W. M. P.: Seven process modeling guidelines (7PMG). Information & Software Technology 52(2), 127-136 (2010).
-
(2010)
Information & Software Technology
, vol.52
, Issue.2
, pp. 127-136
-
-
Mendling, J.1
Reijers, H.A.2
Van Der Aalst, W.M.P.3
-
19
-
-
38049129493
-
What makes process models understandable?
-
Alonso, G., Dadam, P., Rosemann, M. eds., Springer
-
Mendling, J., Reijers, H. A., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM. Lecture Notes in Computer Science, vol. 4714, pp. 48-63. Springer (2007).
-
(2007)
BPM. Lecture Notes in Computer Science
, vol.4714
, pp. 48-63
-
-
Mendling, J.1
Reijers, H.A.2
Cardoso, J.3
-
21
-
-
47949131563
-
Declare: Full support for loosely-structured processes
-
IEEE Computer Society
-
Pesic, M., Schonenberg, H., van der Aalst, W. M. P.: Declare: Full support for loosely-structured processes. In: EDOC. pp. 287-300. IEEE Computer Society (2007).
-
(2007)
EDOC
, pp. 287-300
-
-
Pesic, M.1
Schonenberg, H.2
Van Der Aalst, W.M.P.3
-
22
-
-
38349047674
-
Constraintbased workflow models: Change made easy
-
Meersman, R., Tari, Z. eds., Springer
-
Pesic, M., Schonenberg, M. H., Sidorova, N., van der Aalst, W. M. P.: Constraintbased workflow models: Change made easy. In: Meersman, R., Tari, Z. (eds.) CoopIS. Lecture Notes in Computer Science, vol. 4803, pp. 77-94. Springer (2007).
-
(2007)
CoopIS. Lecture Notes in Computer Science
, vol.4803
, pp. 77-94
-
-
Pesic, M.1
Schonenberg, M.H.2
Sidorova, N.3
Van Der Aalst, W.M.P.4
-
23
-
-
77951221136
-
Improving knowledge worker productivity - The Active integrated approach
-
Warren, P., Kings, N., Thurlow, I., Davies, J., Buerger, T., Simperl, E., Ruiz, C., Gomez-Perez, J. M., Ermolayev, V., Ghani, R., Tilly, M., Bösser, T., Imtiaz, A.: Improving knowledge worker productivity - the Active integrated approach. BT Technologiy Journal 26(2), 165-176 (2009).
-
(2009)
BT Technologiy Journal
, vol.26
, Issue.2
, pp. 165-176
-
-
Warren, P.1
Kings, N.2
Thurlow, I.3
Davies, J.4
Buerger, T.5
Simperl, E.6
Ruiz, C.7
Gomez-Perez, J.M.8
Ermolayev, V.9
Ghani, R.10
Tilly, M.11
Bösser, T.12
Imtiaz, A.13
|