Research Output

Filter
Article

A business process mining application for internal transaction fraud mitigation

Jans, M., Werf, van der, J. M. E. M., Lybaert, N. & Vanhoof, K., 2011, In : Expert Systems with Applications. 38, 10, p. 13351-13359

Research output: Contribution to journalArticleAcademicpeer-review

77 Citations (Scopus)
3 Downloads (Pure)

A configurable reference modelling language

Rosemann, M. & Aalst, van der, W. M. P., 2007, In : Information Systems. 32, 1, p. 1-23

Research output: Contribution to journalArticleAcademicpeer-review

383 Citations (Scopus)

A control model for object virtualization in supply chain management

Verdouw, C. N., Beulens, A. J. M., Reijers, H. A. & Vorst, van der, J. G. A. J., 2015, In : Computers in Industry. 68, p. 116-131

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
24 Citations (Scopus)
582 Downloads (Pure)

A critical evaluation and framework of business process improvement methods

Vanwersch, R. J. B., Shahzad, K., Vanderfeesten, I. T. P., Vanhaecht, K., Grefen, P. W. P. J., Pintelon, L. M., Mendling, J., Merode, van, G. G. & Reijers, H. A., 1 Feb 2016, In : Business & Information Systems Engineering. 58, 1, p. 43-53 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)
7 Downloads (Pure)

A cross-benchmark comparison of 87 learning to rank methods

Tax, N., Bockting, S. & Hiemstra, D., 2015, In : Information Processing & Management. 51, 6, p. 757-772 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
36 Citations (Scopus)
60 Downloads (Pure)

Adversarial balancing-based representation learning for causal effect inference with observational data

Du, X., Sun, L., Duivesteijn, W., Nikolaev, A. & Pechenizkiy, M., 30 Apr 2019, In : arXiv. 17 p., 1904.13335v1.

Research output: Contribution to journalArticleAcademic

40 Downloads (Pure)

A formal modeling approach for supply chain event management

Liu, R., Kumar, A. & Aalst, van der, W. M. P., 2007, In : Decision Support Systems. 43, 3, p. 761-778

Research output: Contribution to journalArticleAcademicpeer-review

99 Citations (Scopus)

A generic component for exchanging user models between web-based systems

Sluijs, van der, K. A. M. & Houben, G. J. P. M., 2006, In : International Journal of Continuing Engineering Education and Lifelong Learning. 16, 1-2, p. 64-76

Research output: Contribution to journalArticleAcademicpeer-review

30 Citations (Scopus)

A generic framework for extracting XML data from legacy databases

Thiran, P., Estiévenart, F., Hainaut, J. L. & Houben, G. J. P. M., 2005, In : Journal of Web Engineering. 4, 3, p. 205-223

Research output: Contribution to journalArticleAcademicpeer-review

2 Downloads (Pure)

A linear time layout algorithm for business process models

Gschwind, T., Pinggera, J., Zugal, S., Reijers, H. A. & Weber, B., 2014, In : Journal of Visual Languages and Computing. 25, 2, p. 117-132 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)

An adaptive work distribution mechanism based on reinforcement learning

Huang, Z., Aalst, van der, W. M. P., Lu, X. & Duan, H., 2010, In : Expert Systems with Applications. 37, 12, p. 7533-7541

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)
1 Downloads (Pure)

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data

Leoni, de, M., Maggi, F. M. & Aalst, van der, W. M. P., 2015, In : Information Systems. 47, 1, p. 258-277

Research output: Contribution to journalArticleAcademicpeer-review

49 Citations (Scopus)
1 Downloads (Pure)

Analysis of the outer product for the symmetric group

Somers, L. J. A. M., 1983, In : Journal of Mathematical Physics. 24, 4, p. 772-778 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
97 Downloads (Pure)

Analysis on demand : instantaneous soundness checking of industrial business process models

Fahland, D., Favre, C., Koehler, J., Lohmann, N., Völzer, H. & Wolf, K., 2011, In : Data & Knowledge Engineering. 70, 5, p. 448-466 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

112 Citations (Scopus)
1 Downloads (Pure)

A novel approach for process mining based on event types

Wen, L., Wang, J., Aalst, van der, W. M. P., Huang, B. & Sun, J., 2009, In : Journal of Intelligent Information Systems. 32, 2, p. 163-190

Research output: Contribution to journalArticleAcademicpeer-review

98 Citations (Scopus)
1 Downloads (Pure)

An SOA-based architecture framework

Aalst, van der, W. M. P., Beisiegel, M., Hee, van, K. M., König, D. & Stahl, C., 2007, In : International Journal of Business Process Integration and Management. 2, 2, p. 91-101

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)
1 Downloads (Pure)

A pattern-based analysis of clinical computer-interpretable guideline modeling languages

Mulyar, N. A., Aalst, van der, W. M. P. & Peleg, M., 2007, In : Journal of the American Medical Informatics Association. 14, 6, p. 781-787

Research output: Contribution to journalArticleAcademicpeer-review

70 Citations (Scopus)
9 Downloads (Pure)

A process-oriented methodology for evaluating the impact of IT : a proposal and an application in healthcare

Mans, R. S., Reijers, H. A., Wismeijer, D. & Genuchten, van, M. J. I. M., 2013, In : Information Systems. 38, 8, p. 1097-1115 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)
2 Downloads (Pure)

APROMORE : an advanced process model repository

La Rosa, M., Reijers, H. A., Aalst, van der, W. M. P., Dijkman, R. M., Mendling, J., Dumas, M. & García-Bañuelos, L., 2011, In : Expert Systems with Applications. 38, 6, p. 7029-7040 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

149 Citations (Scopus)
1 Downloads (Pure)

A recommendation system for predicting risks across multiple business process instances

Conforti, R., Leoni, de, M., La Rosa, M., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2015, In : Decision Support Systems. 69, p. 1-19

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
75 Citations (Scopus)
496 Downloads (Pure)

A reference model for grid architectures and its validation

Aalst, van der, W. M. P., Bratosin, C. C., Sidorova, N. & Trcka, N., 2010, In : Concurrency and Computation : Practice & Experience. 22, 11, p. 1365-1385

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

Aslib: a benchmark library for algorithm selection

Bischl, B., Kerschke, P., Kotthoff, L., Lindauer, M., Malitsky, Y., Fréchette, A., Hoos, H., Hutter, F., Leyton-Brown, K., Tierney, K. & Vanschoren, J., 2016, In : Artificial Intelligence. 237, p. 41-58 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

54 Citations (Scopus)
1 Downloads (Pure)

A systematic literature review of studies on business process modeling quality

Moreno-Montes de Oca, I., Snoeck, M., Reijers, H. A. & Rodríguez-Morffi, A., 2015, In : Information and Software Technology. 58, p. 187-205 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
55 Citations (Scopus)
705 Downloads (Pure)

A trace-based service semantics guaranteeing deadlock freedom

Stahl, C. & Vogler, W., 2012, In : Acta Informatica. 49, 2, p. 69-103

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

A tribute to attributes

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 1, p. 10-15

Research output: Contribution to journalArticleProfessional

Open Access
File
25 Downloads (Pure)

Auditing 2.0: Using process mining to support tomorrow's auditor

Aalst, van der, W. M. P., Hee, van, K. M., Werf, van der, J. M. E. M. & Verdonk, M. C., 2010, In : Computer. 43, 3, p. 90-93

Research output: Contribution to journalArticleAcademicpeer-review

90 Citations (Scopus)
6 Downloads (Pure)

Automating data exchange in process choreographies

Meyer, A., Pufahl, L., Batoulis, K., Fahland, D. & Weske, M. H., 2015, In : Information Systems. 53, p. 296-329 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
3 Downloads (Pure)

A visual analysis of the process of process modeling

Claes, J., Vanderfeesten, I. T. P., Pinggera, J., Reijers, H. A., Weber, B. & Poels, G., 2015, In : Information Systems and e-Business Management. 13, 1, p. 147-190 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
28 Citations (Scopus)
159 Downloads (Pure)

Balanced multi-perspective checking of process conformance

Mannhardt, F., Leoni, de, M., Reijers, H. A. & Aalst, van der, W. M. P., Apr 2016, In : Computing. 98, 4, p. 407-437

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
70 Citations (Scopus)
234 Downloads (Pure)

Branching bisimilarity with explicit divergence

Glabbeek, van, R. J., Luttik, S. P. & Trcka, N., 2009, In : Fundamenta Informaticae. 93, 4, p. 371-392

Research output: Contribution to journalArticleAcademicpeer-review

46 Citations (Scopus)

Branching bisimulation congruence for probabilistic systems

Andova, S., Georgievska, S. & Trcka, N., 2012, In : Theoretical Computer Science. 413, 1, p. 58-72

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
3 Downloads (Pure)

Brandstof voor de toekomst

Aalst, van der, W. M. P., 2014, In : Computable. 28-02-2014

Research output: Contribution to journalArticleProfessional

Business process architectures: overview, comparison and framework

Dijkman, R. M., Vanderfeesten, I. T. P. & Reijers, H. A., 12 Feb 2016, In : Enterprise Information Systems. 10, 2, p. 129-158 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

30 Citations (Scopus)
11 Downloads (Pure)

Business process management: a comprehensive survey

Aalst, van der, W. M. P., 2013, In : ISRN Software Engineering. 2013, 37 p., 507984.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
104 Downloads (Pure)

Business process management as the "Killer App" for Petri nets

Aalst, van der, W. M. P., 2015, In : Software and Systems Modeling. 14, 2, p. 685-691 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Citations (Scopus)
176 Downloads (Pure)

Business process management in the large

Houy, C., Fettke, P., Loos, P., Aalst, van der, W. M. P. & Krogstie, J., 2011, In : Business & Information Systems Engineering. 3, 6, p. 385-388

Research output: Contribution to journalArticleAcademicpeer-review

38 Citations (Scopus)
1 Downloads (Pure)

Business process mining : an industrial application

Aalst, van der, W. M. P., Reijers, H. A., Weijters, A. J. M. M., Dongen, van, B. F., Alves De Medeiros, A. K., Song, M. S. & Verbeek, H. M. W., 2007, In : Information Systems. 32, 5, p. 713-732

Research output: Contribution to journalArticleAcademicpeer-review

497 Citations (Scopus)
1 Downloads (Pure)

Business process verification : finally a reality!

Wynn, M. T., Verbeek, H. M. W., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2009, In : Business Process Management Journal. 15, 1, p. 74-92

Research output: Contribution to journalArticleAcademicpeer-review

90 Citations (Scopus)
1 Downloads (Pure)

Can I find a partner? Undecidability of partner existence for open nets

Massuthe, P., Serebrenik, A., Sidorova, N. & Wolf, K., 2008, In : Information Processing Letters. 108, 6, p. 374-378

Research output: Contribution to journalArticleAcademicpeer-review

29 Citations (Scopus)
7 Downloads (Pure)

Checking properties of adaptive workflow nets

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Lomazova, I. A., 2007, In : Fundamenta Informaticae. 79, 3-4, p. 347-362

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)
1 Downloads (Pure)

Comparing and evaluating Petri net semantics for BPEL

Lohmann, N., Verbeek, H. M. W., Ouyang, C. & Stahl, C., 2009, In : International Journal of Business Process Integration and Management. 4, 1, p. 60-73

Research output: Contribution to journalArticleAcademicpeer-review

20 Citations (Scopus)

Complexity metrics for workflow nets

Lassen, K. B. & Aalst, van der, W. M. P., 2009, In : Information and Software Technology. 51, 3, p. 610-626

Research output: Contribution to journalArticleAcademicpeer-review

69 Citations (Scopus)
3 Downloads (Pure)

Compliance monitoring in business processes : functionalities, application, and tool-support

Ly, L. T., Maggi, F. M., Montali, M., Rinderle-Ma, S. & Aalst, van der, W. M. P., 2015, In : Information Systems. 54, p. 209-234

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
86 Citations (Scopus)
141 Downloads (Pure)

Component-based software architectures : a framework based on inheritance of behavior

Aalst, van der, W. M. P., Hee, van, K. M. & Toorn, van der, R. A., 2002, In : Science of Computer Programming. 42, 2-3, p. 129-171

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
49 Citations (Scopus)
2 Downloads (Pure)

Compositionality for Markov reward chains with fast and silent transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2009, In : Performance Evaluation. 66, 8, p. 435-452

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2 Downloads (Pure)

Compositionality of projection inheritance (Erratum)

Aalst, van der, W. M. P., Hee, van, K. M. & Toorn, van der, R. A., 2002, In : Science of Computer Programming. 44, 3, p. 343-344

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Computation tree logic with deadlock detection

Glabbeek, van, R. J., Luttik, B. & Trcka, N., 2009, In : Logical Methods in Computer Science. 5, 4:5, p. 1-24

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Citations (Scopus)
60 Downloads (Pure)

Conceptual model for online auditing

Aalst, van der, W. M. P., Hee, van, K. M., Werf, van der, J. M. E. M., Kumar, A. & Verdonk, M. C., 2011, In : Decision Support Systems. 50, 3, p. 636-647

Research output: Contribution to journalArticleAcademicpeer-review

62 Citations (Scopus)
7 Downloads (Pure)

Configurable workflow models

Gottschalk, F., Aalst, van der, W. M. P., Jansen-Vullers, M. H. & La Rosa, M., 2008, In : International Journal of Cooperative Information Systems. 17, 2, p. 177-221

Research output: Contribution to journalArticleAcademicpeer-review

158 Citations (Scopus)

Configuration vs. adaptation for business process variant maintenance : an empirical study

Döhring, M., Reijers, H. A. & Smirnov, S., 2014, In : Information Systems. 39, 1, p. 108-133 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

28 Citations (Scopus)
2 Downloads (Pure)