-
1
-
-
82155200891
-
-
Shaman. FP7 IP Project, http://shaman-ip.eu/shaman/
-
FP7 IP Project
-
-
-
2
-
-
82155200891
-
-
Smart Vortex. FP7 IP Project, http://www.smartvortex.eu/
-
FP7 IP Project
-
-
-
3
-
-
52449135365
-
Verification of Workflow Nets
-
Azaposema, P., Balbo, G. (eds.) ICATPN 1997. Springer, Heidelberg
-
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azaposema, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1248
, pp. 407-426
-
-
Van Der Aalst, W.M.P.1
-
4
-
-
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
-
-
82155200886
-
ProM: The process mining toolkit
-
van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Rozinat, A., Verbeek, E., Weijters, T.: ProM: The process mining toolkit. In: BPM 2009 Demos (2009)
-
(2009)
BPM 2009 Demos
-
-
Van Der Aalst, W.M.P.1
Van Dongen, B.F.2
Günther, C.W.3
Rozinat, A.4
Verbeek, E.5
Weijters, T.6
-
6
-
-
33845201666
-
Decserflow: Towards a Truly Declarative Service Flow Language
-
Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. Springer, Heidelberg
-
van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4184
, pp. 1-23
-
-
Van Der Aalst, W.M.P.1
Pesic, M.2
-
7
-
-
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) (2009)
-
(2009)
Computer Science - R&D
, vol.23
, Issue.2
-
-
Van Der Aalst, W.M.P.1
Pesic, M.2
Schonenberg, H.3
-
8
-
-
74049121502
-
Learning to extract signature and reply lines from email
-
de Carvalho, V.R., Cohen, W.W.: Learning to extract signature and reply lines from email. In: CEAS (2004)
-
(2004)
CEAS
-
-
De Carvalho, V.R.1
Cohen, W.W.2
-
9
-
-
38149116159
-
Task-Centred Information Management
-
Thanos, C., Borri, F., Candela, L. (eds.) Digital Libraries: R & Development. Springer, Heidelberg
-
Catarci, T., Dix, A., Katifori, A., Lepouras, G., Poggi, A.: Task-Centred Information Management. In: Thanos, C., Borri, F., Candela, L. (eds.) Digital Libraries: R & Development. LNCS, vol. 4877, pp. 197-206. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4877
, pp. 197-206
-
-
Catarci, T.1
Dix, A.2
Katifori, A.3
Lepouras, G.4
Poggi, A.5
-
12
-
-
82155196697
-
MailOfMine - Analyzing mail messages for mining artful collaborative processes
-
Di Ciccio, C., Mecella, M., Scannapieco, M., Zardetto, D., Catarci, T.: MailOfMine - Analyzing mail messages for mining artful collaborative processes. In: SIMPDA (2011)
-
(2011)
SIMPDA
-
-
Di Ciccio, C.1
Mecella, M.2
Scannapieco, M.3
Zardetto, D.4
Catarci, T.5
-
13
-
-
0001741607
-
Spirit: Sequential pattern mining with regular expression constraints
-
Garofalakis, M.N., Rastogi, R., Shim, K.: Spirit: Sequential pattern mining with regular expression constraints. In: VLDB (1999)
-
(1999)
VLDB
-
-
Garofalakis, M.N.1
Rastogi, R.2
Shim, K.3
-
15
-
-
84892263305
-
-
Springer, Heidelberg
-
ter Hofstede, A.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer, Heidelberg (2010)
-
(2010)
Modern Business Process Automation: YAWL and Its Support Environment
-
-
Ter Hofstede, A.M.1
Van Der Aalst, W.M.P.2
Adams, M.3
Russell, N.4
-
16
-
-
33749635457
-
A Declarative Approach for Flexible Business Processes Management
-
Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. Springer, Heidelberg
-
Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4103
, pp. 169-180
-
-
Pesic, M.1
Van Der Aalst, W.M.P.2
-
17
-
-
0000973916
-
Finite automata and their decision problems
-
Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3, 114-125 (1959)
-
(1959)
IBM J. Res. Dev.
, vol.3
, pp. 114-125
-
-
Rabin, M.O.1
Scott, D.2
-
18
-
-
77951221136
-
Improving knowledge worker productivity - The ACTIVE integrated approach
-
Warren, P., Kings, N., et al.: Improving knowledge worker productivity - The ACTIVE integrated approach. BT Technology Journal 26(2), 165-176 (2009)
-
(2009)
BT Technology Journal
, vol.26
, Issue.2
, pp. 165-176
-
-
Warren, P.1
Kings, N.2
|