Wil M. P. van der Aalst

Dirk Fahland, Wil M. P. van der Aalst: Simplifying discovered process models in a controlled manner. Inf. Syst. 38(4): 585-605 (2013)

Massimiliano de Leoni, Wil M. P. van der Aalst: Data-aware process mining: discovering decisions in processes using alignments. SAC 2013: 1454-1461

Mor Peleg, Nataliya Mulyar, Wil M. P. van der Aalst: Pattern-based analysis of computer-interpretable guidelines: Don't forget the context. Artificial Intelligence in Medicine 54(1): 73-74 (2012)

Wil M. P. van der Aalst: Process mining. Commun. ACM 55(8): 76-83 (2012)

Massimiliano de Leoni, Michael Adams, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Visual support for work assignment in process-aware information systems: Framework formalisation and implementation. Decision Support Systems 54(1): 345-361 (2012)

Ronny Mans, Wil M. P. van der Aalst, Nick Russell, Piet J. M. Bakker, Arnold J. Moleman: Lightweight Interacting Patient Treatment Processes. IJKBO 2(4): 1-19 (2012)

Rafael Accorsi, Meike Ullrich, Wil M. P. van der Aalst: Process Mining. Informatik Spektrum 35(5): 354-359 (2012)

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Process diagnostics using trace alignment: Opportunities, issues, and challenges. Inf. Syst. 37(2): 117-141 (2012)

Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa: Ensuring correctness during process configuration via partner synthesis. Inf. Syst. 37(6): 574-592 (2012)

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Workflow patterns put into context. Software and System Modeling 11(3): 319-323 (2012)

Wil M. P. van der Aalst: What makes a good process model? - Lessons learned from process mining. Software and System Modeling 11(4): 557-569 (2012)

Wil M. P. van der Aalst: Process Mining: Overview and Opportunities. ACM Trans. Management Inf. Syst. 3(2): 7 (2012)

Boudewijn F. van Dongen, Jörg Desel, Wil M. P. van der Aalst: Aggregating Causal Runs into Workflow Nets. T. Petri Nets and Other Models of Concurrency 6: 334-363 (2012)

Wil M. P. van der Aalst, Arya Adriansyah, Boudewijn F. van Dongen: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery 2(2): 182-192 (2012)

Wil M. P. van der Aalst: Decomposing Process Mining Problems Using Passages. Petri Nets 2012: 72-91

Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst: An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. Petri Nets 2012: 308-327

Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers: Creating Sound and Reversible Configurable Process Models Using CoSeNets. BIS 2012: 24-35

Massimiliano de Leoni, Wil M. P. van der Aalst, Boudewijn F. van Dongen: Data- and Resource-Aware Conformance Checking of Business Processes. BIS 2012: 48-59

Wil M. P. van der Aalst: A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline. BPM 2012: 1-16

Massimiliano de Leoni, Fabrizio Maria Maggi, Wil M. P. van der Aalst: Aligning Event Logs and Declarative Process Models for Conformance Checking. BPM 2012: 82-97

Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst: Context-Aware Compliance Checking. BPM 2012: 98-113

Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Alignment Based Precision Checking. Business Process Management Workshops 2012: 137-149

Ronny Mans, Wil M. P. van der Aalst, Rob J. B. Vanwersch, Arnold J. Moleman: Process Mining in Healthcare: Data Challenges When Answering Frequently Posed Questions. ProHealth/KR4HC 2012: 140-153

Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Root Cause Analysis with Enriched Process Logs. Business Process Management Workshops 2012: 174-186

H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: An Experimental Evaluation of Passage-Based Process Discovery. Business Process Management Workshops 2012: 205-210

Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn: Predicting Deadline Transgressions Using Event Logs. Business Process Management Workshops 2012: 211-216

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Process Mining Applied to the BPI Challenge 2012: Divide and Conquer While Discerning Resources. Business Process Management Workshops 2012: 221-222

Dirk Fahland, Wil M. P. van der Aalst: Repairing Process Models to Reflect Reality. BPM 2012: 229-245

Elham Ramezani, Dirk Fahland, Wil M. P. van der Aalst: Where Did I Misbehave? Diagnostic Information in Compliance Checking. BPM 2012: 262-278

Robert Engel, Wil M. P. van der Aalst, Marco Zapletal, Christian Pichler, Hannes Werthner: Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector. CAiSE 2012: 222-237

Fabrizio Maria Maggi, R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Efficient Discovery of Understandable Declarative Process Models from Event Logs. CAiSE 2012: 270-285

Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst: Generating Event Logs with Workload-Dependent Speeds from Simulation Models. CAiSE Workshops 2012: 383-397

Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst: A genetic algorithm for discovering process trees. IEEE Congress on Evolutionary Computation 2012: 1-8

Andrea Burattin, Fabrizio Maria Maggi, Wil M. P. van der Aalst, Alessandro Sperduti: Techniques for a Posteriori Analysis of Declarative Processes. EDOC 2012: 41-50

Wil M. P. van der Aalst: Distributed Process Discovery and Conformance Checking. FASE 2012: 1-25

Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst: An Operational Decision Support Framework for Monitoring Business Constraints. FASE 2012: 146-162

Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova, Wil M. P. van der Aalst: Configurable Declare: Designing Customisable Flexible Process Models. OTM Conferences (1) 2012: 20-37

Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst: On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery. OTM Conferences (1) 2012: 305-322

Andrea Burattin, Alessandro Sperduti, Wil M. P. van der Aalst: Heuristics Miners for Streaming Event Data. CoRR abs/1212.6383 (2012)

Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (Eds.): Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, isbn 978-3-642-35178-5

Wil M. P. van der Aalst: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer 2011, isbn 978-3-642-19344-6, pp. I-XVI, 1-352

Constantin Houy, Peter Fettke, Peter Loos, Wil M. P. van der Aalst, John Krogstie: Business Process Management in the Large. Business & Information Systems Engineering 3(6): 385-388 (2011)

Wil M. P. van der Aalst: Using Process Mining to Bridge the Gap between BI and BPM. IEEE Computer 44(12): 77-80 (2011)

Zhengxing Huang, Wil M. P. van der Aalst, Xudong Lu, Huilong Duan: Reinforcement learning based resource allocation in business process management. Data Knowl. Eng. 70(1): 127-145 (2011)

Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk: Conceptual model for online auditing. Decision Support Systems 50(3): 636-647 (2011)

Marcello La Rosa, Hajo A. Reijers, Wil M. P. van der Aalst, Remco M. Dijkman, Jan Mendling, Marlon Dumas, Luciano García-Bañuelos: APROMORE: An advanced process model repository. Expert Syst. Appl. 38(6): 7029-7040 (2011)

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3): 333-363 (2011)

Evandro Bacarin, Edmundo Roberto Mauro Madeira, Claudia Bauzer Medeiros, Wil M. P. van der Aalst: Spiℂa's Multi-Party Negotiation Protocol: Implementation Using YAWL. Int. J. Cooperative Inf. Syst. 20(3): 221-259 (2011)

Wil M. P. van der Aalst, M. H. Schonenberg, Minseok Song: Time prediction based on process mining. Inf. Syst. 36(2): 450-475 (2011)

Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: Product-based workflow support. Inf. Syst. 36(2): 517-535 (2011)

Wil M. P. van der Aalst: Process mining: making knowledge discovery process centric. SIGKDD Explorations 13(2): 45-49 (2011)

Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang, Lijie Wen, Jiaguang Sun: Verifying workflow processes: a transformation-based approach. Software and System Modeling 10(2): 253-264 (2011)

Marcello La Rosa, Arthur H. M. ter Hofstede, Petia Wohed, Hajo A. Reijers, Jan Mendling, Wil M. P. van der Aalst: Managing Process Model Complexity via Concrete Syntax Modifications. IEEE Trans. Industrial Informatics 7(2): 255-265 (2011)

Marcello La Rosa, Petia Wohed, Jan Mendling, Arthur H. M. ter Hofstede, Hajo A. Reijers, Wil M. P. van der Aalst: Managing Process Model Complexity Via Abstract Syntax Modifications. IEEE Trans. Industrial Informatics 7(4): 614-629 (2011)

Constantin Houy, Peter Fettke, Peter Loos, Wil M. P. van der Aalst, John Krogstie: Geschäftsprozessmanagement im Großen. Wirtschaftsinformatik 53(6): 377-381 (2011)

María Adela Grando, M. H. Schonenberg, Wil M. P. van der Aalst: Semantic Process Mining for the Verification of Medical Recommendations. HEALTHINF 2011: 5-16

Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Behavioral Conformance of Artifact-Centric Process Models. BIS 2011: 37-49

Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions. Business Process Management Workshops (2) 2011: 2-13

Jan Vogelaar, H. M. W. Verbeek, B. Luka, Wil M. P. van der Aalst: Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. Business Process Management Workshops (2) 2011: 50-61

Irina Ailenei, Anne Rozinat, Albert Eckert, Wil M. P. van der Aalst: Definition and Validation of Process Mining Use Cases. Business Process Management Workshops (1) 2011: 75-86

Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. BPM 2011: 132-147

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Analysis of Patient Treatment Procedures. Business Process Management Workshops (1) 2011: 165-166

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194

María Adela Grando, Wil M. P. van der Aalst, Ronny Mans: Reusing a Declarative Specification to Check the Conformance of Different CIGs. Business Process Management Workshops (2) 2011: 188-199

Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Conformance Checking of Interacting Processes with Overlapping Instances. BPM 2011: 345-361

Dirk Fahland, Wil M. P. van der Aalst: Simplifying Mined Process Models: An Approach Based on Unfoldings. BPM 2011: 362-378

Ronny Mans, Nick C. Russell, Wil M. P. van der Aalst, Arnold J. Moleman, Piet J. M. Bakker: Supporting Healthcare Processes with YAWL4Healthcare. BPM (Demos) 2011

R. P. Jagadeesh Chandra Bose, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Discovering Hierarchical Process Models Using ProM. CAiSE Forum 2011: 33-40

R. P. Jagadeesh Chandra Bose, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Discovering Hierarchical Process Models Using ProM. CAiSE Forum (Selected Papers) 2011: 33-48

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: When Process Mining Meets Bioinformatics. CAiSE Forum 2011: 147-154

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: When Process Mining Meets Bioinformatics. CAiSE Forum (Selected Papers) 2011: 202-217

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst, Indre Zliobaite, Mykola Pechenizkiy: Handling Concept Drift in Process Mining. CAiSE 2011: 391-405

Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst: User-guided discovery of declarative process models. CIDM 2011: 192-199

Wil M. P. van der Aalst, Arya Adriansyah, Boudewijn F. van Dongen: Causal Nets: A Modeling Language Tailored towards Process Discovery. CONCUR 2011: 28-42

Wil M. P. van der Aalst: Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes? ECOWS 2011: 3-10

Robert Engel, Worarat Krathu, Marco Zapletal, Christian Pichler, Wil M. P. van der Aalst, Hannes Werthner: Process Mining for Electronic Data Interchange. EC-Web 2011: 77-88

Arya Adriansyah, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Conformance Checking Using Cost-Based Fitness Analysis. EDOC 2011: 55-64

Wil M. P. van der Aalst: Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations. PoEM 2011: 1-11

Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Distributed Genetic Process Mining Using Sampling. PaCT 2011: 224-237

Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst: Runtime Verification of LTL-Based Declarative Process Models. RV 2011: 131-146

Reng Zeng, Xudong He, Wil M. P. van der Aalst: A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. SERVICES 2011: 169-175

Wil M. P. van der Aalst, Joos C. A. M. Buijs, Boudewijn F. van Dongen: Towards Improving the Representational Bias of Process Mining. SIMPDA 2011: 39-54

Wil M. P. van der Aalst: On the Representational Bias in Process Mining. WETICE 2011: 2-7

Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Many-to-Many: Some Observations on Interactions in Artifact Choreographies. ZEUS 2011: 9-15

Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adams, Nick Russell (Eds.): Modern Business Process Automation - YAWL and its Support Environment. Springer 2010, isbn 978-3-642-03120-5

Wil M. P. van der Aalst: Process Discovery: Capturing the Invisible. IEEE Comp. Int. Mag. 5(1): 28-41 (2010)

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1): 90-106 (2010)

Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Marc Verdonk: Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. IEEE Computer 43(3): 90-93 (2010)

Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka: A reference model for grid architectures and its validation. Concurrency and Computation: Practice and Experience 22(11): 1365-1385 (2010)

Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun: Mining process models with prime invisible tasks. Data Knowl. Eng. 69(10): 999-1021 (2010)

Zhengxing Huang, Wil M. P. van der Aalst, Xudong Lu, Huilong Duan: An adaptive work distribution mechanism based on reinforcement learning. Expert Syst. Appl. 37(12): 7533-7541 (2010)

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling: Preserving correctness during business process model configuration. Formal Asp. Comput. 22(3-4): 459-482 (2010)

Jan Mendling, Hajo A. Reijers, Wil M. P. van der Aalst: Seven process modeling guidelines (7PMG). Information & Software Technology 52(2): 127-136 (2010)

R. S. Mans, Nick C. Russell, Wil M. P. van der Aalst, Piet J. M. Bakker, Arnold J. Moleman, Monique W. M. Jaspers: Proclets in healthcare. Journal of Biomedical Informatics 43(4): 632-649 (2010)

H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Reduction rules for reset/inhibitor nets. J. Comput. Syst. Sci. 76(2): 125-143 (2010)

Ronny Mans, Nick C. Russell, Wil M. P. van der Aalst, Piet J. M. Bakker, Arnold J. Moleman: Simulation to Analyze the Impact of a Schedule-aware Workflow Management System. Simulation 86(8-9): 519-541 (2010)

Wil M. P. van der Aalst, Vladimir Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther: Process mining: a two-step approach to balance between underfitting and overfitting. Software and System Modeling 9(1): 87-111 (2010)

Ronny Mans, Nick C. Russell, Wil M. P. van der Aalst, Arnold J. Moleman, Piet J. M. Bakker: Schedule-Aware Workflow Management Systems. T. Petri Nets and Other Models of Concurrency 4: 121-143 (2010)

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)

Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Nick Russell: Introduction. Modern Business Process Automation 2010: 3-19

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Advanced Synchronization. Modern Business Process Automation 2010: 103-119

Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: Declarative Workflow. Modern Business Process Automation 2010: 175-201

Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: The Declare Service. Modern Business Process Automation 2010: 327-343

Moe Thandar Wynn, Anne Rozinat, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge: Process Mining and Simulation. Modern Business Process Automation 2010: 437-457

Ronny Mans, Wil M. P. van der Aalst, Nick Russell, Arnold J. Moleman, Piet J. M. Bakker, Monique W. M. Jaspers: YAWL4Healthcare. Modern Business Process Automation 2010: 543-565

Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Nick Russell: Epilogue. Modern Business Process Automation 2010: 591-596

Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa, Jingxin Xu: Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. BPM 2010: 95-111

Jiafei Li, R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns. Business Process Management Workshops 2010: 109-121

Arya Adriansyah, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Towards Robust Conformance Checking. Business Process Management Workshops 2010: 122-133

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Trace Alignment in Process Mining: Opportunities for Process Diagnostics. BPM 2010: 227-242

Wil M. P. van der Aalst: Business Process Simulation Revisited. EOMAS 2010: 1-14

Wil M. P. van der Aalst, Maja Pesic, Minseok Song: Beyond Process Mining: From the Past to Present and Future. CAiSE 2010: 38-52

H. M. W. Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst: XES, XESame, and ProM 6. CAiSE Forum 2010: 60-75

Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst: Business Trend Analysis by Simulation. CAiSE 2010: 515-529

Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Distributed genetic process mining. IEEE Congress on Evolutionary Computation 2010: 1-8

Marie-Christine Fauvet, Marcello La Rosa, M. Sadegh, A. Alshareef, Remco M. Dijkman, Luciano García-Bañuelos, Hajo A. Reijers, Wil M. P. van der Aalst, Marlon Dumas, Jan Mendling: Managing Process Model Collections with AProMoRe. ICSOC 2010: 699-701

Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Discovering Process Models with Genetic Algorithms Using Sampling. KES (1) 2010: 41-50

Wil M. P. van der Aalst: COOPIS'10 Keynote. OTM Conferences (1) 2010: 4-5

Wil M. P. van der Aalst: Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining. OTM Conferences (1) 2010: 8-25

Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst, Jan Vogelaar: Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model. OTM Workshops 2010: 665-674

Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst: Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. SPIN 2010: 146-161

Jinyan Zhang, Xudong Lu, Hongchao Nie, Zhengxing Huang, Wil M. P. van der Aalst: Radiology information system: a workflow-based approach. Int. J. Computer Assisted Radiology and Surgery 4(5): 509-516 (2009)

Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Dimensions of coupling in middleware. Concurrency and Computation: Practice and Experience 21(18): 2233-2269 (2009)

Wil M. P. van der Aalst, R. S. Mans, Nick C. Russell: Workflow Support Using Proclets: Divide, Interact, and Conquer. IEEE Data Eng. Bull. 32(3): 16-22 (2009)

Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge: Workflow simulation for operational decision support. Data Knowl. Eng. 68(9): 834-850 (2009)

Wil M. P. van der Aalst, Maja Pesic, Helen Schonenberg: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2): 99-113 (2009)

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Synchronization and Cancelation in Workflows Based on Reset Nets. Int. J. Cooperative Inf. Syst. 18(1): 63-114 (2009)

Kristian Bisgaard Lassen, Wil M. P. van der Aalst: Complexity metrics for Workflow nets. Information & Software Technology 51(3): 610-626 (2009)

Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information & Software Technology 51(6): 1010-1020 (2009)

Petia Wohed, Nick Russell, Arthur H. M. ter Hofstede, Birger Andersson, Wil M. P. van der Aalst: Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark. Information & Software Technology 51(8): 1187-1216 (2009)

Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst: Discovering simulation models. Inf. Syst. 34(3): 305-327 (2009)

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6): 769-790 (2009)

Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun: A novel approach for process mining based on event types. J. Intell. Inf. Syst. 32(2): 163-190 (2009)

Aylin Koca, Mathias Funk, Evangelos Karapanos, Anne Rozinat, Wil M. P. van der Aalst, Henk Corporaal, Jean-Bernard Martens, Piet van der Putten, A. J. M. M. Weijters, Aarnout Brombacher: Soft reliability: an interdisciplinary approach with a user-system focus. Quality and Reliability Eng. Int. 25(1): 3-20 (2009)

Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Questionnaire-based variability modeling for system configuration. Software and System Modeling 8(2): 251-274 (2009)

Wil M. P. van der Aalst: Process-Aware Information Systems: Lessons to Be Learned from Process Mining. T. Petri Nets and Other Models of Concurrency 2: 1-26 (2009)

Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Designing a Workflow System Using Coloured Petri Nets. T. Petri Nets and Other Models of Concurrency 3: 1-24 (2009)

R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. T. Petri Nets and Other Models of Concurrency 3: 25-49 (2009)

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of Workflow Nets with Reset Arcs. T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009)

Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19(1) (2009)

Anne Rozinat, Ivo S. M. de Jong, Christian W. Günther, Wil M. P. van der Aalst: Process Mining Applied to the Test Process of Wafer Scanners in ASML. IEEE Transactions on Systems, Man, and Cybernetics, Part C 39(4): 474-479 (2009)

Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf: Compositional Service Trees. Petri Nets 2009: 283-302

Wil M. P. van der Aalst: Using Process Mining to Generate Accurate and Interactive Business Process Maps. BIS (Workshops) 2009: 1-14

Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, Anne Rozinat, Eric Verbeek, Ton Weijters: ProM: The Process Mining Toolkit. BPM (Demos) 2009

Joyce Nakatumba, Wil M. P. van der Aalst: Analyzing Resource Behavior Using Process Mining. Business Process Management Workshops 2009: 69-80

Christian W. Günther, Anne Rozinat, Wil M. P. van der Aalst: Activity Mining by Global Trace Segmentation. Business Process Management Workshops 2009: 128-139

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Abstractions in Process Mining: A Taxonomy of Patterns. BPM 2009: 159-175

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models. Business Process Management Workshops 2009: 170-181

Francesco Cardi, Massimiliano de Leoni, Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: Visual Support for Work Assignment in YAWL. BPM (Demos) 2009

Mariska Netjes, Ronny Mans, Hajo A. Reijers, Wil M. P. van der Aalst, Rob J. B. Vanwersch: BPR Best Practices for the Healthcare Domain. Business Process Management Workshops 2009: 605-616

R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman: Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness. Business Process Management Workshops 2009: 635-646

Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: DECLARE Demo: A Constraint-based Workflow Management System. BPM (Demos) 2009

Wil M. P. van der Aalst: TomTom for Business Process Management (TomTom4BPM). CAiSE 2009: 2-5

Fábio de Lima Bezerra, Jacques Wainer, Wil M. P. van der Aalst: Anomaly Detection Using Process Mining. BMMDS/EMMSAD 2009: 149-161

Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE 2009: 425-439

Florian Gottschalk, Teun A. C. Wagemakers, Monique H. Jansen-Vullers, Wil M. P. van der Aalst, Marcello La Rosa: Configurable Process Models: Experiences from a Municipality Case Study. CAiSE 2009: 486-500

Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Workflow completion patterns. CASE 2009: 7-12

Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Maja Pesic, Helen Schonenberg: Flexibility as a Service. DASFAA Workshops 2009: 319-333

Marco Zapletal, Wil M. P. van der Aalst, Nick Russell, Philipp Liegl, Hannes Werthner: An Analysis of Windows Workflow's Control-Flow Expressiveness. ECOWS 2009: 200-209

Mykola Pechenizkiy, Nikola Trcka, Ekaterina Vasilyeva, Wil M. P. van der Aalst, Paul De Bra: Process Mining Online Assessment Data. EDM 2009: 279-288

Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee: History-Dependent Stochastic Petri Nets. Ershov Memorial Conference 2009: 366-379

Mathias Funk, Anne Rozinat, Ana Karla Alves de Medeiros, Piet van der Putten, Henk Corporaal, Wil M. P. van der Aalst: Improving Product Usage Monitoring and Analysis with Semantic Concepts. UNISCON 2009: 190-201

R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Context Aware Trace Clustering: Towards Improving Process Mining Results. SDM 2009: 401-412

Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88

Jorge Cardoso, Wil M. P. van der Aalst: Path Mining and Process Mining for Workflow Management Systems. Encyclopedia of Data Warehousing and Mining 2009: 1489-1496

Wil M. P. van der Aalst: Business Process Execution Language. Encyclopedia of Database Systems 2009: 288-289

Wil M. P. van der Aalst: Business Process Management. Encyclopedia of Database Systems 2009: 289-293

Wil M. P. van der Aalst: Business Process Modeling Notation. Encyclopedia of Database Systems 2009: 293-294

Wil M. P. van der Aalst: Choreography. Encyclopedia of Database Systems 2009: 329

Wil M. P. van der Aalst: Composition. Encyclopedia of Database Systems 2009: 420-421

Wil M. P. van der Aalst: Coordination. Encyclopedia of Database Systems 2009: 495-496

Wil M. P. van der Aalst: Orchestration. Encyclopedia of Database Systems 2009: 2004-2005

Wil M. P. van der Aalst: Petri Nets. Encyclopedia of Database Systems 2009: 2103-2108

Wil M. P. van der Aalst: Process Mining. Encyclopedia of Database Systems 2009: 2171-2173

Wil M. P. van der Aalst: Workflow Model Analysis. Encyclopedia of Database Systems 2009: 3551

Wil M. P. van der Aalst: Workflow Patterns. Encyclopedia of Database Systems 2009: 3557-3558

Kurt Jensen, Wil M. P. van der Aalst (Eds.): Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems. Lecture Notes in Computer Science 5460, Springer 2009, isbn 978-3-642-00898-6

Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: Evaluating workflow process designs using cohesion and coupling metrics. Computers in Industry 59(5): 420-437 (2008)

Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull. 31(3): 45-48 (2008)

Ana Karla Alves de Medeiros, Wil M. P. van der Aalst, A. J. M. M. Weijters: Quantifying process equivalence based on observed behavior. Data Knowl. Eng. 64(1): 55-74 (2008)

Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1): 312-329 (2008)

Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst, Wasim Sadiq: From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes. Decision Support Systems 45(2): 189-207 (2008)

Minseok Song, Wil M. P. van der Aalst: Towards comprehensive support for organizational mining. Decision Support Systems 46(1): 300-317 (2008)

Jan Mendling, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Getting rid of OR-joins and multiple start events in business process models. Enterprise IS 2(4): 403-419 (2008)

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: Working with the Past: Integrating History in Petri Nets. Fundam. Inform. 88(3): 387-409 (2008)

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, Marcello La Rosa: Configurable Workflow Models. Int. J. Cooperative Inf. Syst. 17(2): 177-221 (2008)

Wil M. P. van der Aalst, Andriy Nikolov: Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-Mail Logs. IJIIT 4(3): 27-45 (2008)

Wil M. P. van der Aalst, Kristian Bisgaard Lassen: Translating unstructured workflow processes to readable BPEL: Theory and implementation. Information & Software Technology 50(3): 131-159 (2008)

Anne Rozinat, Wil M. P. van der Aalst: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1): 64-95 (2008)

Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst: From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. STTT 10(1): 15-28 (2008)

Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst: Discovering colored Petri nets from event logs. STTT 10(1): 57-74 (2008)

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek: Protos2CPN: using colored Petri nets for configuring and testing business processes. STTT 10(1): 95-110 (2008)

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek: Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3) (2008)

H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk: Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. T. Petri Nets and Other Models of Concurrency 1: 152-171 (2008)

R. S. Mans, M. H. Schonenberg, Minseok Song, Wil M. P. van der Aalst, Piet J. M. Bakker: Process Mining in Healthcare - A Case Study. HEALTHINF (1) 2008: 118-125

R. S. Mans, Helen Schonenberg, Minseok Song, Wil M. P. van der Aalst, Piet J. M. Bakker: Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital. BIOSTEC (Selected Papers) 2008: 425-438

Helen Schonenberg, Barbara Weber, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Supporting Flexible Processes through Recommendations Based on History. BPM 2008: 51-66

Massimiliano de Leoni, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Visual Support for Work Assignment in Process-Aware Information Systems. BPM 2008: 67-83

Minseok Song, Christian W. Günther, Wil M. P. van der Aalst: Trace Clustering in Process Mining. Business Process Management Workshops 2008: 109-120

Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge: Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. BPM 2008: 196-211

Mariska Netjes, Hajo A. Reijers, Wil M. P. van der Aalst: On the Formal Generation of Process Redesigns. Business Process Management Workshops 2008: 224-235

R. S. Mans, Wil M. P. van der Aalst, Nick Russell, Piet J. M. Bakker: Flexibility Schemes for Workflow Management Systems. Business Process Management Workshops 2008: 361-372

Helen Schonenberg, Ronny Mans, Nick Russell, Nataliya Mulyar, Wil M. P. van der Aalst: Process Flexibility: A Survey of Contemporary Approaches. CIAO! / EOMAS 2008: 16-30

Helen Schonenberg, Ronny Mans, Nick Russell, Nataliya Mulyar, Wil M. P. van der Aalst: Towards a Taxonomy of Process Flexibility. CAiSE Forum 2008: 81-84

Nick Russell, Wil M. P. van der Aalst: Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. CAiSE 2008: 94-108

Irene T. P. Vanderfeesten, Hajo A. Reijers, Jan Mendling, Wil M. P. van der Aalst, Jorge Cardoso: On a Quest for Good Process Models: The Cross-Connectivity Metric. CAiSE 2008: 480-494

Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: Product Based Workflow Support: Dynamic Workflow Execution. CAiSE 2008: 571-574

Petia Wohed, Nick Russell, Arthur H. M. ter Hofstede, Birger Andersson, Wil M. P. van der Aalst: Open Source Workflow: A Viable Direction for BPM?. CAiSE 2008: 583-586

Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst: Soundness and Niceness as Correctness Criteria for Grid Workflows. eScience 2008: 55-62

Ana Karla Alves de Medeiros, Wil M. P. van der Aalst, Carlos Pedrinaci: Semantic Process Mining Tools: Core Building Blocks. ECIS 2008: 1953-1964

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling: Correctness-Preserving Configuration of Business Process Models. FASE 2008: 46-61

Wil M. P. van der Aalst: Discovery, Verification and Conformance of Workflows with Cancellation. ICGT 2008: 18-37

Ronny Mans, Helen Schonenberg, Giorgio Leonardi, Silvia Panzarasa, Anna Cavallini, Silvana Quaglini, Wil M. P. van der Aalst: Process Mining Techniques: an Application to Stroke Care. MIE 2008: 573-578

Marwane El Kharbili, Ana Karla A. de Medeiros, Sebastian Stein, Wil M. P. van der Aalst: Business Process Compliance Checking: Current State and Future Challenges. MobIS 2008: 107-113

Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova: Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. OPODIS 2008: 538-541

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers: Mining Reference Process Models and Their Configurations. OTM Workshops 2008: 263-272

Boudewijn F. van Dongen, R. A. Crooy, Wil M. P. van der Aalst: Cycle Time Prediction: When Will This Case Finally Be Finished?. OTM Conferences (1) 2008: 319-336

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers: Merging Event-Driven Process Chains. OTM Conferences (1) 2008: 418-426

Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka: A Reference Model for Grid Architectures and Its Analysis. OTM Conferences (1) 2008: 898-913

Jan Mendling, Wil M. P. van der Aalst: Advanced Reduction Rules for the Verification of EPC Business Process Models. SIGSAND-EUROPE 2008: 129-

Christian W. Günther, Manfred Reichert, Wil M. P. van der Aalst: Supporting Flexible Processes with Adaptive Workflow and Case Handling. WETICE 2008: 229-234

Wil M. P. van der Aalst: Process-Aware Information Systems: Design, Enactment, and Analysis. Wiley Encyclopedia of Computer Science and Engineering 2008

Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (Eds.): Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science 5100, Springer 2008, isbn 978-3-540-89286-1

Wil M. P. van der Aalst: Exploring the CSCW spectrum using process mining. Advanced Engineering Informatics 21(2): 191-199 (2007)

Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Computers in Industry 58(6): 578-601 (2007)

H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Comput. J. 50(3): 294-314 (2007)

Ana Karla A. de Medeiros, A. J. M. M. Weijters, Wil M. P. van der Aalst: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov. 14(2): 245-304 (2007)

Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, Jiaguang Sun: Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15(2): 145-180 (2007)

Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek: Business process management: Where business processes and web services meet. Data Knowl. Eng. 61(1): 1-5 (2007)

Wil M. P. van der Aalst, Michael Rosemann, Marlon Dumas: Deadline-based escalation in process-aware information systems. Decision Support Systems 43(2): 492-511 (2007)

Rong Liu, Akhil Kumar, Wil M. P. van der Aalst: A formal modeling approach for supply chain event management. Decision Support Systems 43(3): 761-778 (2007)

Carmen Bratosin, Wil M. P. van der Aalst: Workflow Management Systems for Grid Computing. ERCIM News 2007(70) (2007)

Kamel Rouibah, Samia Rouibah, Wil M. P. van der Aalst: Combining workflow and PDM based on the workflow management coalition and STEP standards: the case of axalant. Int. J. Computer Integrated Manufacturing 20(8): 811-827 (2007)

Michael Rosemann, Wil M. P. van der Aalst: A configurable reference modelling language. Inf. Syst. 32(1): 1-23 (2007)

Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Minseok Song, H. M. W. (Eric) Verbeek: Business process mining: An industrial application. Inf. Syst. 32(5): 713-732 (2007)

Nataliya Mulyar, Wil M. P. van der Aalst, Mor Peleg: Research Paper: A Pattern-based Analysis of Clinical Computer-interpretable Guideline Modeling Languages. JAMIA 14(6): 781-787 (2007)

Giorgio Leonardi, Silvia Panzarasa, Silvana Quaglini, Mario Stefanelli, Wil M. P. van der Aalst: Interacting agents through a web-based health serviceflow management system. Journal of Biomedical Informatics 40(5): 486-499 (2007)

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007)

Maja Pesic, Wil M. P. van der Aalst: Modelling work distribution mechanisms using Colored Petri Nets. STTT 9(3-4): 327-352 (2007)

Wil M. P. van der Aalst, Christian W. Günther: Finding Structure in Unstructured Processes: The Case for Process Mining. ACSD 2007: 3-12

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183

Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, A. J. M. M. Weijters: ProM 4.0: Comprehensive Support for Real Process Analysis. ICATPN 2007: 484-494

Ana Karla Alves de Medeiros, Antonella Guzzo, Gianluigi Greco, Wil M. P. van der Aalst, A. J. M. M. Weijters, Boudewijn F. van Dongen, Domenico Saccà: Process Mining Based on Clustering: A Quest for Precision. Business Process Management Workshops 2007: 17-29

Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: Business Process Simulation for Operational Decision Support. Business Process Management Workshops 2007: 66-77

Anne Rozinat, Ana Karla Alves de Medeiros, Christian W. Günther, A. J. M. M. Weijters, Wil M. P. van der Aalst: The Need for a Process Mining Evaluation Framework in Research and Practice. Business Process Management Workshops 2007: 84-89

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers: SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. BPM 2007: 262-270

Christian W. Günther, Wil M. P. van der Aalst: Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. BPM 2007: 328-343

Nataliya Mulyar, Maja Pesic, Wil M. P. van der Aalst, Mor Peleg: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. Business Process Management Workshops 2007: 335-346

Marcello La Rosa, Florian Gottschalk, Marlon Dumas, Wil M. P. van der Aalst: Linking Domain Models and Process Models for Reference Model Configuration. Business Process Management Workshops 2007: 417-430

Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Communication Abstractions for Distributed Business Processes. CAiSE 2007: 409-423

Jan Mendling, Wil M. P. van der Aalst: Formalization and Verification of EPCs with OR-Joins Based on State and Context. CAiSE 2007: 439-453

Jan Mendling, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Getting Rid of the OR-Join in Business Process Models. EDOC 2007: 3-14

Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: DECLARE: Full Support for Loosely-Structured Processes. EDOC 2007: 287-300

Jan Mendling, Boudewijn F. van Dongen, Wil M. P. van der Aalst: On the Degree of Behavioral Similarity between Business Process Models. EPK 2007: 39-58

Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst: On the Correlation between Process Model Metrics and Errors. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 173-178

Jorge Cardoso, Wil M. P. van der Aalst, Christoph Bussler, Amit P. Sheth, Kurt Sandkuhl: Inter-enterprise System and Application Integration: A Reality Check. ICEIS (Selected Papers) 2007: 3-15

Wil M. P. van der Aalst: Trends in business process analysis - from verification to process mining. ICEIS (1) 2007: 5-9

Wil M. P. van der Aalst: Challenges in Business Process Analysis. ICEIS (Selected Papers) 2007: 27-42

Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: An Evaluation of Case Handling Systems for Product Based Workflow Design. ICEIS (3) 2007: 39-46

Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst: An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System. ICEIS (3) 2007: 47-54

Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: Case Handling Systems as Product Based Workflow Design Support. ICEIS (Selected Papers) 2007: 187-198

Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst: Performing Business Process Redesign with Best Practices: An Evolutionary Approach. ICEIS (Selected Papers) 2007: 199-211

Vladimir Rubin, Christian W. Günther, Wil M. P. van der Aalst, Ekkart Kindler, Boudewijn F. van Dongen, Wilhelm Schäfer: Process Mining Framework for Software Processes. ICSP 2007: 169-181

Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst: Constraint-Based Workflow Models: Change Made Easy. OTM Conferences (1) 2007: 77-94

Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond: Dynamic, Extensible and Context-Aware Exception Handling for Workflows. OTM Conferences (1) 2007: 95-112

Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst: Understanding the Occurrence of Errors in Process Models Based on Metrics. OTM Conferences (1) 2007: 113-130

Nataliya Mulyar, Lachlan Aldred, Wil M. P. van der Aalst: The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. OTM Conferences (1) 2007: 735-753

Ana Karla Alves de Medeiros, Carlos Pedrinaci, Wil M. P. van der Aalst, John Domingue, Minseok Song, Anne Rozinat, Barry Norton, Liliana Cabral: An Outlook on Semantic Business Process Mining and Monitoring. OTM Workshops (2) 2007: 1244-1255

Wil M. P. van der Aalst, Maja Pesic: Specifying and Monitoring Service Flows: Making Web Services Process-Aware. Test and Analysis of Web Services 2007: 11-55

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153

Laura Maruster, A. J. M. M. Weijters, Wil M. P. van der Aalst, Antal van den Bosch: A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs. Data Min. Knowl. Discov. 13(1): 67-87 (2006)

Monique H. Jansen-Vullers, Wil M. P. van der Aalst, Michael Rosemann: Mining configurable enterprise information systems. Data Knowl. Eng. 56(3): 195-244 (2006)

Wil M. P. van der Aalst: Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming. Decision Support Systems 42(3): 1843-1859 (2006)

Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst, Lutz Heuser, Karsten Schulz: Model-based software configuration: patterns and languages. EJIS 15(6): 583-600 (2006)

Uwe Zdun, Carsten Hentrich, Wil M. P. van der Aalst: A survey of patterns for Service-Oriented Architectures. IJIPT 1(3): 132-143 (2006)

Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Petia Wohed: On the suitability of UML 2.0 activity diagrams for business process modelling. APCCM 2006: 95-104

Christian W. Günther, Wil M. P. van der Aalst: A Generic Import Framework for Process Event Logs. Business Process Management Workshops 2006: 81-92

Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters: Process Equivalence: Comparing Two Process Models Based on Observed Behavior. Business Process Management 2006: 129-144

Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell: On the Suitability of BPMN for Business Process Modelling. Business Process Management 2006: 161-176

Maja Pesic, Wil M. P. van der Aalst: A Declarative Approach for Flexible Business Processes Management. Business Process Management Workshops 2006: 169-180

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. Business Process Management 2006: 389-394

Anne Rozinat, Wil M. P. van der Aalst: Decision Mining in ProM. Business Process Management 2006: 420-425

Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Faulty EPCs in the SAP Reference Model. Business Process Management 2006: 451-457

Wil M. P. van der Aalst, Christian W. Günther, Jan Recker, Manfred Reichert: Using Process Mining to Analyze and Improve Process Flexibility. BPMDS 2006

Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Workflow Exception Patterns. CAiSE 2006: 288-302

Jan Recker, Jan Mendling, Wil M. P. van der Aalst, Michael Rosemann: Model-Driven Enterprise Systems Configuration. CAiSE 2006: 369-383

H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Interoperability in the ProM Framework. EMOI-INTEROP 2006

Huixin Tan, Wil M. P. van der Aalst: Implementation of a YAWL Work-List Handler based on the Resource Patterns. CSCWD 2006: 1184-1189

Wil M. P. van der Aalst: 06291 Workshop Report: Process Mining, Monitoring Processes and Services. The Role of Business Processes in Service Oriented Architectures 2006

Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl: A SOA-Based Architecture Framework. The Role of Business Processes in Service Oriented Architectures 2006

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. The Role of Business Processes in Service Oriented Architectures 2006

Wil M. P. van der Aalst, Maja Pesic: DecSerFlow: Towards a Truly Declarative Service Flow Language. The Role of Business Processes in Service Oriented Architectures 2006

Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst: 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. The Role of Business Processes in Service Oriented Architectures 2006

Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Structural Patterns for Soundness of Business Process Models. EDOC 2006: 116-128

Jan Mendling, Wil M. P. van der Aalst: Towards EPC Semantics based on State and Context. EPK 2006: 25-48

Paul Barborka, Lukas Helm, Georg Köldorfer, Jan Mendling, Gustaf Neumann, Boudewijn F. van Dongen, Eric Verbeek, Wil M. P. van der Aalst: Integration of EPC-related Tools with ProM. EPK 2006: 105-120

Akhil Kumar, Wil M. P. van der Aalst: Managing Supply Chain Events to Build Sense-and-Respond Capability. ICIS 2006: 10

Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: From BPMN Process Models to BPEL Web Services. ICWS 2006: 285-292

Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart: Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. OTM Conferences (1) 2006: 2

Kristian Bisgaard Lassen, Wil M. P. van der Aalst: WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. OTM Conferences (1) 2006: 127-144

Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst: Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. OTM Conferences (1) 2006: 291-308

Christian W. Günther, Stefanie Rinderle, Manfred Reichert, Wil M. P. van der Aalst: Change Mining in Adaptive Process Management Systems. OTM Conferences (1) 2006: 309-326

Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. OTM Conferences (1) 2006: 408-425

Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst: Generating correct EPCs from configured C-EPCs. SAC 2006: 1505-1510

Wil M. P. van der Aalst, Maja Pesic: DecSerFlow: Towards a Truly Declarative Service Flow Language. WS-FM 2006: 1-23

Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst (Eds.): The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Dagstuhl Seminar Proceedings 06291, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley 2005, isbn 978-0-471-66306-5

Wil M. P. van der Aalst, Hajo A. Reijers, Minseok Song: Discovering Social Networks from Event Logs. Computer Supported Cooperative Work 14(6): 549-593 (2005)

Wil M. P. van der Aalst, Mathias Weske, Dolf Grünbauer: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2): 129-162 (2005)

Schahram Dustdar, Thomas Hoffmann, Wil M. P. van der Aalst: Mining of ad-hoc business processes with TeamLog. Data Knowl. Eng. 55(2): 129-158 (2005)

Wil M. P. van der Aalst, Ana Karla A. de Medeiros: Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Electr. Notes Theor. Comput. Sci. 121: 3-21 (2005)

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: YAWL: yet another workflow language. Inf. Syst. 30(4): 245-275 (2005)

Wil M. P. van der Aalst: Business alignment: using process mining as a tool for Delta analysis and conformance testing. Requir. Eng. 10(3): 198-211 (2005)

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Marlon Dumas: Patterns of Process Modeling. Process-Aware Information Systems 2005

Wil M. P. van der Aalst, A. J. M. M. Weijters: Process Mining. Process-Aware Information Systems 2005

Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Introduction. Process-Aware Information Systems 2005

Alexander Dreiling, Mervin Chiang, Michael Rosemann, Wil M. P. van der Aalst: Towards an Understanding of Model Driven Process Configuration and its Support at Large. AMCIS 2005: 166

Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters: Genetic Process Mining. ICATPN 2005: 48-69

Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. ICATPN 2005: 423-443

Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst: The ProM Framework: A New Era in Process Mining Tool Support. ICATPN 2005: 444-454

Anne Rozinat, Wil M. P. van der Aalst: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. Business Process Management Workshops 2005: 163-176

Ana Karla A. de Medeiros, A. J. M. M. Weijters, Wil M. P. van der Aalst: Genetic Process Mining: A Basic Approach and Its Challenges. Business Process Management Workshops 2005: 203-215

Jan Recker, Michael Rosemann, Wil M. P. van der Aalst, Jan Mendling: On the Syntax of Reference Model Configuration - Transforming the C-EPC into Lawful EPC Models. Business Process Management Workshops 2005: 497-511

Wil M. P. van der Aalst, Alexander Dreiling, Florian Gottschalk, Michael Rosemann, Monique H. Jansen-Vullers: Configurable Process Models as a Basis for Reference Modeling. Business Process Management Workshops 2005: 512-518

Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst: Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets. CAiSE Short Paper Proceedings 2005

Boudewijn F. van Dongen, Wil M. P. van der Aalst: A Meta Model for Process Mining Data. EMOI-INTEROP 2005

Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Workflow Resource Patterns: Identification, Representation and Tool Support. CAiSE 2005: 216-232

Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek: Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE 2005: 372-386

Jan Hidders, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Verelst: When are two Workflows the Same? CATS 2005: 3-11

Wil M. P. van der Aalst: Process mining in CSCW systems. CSCWD (1) 2005: 1-8

Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst: Towards the Interchange of Configurable EPCs. EMISA 2005: 8-21

Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed: Life After BPEL? EPEW/WS-FM 2005: 35-50

Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell: Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. ER 2005: 63-78

Nick Russell, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst: Workflow Data Patterns: Identification, Representation and Tool Support. ER 2005: 353-368

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489