Onderzoeksoutput

Filter
Tijdschriftartikel
2011

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, blz. 7029-7040 11 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

147 Citaten (Scopus)
1 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, blz. 385-388

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

36 Citaten (Scopus)
1 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, blz. 636-647

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

61 Citaten (Scopus)
7 Downloads (Pure)

Generic Adaptation Framework : a process-oriented perspective

Knutov, E., De Bra, P. M. E. & Pechenizkiy, M., 2011, In : Journal of Digital Information. 12, 1, 22 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
72 Downloads (Pure)

Geschäftsprozessmanagement im Großen

Houy, C., Fettke, P., Loos, P., Aalst, van der, W. M. P. & Krogstie, J., 2011, In : Wirtschaftsinformatik. 53, 6, blz. 377-381

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)

Guaranteeing weak termination in service discovery

Wolf, K., Stahl, C., Weinberg, D., Ott, J. & Danitz, R., 2011, In : Fundamenta Informaticae. 108, 1-2, blz. 151-180

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)

In memoriam Marc Voorhoeve: 5 april 1950 - 7 oktober 2011

Hee, van, K. M., 2011, In : Petri Net Newsletter. 79, blz. 35-35

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

3 Downloads (Pure)

Managing process model complexity via abstract syntax modifications

La Rosa, M., Wohed, P., Mendling, J., Hofstede, ter, A. H. M., Reijers, H. A. & Aalst, van der, W. M. P., 2011, In : IEEE Transactions on Industrial Informatics. 7, 4, blz. 614-629

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
78 Citaten (Scopus)
76 Downloads (Pure)

Managing process model complexity via concrete syntax modifications

La Rosa, M., Hofstede, ter, A. H. M., Wohed, P., Reijers, H. A., Mendling, J. & Aalst, van der, W. M. P., 2011, In : IEEE Transactions on Industrial Informatics. 7, 2, blz. 255-265

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
96 Citaten (Scopus)
103 Downloads (Pure)

Navigeren met process mining

Aalst, van der, W. M. P., 2011, In : De Automatisering Gids. 45, 24, blz. 12-13

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Petri nets at TU/e

Aalst, van der, W. M. P., 2011, In : Petri Net Newsletter. 79, blz. 27-33

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Process mining: making knowledge discovery process centric

Aalst, van der, W. M. P., 2011, In : SIGKDD Explorations. 13, 2, blz. 45-49

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Product-based workflow support

Vanderfeesten, I. T. P., Reijers, H. A. & Aalst, van der, W. M. P., 2011, In : Information Systems. 36, 2, blz. 517-535

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

48 Citaten (Scopus)
7 Downloads (Pure)

Reinforcement learning based resource allocation in business process management

Huang, Z., Aalst, van der, W. M. P., Lu, X. & Duan, H., 2011, In : Data & Knowledge Engineering. 70, 1, blz. 127-145 19 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

76 Citaten (Scopus)
5 Downloads (Pure)

Robust performance analysis on YAWL process models with advanced constructs

Adriansyah, A., Dongen, van, B. F., Piessens, D. A. M., Wynn, M. T. & Adams, M., 2011, In : Journal of Information Technology Theory and Application. 12, 3, blz. 5-26

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)

Similarity of business process models : metrics and evaluation

Dijkman, R. M., Dumas, M., Dongen, van, B. F., Käärik, R. & Mendling, J., 2011, In : Information Systems. 36, 2, blz. 498-516 19 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

411 Citaten (Scopus)
2 Downloads (Pure)

Soundness of workflow nets : classification, decidability, and analysis

Aalst, van der, W. M. P., Hee, van, K. M., Hofstede, ter, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M. & Wynn, M. T., 2011, In : Formal Aspects of Computing. 23, 3, blz. 333-363

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
229 Citaten (Scopus)
117 Downloads (Pure)

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Sidorova, N., Stahl, C. & Trcka, N., 2011, In : Information Systems. 36, 7, blz. 1026-1043

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

45 Citaten (Scopus)
4 Downloads (Pure)

SPICA's multi-party negotiation protocol : implementation using YAWL

Baccarin, E., Madeira, E. R. M., Medeiros, C. B. & Aalst, van der, W. M. P., 2011, In : International Journal of Cooperative Information Systems. 20, 3, blz. 221-259

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)
1 Downloads (Pure)

Time prediction based on process mining

Aalst, van der, W. M. P., Schonenberg, M. H. & Song, M. S., 2011, In : Information Systems. 36, 2, blz. 450-475 26 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

258 Citaten (Scopus)
15 Downloads (Pure)

Using process mining to bridge the gap between BI and BPM

Aalst, van der, W. M. P., 2011, In : Computer. 44, 12, blz. 77-80

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

17 Citaten (Scopus)

Verifying workflow processes : a transformation-based approach

Zha, H., Aalst, van der, W. M. P., Wang, J., Wen, L. & Sun, J., 2011, In : Software and Systems Modeling. 10, 2, blz. 253-264

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

24 Citaten (Scopus)
3 Downloads (Pure)

WORKPAD : process management and geo-collaboration help disaster response

Catarci, T., Leoni, de, M., Marrella, A., Mecella, M., Russo, A., Steinmann, R. & Bortenschlager, M., 2011, In : International Journal of Information Systems for Crisis Response and Management. 3, 1, blz. 32-49

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)
2010

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, blz. 7533-7541

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

12 Citaten (Scopus)
1 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, blz. 1365-1385

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)

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, blz. 90-93

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

90 Citaten (Scopus)
6 Downloads (Pure)

Declarative specification and verification of service choreographies

Montali, M., Pesic, M., Aalst, van der, W. M. P., Chesani, F., Mello, P. & Storari, S., 2010, In : ACM Transactions on the Web. 4, 1, blz. 1-62 63 blz., 3.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

148 Citaten (Scopus)

Geef informatiesystemen TomTom-functionaliteit

Aalst, van der, W. M. P., 2010, In : Tijdschrift Controlling. 25, 10, blz. 22-25

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Geef informatiesystemen TomTom-functionaliteit : process mining biedt nieuwe mogelijkheden

Aalst, van der, W. M. P., 2010, In : Management Executive. 2010, 1, blz. 12-14

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Geef informatiesystemen TomTom-functionaliteit : process mining biedt nieuwe mogelijkheden (verdieping)

Aalst, van der, W. M. P., 2010, In : Management Executive. 169, blz. 1-11

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Invariant-based reasoning about parameterized security protocols

Mooij, A. J., 2010, In : Formal Aspects of Computing. 22, 1, blz. 63-81

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Mining process models with prime invisible tasks

Wen, L., Wang, J., Aalst, van der, W. M. P., Huang, B. & Sun, J., 2010, In : Data & Knowledge Engineering. 69, 10, blz. 999-1021

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

66 Citaten (Scopus)
6 Downloads (Pure)

Multiparty contracts: Agreeing and implementing interorganizational processes

Aalst, van der, W. M. P., Lohmann, N., Massuthe, P., Stahl, C. & Wolf, K., 2010, In : The Computer Journal. 53, 1, blz. 90-106

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

94 Citaten (Scopus)

Preserving correctness during business model configuration

Aalst, van der, W. M. P., Dumas, M., Gottschalk, F., Hofstede, ter, A. H. M., La Rosa, M. & Mendling, J., 2010, In : Formal Aspects of Computing. 22, 3-4, blz. 459-482 24 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

74 Citaten (Scopus)
1 Downloads (Pure)

Process discovery: Capturing the invisible

Aalst, van der, W. M. P., 2010, In : IEEE Computational Intelligence Magazine. 5, 1, blz. 28-41

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

37 Citaten (Scopus)
1 Downloads (Pure)

Process mining : a two-step approach to balance between underfitting and overfitting

Aalst, van der, W. M. P., Rubin, V. A., Verbeek, H. M. W., Dongen, van, B. F., Kindler, E. & Günther, C. W., 2010, In : Software and Systems Modeling. 9, 1, blz. 87-111 25 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
210 Citaten (Scopus)
307 Downloads (Pure)

Proclets in healthcare

Mans, R. S., Russell, N. C., Aalst, van der, W. M. P., Bakker, P. J. M., Moleman, A. J. & Jaspers, M. W. M., 2010, In : Journal of Biomedical Informatics. 43, 4, blz. 632-649 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
23 Citaten (Scopus)
1 Downloads (Pure)

Reduction rules for reset/inhibitor nets

Verbeek, H. M. W., Wynn, M. T., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2010, In : Journal of Computer and System Sciences. 76, 2, blz. 125-143

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
23 Citaten (Scopus)

Relating fair testing and accordance for service replaceability

Mooij, A. J., Stahl, C. & Voorhoeve, M., 2010, In : Journal of Logic and Algebraic Programming. 79, 3-5, blz. 233-244

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
17 Citaten (Scopus)

Seven process modeling guidelines (7PMG)

Mendling, J., Reijers, H. A. & Aalst, van der, W. M. P., 2010, In : Information and Software Technology. 52, 2, blz. 127-136

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

378 Citaten (Scopus)
46 Downloads (Pure)

Simulation to analyze the impact of a schedule-aware workflow management system

Mans, R. S., Russell, N. C., Aalst, van der, W. M. P., Bakker, P. J. M. & Moleman, A. J., 2010, In : Simulation. 86, 8-9, blz. 519-541 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)
2009

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, blz. 163-190

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

95 Citaten (Scopus)
1 Downloads (Pure)

Branching bisimilarity with explicit divergence

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

40 Citaten (Scopus)

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, blz. 74-92

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

90 Citaten (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, blz. 60-73

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

19 Citaten (Scopus)

Complexity metrics for workflow nets

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

69 Citaten (Scopus)
3 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, blz. 435-452

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)
2 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, blz. 1-24

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
13 Citaten (Scopus)
55 Downloads (Pure)

Deciding service composition and substitutability using extended operating guidelines

Stahl, C. & Wolf, K., 2009, In : Data & Knowledge Engineering. 68, 9, blz. 819-833

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

25 Citaten (Scopus)
1 Downloads (Pure)

Declarative workflows : balancing between flexibility and support

Aalst, van der, W. M. P., Pesic, M. & Schonenberg, H., 2009, In : Computer Science: Research and Development. 23, 2, blz. 99-113

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

345 Citaten (Scopus)