Wil M. P. van der Aalst

	2012
386		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
385		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
384		Wil M. P. van der Aalst: Distributed Process Discovery and Conformance Checking. FASE 2012: 1-25
383		Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst: An Operational Decision Support Framework for Monitoring Business Constraints. FASE 2012: 146-162
382		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)
381		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)
380		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)
379		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)
	2011
378		Wil M. P. van der Aalst: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer 2011: I-XVI, 1-352
377		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
376		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
375		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
374		Dirk Fahland, Wil M. P. van der Aalst: Simplifying Mined Process Models: An Approach Based on Unfoldings. BPM 2011: 362-378
373		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
372		R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Analysis of Patient Treatment Procedures. Business Process Management Workshops (1) 2011: 165-166
371		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 Muñoz-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
370		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
369		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
368		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
367		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
366		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
365		R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: When Process Mining Meets Bioinformatics. CAiSE Forum 2011: 147-154
364		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
363		R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: When Process Mining Meets Bioinformatics. CAiSE Forum (Selected Papers) 2011: 202-217
362		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
361		Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst: User-guided discovery of declarative process models. CIDM 2011: 192-199
360		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
359		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
358		Wil M. P. van der Aalst: Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes? ECOWS 2011: 3-10
357		Arya Adriansyah, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Conformance Checking Using Cost-Based Fitness Analysis. EDOC 2011: 55-64
356		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
355		Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Distributed Genetic Process Mining Using Sampling. PaCT 2011: 224-237
354		Wil M. P. van der Aalst: Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations. PoEM 2011: 1-11
353		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
352		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
351		Wil M. P. van der Aalst: On the Representational Bias in Process Mining. WETICE 2011: 2-7
350		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
349		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)
348		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)
347		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)
346		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)
345		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)
344		Wil M. P. van der Aalst: Using Process Mining to Bridge the Gap between BI and BPM. IEEE Computer 44(12): 77-80 (2011)
343		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)
342		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)
341		Wil M. P. van der Aalst, M. H. Schonenberg, Minseok Song: Time prediction based on process mining. Inf. Syst. 36(2): 450-475 (2011)
340		Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: Product-based workflow support. Inf. Syst. 36(2): 517-535 (2011)
339		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)
338		Wil M. P. van der Aalst: Process mining: making knowledge discovery process centric. SIGKDD Explorations 13(2): 45-49 (2011)
337		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)
336		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)
	2010
335		Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adams, Nick Russell: Modern Business Process Automation - YAWL and its Support Environment Springer 2010
334		R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Trace Alignment in Process Mining: Opportunities for Process Diagnostics. BPM 2010: 227-242
333		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
332		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
331		Arya Adriansyah, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Towards Robust Conformance Checking. Business Process Management Workshops 2010: 122-133
330		Wil M. P. van der Aalst, Maja Pesic, Minseok Song: Beyond Process Mining: From the Past to Present and Future. CAiSE 2010: 38-52
329		Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst: Business Trend Analysis by Simulation. CAiSE 2010: 515-529
328		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
327		Wil M. P. van der Aalst: Business Process Simulation Revisited. EOMAS 2010: 1-14
326		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
325		Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Distributed genetic process mining. IEEE Congress on Evolutionary Computation 2010: 1-8
324		Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Discovering Process Models with Genetic Algorithms Using Sampling. KES (1) 2010: 41-50
323		Wil M. P. van der Aalst: COOPIS'10 Keynote. OTM Conferences (1) 2010: 4-5
322		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
321		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
320		Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst: Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. SPIN 2010: 146-161
319		Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Advanced Synchronization. Modern Business Process Automation 2010: 103-119
318		Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: Declarative Workflow. Modern Business Process Automation 2010: 175-201
317		Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Nick Russell: Introduction. Modern Business Process Automation 2010: 3-19
316		Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: The Declare Service. Modern Business Process Automation 2010: 327-343
315		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
314		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
313		Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Nick Russell: Epilogue. Modern Business Process Automation 2010: 591-596
312		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)
311		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)
310		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)
309		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)
308		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)
307		Wil M. P. van der Aalst: Process Discovery: Capturing the Invisible. IEEE Comp. Int. Mag. 5(1): 28-41 (2010)
306		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)
305		Jan Mendling, Hajo A. Reijers, Wil M. P. van der Aalst: Seven process modeling guidelines (7PMG). Information & Software Technology 52(2): 127-136 (2010)
304		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)
303		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)
302		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)
301		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)
300		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)
299		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)
	2009
298		Kurt Jensen, Wil M. P. van der Aalst: Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems Springer 2009
297		Wil M. P. van der Aalst: Using Process Mining to Generate Accurate and Interactive Business Process Maps. BIS (Workshops) 2009: 1-14
296		Fábio de Lima Bezerra, Jacques Wainer, Wil M. P. van der Aalst: Anomaly Detection Using Process Mining. BMMDS/EMMSAD 2009: 149-161
295		R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Abstractions in Process Mining: A Taxonomy of Patterns. BPM 2009: 159-175
294		Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: DECLARE Demo: A Constraint-based Workflow Management System. BPM (Demos) 2009
293		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
292		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
291		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
290		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
289		Mariska Netjes, Ronny Mans, Hajo A. Reijers, Wil M. P. van der Aalst, R. J. B. Vanwersch: BPR Best Practices for the Healthcare Domain. Business Process Management Workshops 2009: 605-616
288		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
287		Joyce Nakatumba, Wil M. P. van der Aalst: Analyzing Resource Behavior Using Process Mining. Business Process Management Workshops 2009: 69-80
286		Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Workflow completion patterns. CASE 2009: 7-12
285		Wil M. P. van der Aalst: TomTom for Business Process Management (TomTom4BPM). CAiSE 2009: 2-5
284		Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE 2009: 425-439
283		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
282		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
281		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
280		Mykola Pechenizkiy, Nikola Trcka, Ekaterina Vasilyeva, Wil M. P. van der Aalst, Paul De Bra: Process Mining Online Assessment Data. EDM 2009: 279-288
279		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
278		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
277		R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst: Context Aware Trace Clustering: Towards Improving Process Mining Results. SDM 2009: 401-412
276		Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
275		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
274		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
273		Wil M. P. van der Aalst: Orchestration. Encyclopedia of Database Systems 2009: 2004-2005
272		Wil M. P. van der Aalst: Petri Nets. Encyclopedia of Database Systems 2009: 2103-2108
271		Wil M. P. van der Aalst: Process Mining. Encyclopedia of Database Systems 2009: 2171-2173
270		Wil M. P. van der Aalst: Business Process Execution Language. Encyclopedia of Database Systems 2009: 288-289
269		Wil M. P. van der Aalst: Business Process Management. Encyclopedia of Database Systems 2009: 289-293
268		Wil M. P. van der Aalst: Business Process Modeling Notation. Encyclopedia of Database Systems 2009: 293-294
267		Wil M. P. van der Aalst: Choreography. Encyclopedia of Database Systems 2009: 329
266		Wil M. P. van der Aalst: Workflow Model Analysis. Encyclopedia of Database Systems 2009: 3551
265		Wil M. P. van der Aalst: Workflow Patterns. Encyclopedia of Database Systems 2009: 3557-3558
264		Wil M. P. van der Aalst: Composition. Encyclopedia of Database Systems 2009: 420-421
263		Wil M. P. van der Aalst: Coordination. Encyclopedia of Database Systems 2009: 495-496
262		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)
261		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)
260		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)
259		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)
258		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)
257		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)
256		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)
255		Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst: Discovering simulation models. Inf. Syst. 34(3): 305-327 (2009)
254		Kristian Bisgaard Lassen, Wil M. P. van der Aalst: Complexity metrics for Workflow nets. Information & Software Technology 51(3): 610-626 (2009)
253		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)
252		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)
251		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)
250		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)
249		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)
248		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)
247		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)
246		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)
245		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)
244		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)
243		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)
	2008
242		Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington: Transactions on Petri Nets and Other Models of Concurrency I Springer 2008
241		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
240		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
239		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
238		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
237		Minseok Song, Christian W. Günther, Wil M. P. van der Aalst: Trace Clustering in Process Mining. Business Process Management Workshops 2008: 109-120
236		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
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
234		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
233		Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst: Product Based Workflow Support: Dynamic Workflow Execution. CAiSE 2008: 571-574
232		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
231		Nick Russell, Wil M. P. van der Aalst: Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. CAiSE 2008: 94-108
230		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
229		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
228		Ana Karla Alves de Medeiros, Wil M. P. van der Aalst, Carlos Pedrinaci: Semantic Process Mining Tools: Core Building Blocks. ECIS 2008: 1953-1964
227		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
226		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
225		Wil M. P. van der Aalst: Discovery, Verification and Conformance of Workflows with Cancellation. ICGT 2008: 18-37
224		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
223		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
222		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
221		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
220		Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers: Merging Event-Driven Process Chains. OTM Conferences (1) 2008: 418-426
219		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
218		Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers: Mining Reference Process Models and Their Configurations. OTM Workshops 2008: 263-272
217		Jan Mendling, Wil M. P. van der Aalst: Advanced Reduction Rules for the Verification of EPC Business Process Models. SIGSAND-EUROPE 2008: 129-
216		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
215		Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst: Soundness and Niceness as Correctness Criteria for Grid Workflows. eScience 2008: 55-62
214		Wil M. P. van der Aalst: Process-Aware Information Systems: Design, Enactment, and Analysis. Wiley Encyclopedia of Computer Science and Engineering 2008
213		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)
212		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)
211		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)
210		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)
209		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)
208		Minseok Song, Wil M. P. van der Aalst: Towards comprehensive support for organizational mining. Decision Support Systems 46(1): 300-317 (2008)
207		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)
206		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)
205		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)
204		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)
203		Anne Rozinat, Wil M. P. van der Aalst: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1): 64-95 (2008)
202		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)
201		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)
200		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)
199		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)
198		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)
197		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)
	2007
196		Wil M. P. van der Aalst, Christian W. Günther: Finding Structure in Unstructured Processes: The Case for Process Mining. ACSD 2007: 3-12
195		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
194		Christian W. Günther, Wil M. P. van der Aalst: Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. BPM 2007: 328-343
193		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
192		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
191		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
190		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
189		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
188		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
187		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
186		Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: DECLARE: Full Support for Loosely-Structured Processes. EDOC 2007: 287-300
185		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
184		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
183		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
182		Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183
181		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
180		Wil M. P. van der Aalst: Trends in business process analysis - from verification to process mining. ICEIS (1) 2007: 5-9
179		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
178		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
177		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
176		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
175		Wil M. P. van der Aalst: Challenges in Business Process Analysis. ICEIS (Selected Papers) 2007: 27-42
174		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
173		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
172		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
171		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
170		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
169		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
168		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
167		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
166		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
165		Wil M. P. van der Aalst: Exploring the CSCW spectrum using process mining. Advanced Engineering Informatics 21(2): 191-199 (2007)
164		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)
163		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)
162		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)
161		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)
160		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)
159		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)
158		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)
157		Carmen Bratosin, Wil M. P. van der Aalst: Workflow Management Systems for Grid Computing. ERCIM News 2007(70): (2007)
156		Michael Rosemann, Wil M. P. van der Aalst: A configurable reference modelling language. Inf. Syst. 32(1): 1-23 (2007)
155		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)
154		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)
153		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)
152		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)
151		Maja Pesic, Wil M. P. van der Aalst: Modelling work distribution mechanisms using Colored Petri Nets. STTT 9(3-4): 327-352 (2007)
150		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)
	2006
149		Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst: The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
148		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
147		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
146		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
145		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
144		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
143		Anne Rozinat, Wil M. P. van der Aalst: Decision Mining in ProM. Business Process Management 2006: 420-425
142		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
141		Maja Pesic, Wil M. P. van der Aalst: A Declarative Approach for Flexible Business Processes Management. Business Process Management Workshops 2006: 169-180
140		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
139		Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Workflow Exception Patterns. CAiSE 2006: 288-302
138		Jan Recker, Jan Mendling, Wil M. P. van der Aalst, Michael Rosemann: Model-Driven Enterprise Systems Configuration. CAiSE 2006: 369-383
137		Huixin Tan, Wil M. P. van der Aalst: Implementation of a YAWL Work-List Handler based on the Resource Patterns. CSCWD 2006: 1184-1189
136		Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Structural Patterns for Soundness of Business Process Models. EDOC 2006: 116-128
135		H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Interoperability in the ProM Framework. EMOI-INTEROP 2006
134		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
133		Jan Mendling, Wil M. P. van der Aalst: Towards EPC Semantics based on State and Context. EPK 2006: 25-48
132		Akhil Kumar, Wil M. P. van der Aalst: Managing Supply Chain Events to Build Sense-and-Respond Capability. ICIS 2006: 10
131		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
130		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
129		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
128		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
127		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
126		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
125		Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst: Generating correct EPCs from configured C-EPCs. SAC 2006: 1505-1510
124		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
123		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
122		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
121		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
120		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
119		Wil M. P. van der Aalst, Maja Pesic: DecSerFlow: Towards a Truly Declarative Service Flow Language. WS-FM 2006: 1-23
118		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)
117		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)
116		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)
115		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)
114		Uwe Zdun, Carsten Hentrich, Wil M. P. van der Aalst: A survey of patterns for Service-Oriented Architectures. IJIPT 1(3): 132-143 (2006)
	2005
113		Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera: Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings Business Process Management 2005
112		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
111		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
110		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
109		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
108		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
107		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
106		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
105		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
104		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
103		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
102		Wil M. P. van der Aalst: Process mining in CSCW systems. CSCWD (1) 2005: 1-8
101		Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst: Towards the Interchange of Configurable EPCs. EMISA 2005: 8-21
100		Boudewijn F. van Dongen, Wil M. P. van der Aalst: A Meta Model for Process Mining Data. EMOI-INTEROP 2005
99		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
98		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
97		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
96		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
95		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
94		Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters: Genetic Process Mining. ICATPN 2005: 48-69
93		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
92		Wil M. P. van der Aalst, H. T. de Beer, Boudewijn F. van Dongen: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. OTM Conferences (1) 2005: 130-147
91		Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen: Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. OTM Conferences (1) 2005: 22-39
90		Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: On the Notion of Coupling in Communication Middleware. OTM Conferences (2) 2005: 1015-1033
89		Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst: From Conceptual Process Models to Running Workflows: A Holistic Approach for the Configuration of Enterprise Systems. PACIS 2005: 30
88		Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst, Wasim Sadiq, Sana Khan: Model-Driven Process Configuration of Enterprise Systems. Wirtschaftsinformatik 2005: 687-706
87		Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Introduction. Process-Aware Information Systems 2005
86		Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Marlon Dumas: Patterns of Process Modeling. Process-Aware Information Systems 2005
85		Wil M. P. van der Aalst, A. J. M. M. Weijters: Process Mining. Process-Aware Information Systems 2005
84		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)
83		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)
82		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)
81		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)
80		Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: YAWL: yet another workflow language. Inf. Syst. 30(4): 245-275 (2005)
79		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)
	2004
78		Wil M. P. van der Aalst, Minseok Song: Mining Social Networks: Uncovering Interaction Patterns in Business Processes. Business Process Management 2004: 244-260
77		Wil M. P. van der Aalst, Lachlan Aldred, Marlon Dumas, Arthur H. M. ter Hofstede: Design and Implementation of the YAWL System. CAiSE 2004: 142-159
76		Wil M. P. van der Aalst: Business Alignment: Using Process Mining as a Tool for Delta Analysis. CAiSE Workshops (2) 2004: 138-145
75		Wil M. P. van der Aalst, Christoph Bussler, Avigdor Gal: PC Co-chairs' Message. CoopIS/DOA/ODBASE (1) 2004: 1
74		Boudewijn F. van Dongen, Wil M. P. van der Aalst: Multi-phase Process Mining: Building Instance Graphs. ER 2004: 362-376
73		Boudewijn F. van Dongen, Wil M. P. van der Aalst: EMiT: A Process Mining Tool. ICATPN 2004: 454-463
72		Ana Karla A. de Medeiros, Boudewijn F. van Dongen, Wil M. P. van der Aalst, A. J. M. M. Weijters: Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm. UMICS 2004: 151-165
71		Mathias Weske, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Advances in business process management. Data Knowl. Eng. 50(1): 1-8 (2004)
70		Wil M. P. van der Aalst, Ton Weijters, Laura Maruster: Workflow Mining: Discovering Process Models from Event Logs. IEEE Trans. Knowl. Data Eng. 16(9): 1128-1142 (2004)
69		Juliane Dehnert, Wil M. P. van der Aalst: Bridging The Gap Between Business Models And Workflow Specifications. Int. J. Cooperative Inf. Syst. 13(3): 289-332 (2004)
	2003
68		Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske: Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings Springer 2003
67		Wil M. P. van der Aalst, Eike Best: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings Springer 2003
66		Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske: Business Process Management: A Survey. Business Process Management 2003: 1-12
65		Ana Karla A. de Medeiros, Wil M. P. van der Aalst, A. J. M. M. Weijters: Workflow Mining: Current Status and Future Directions. CoopIS/DOA/ODBASE 2003: 389-406
64		Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Analysis of Web Services Composition Languages: The Case of BPEL4WS. ER 2003: 200-215
63		Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede: Web Service Composition Languages: Old Wine in New Bottles?. EUROMICRO 2003: 298-307
62		Wil M. P. van der Aalst: Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. Lectures on Concurrency and Petri Nets 2003: 1-65
61		Wil M. P. van der Aalst: Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. Petri Net Technology for Communication-Based Systems 2003: 383-408
60		Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Eric) Verbeek: Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC 2003: 603-608
59		Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: Fundamentals of control flow in workflows. Acta Inf. 39(3): 143-209 (2003)
58		Wil M. P. van der Aalst: Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. Bulletin of the EATCS 80: 174-199 (2003)
57		Wil M. P. van der Aalst, Boudewijn F. van Dongen, Joachim Herbst, Laura Maruster, Guido Schimm, A. J. M. M. Weijters: Workflow mining: A survey of issues and approaches. Data Knowl. Eng. 47(2): 237-267 (2003)
56		Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros: Workflow Patterns. Distributed and Parallel Databases 14(1): 5-51 (2003)
55		Steffen Staab, Wil M. P. van der Aalst, V. Richard Benjamins, Amit P. Sheth, John A. Miller, Christoph Bussler, Alexander Maedche, Dieter Fensel, Dennis Gannon: Web Services: Been There, Done That? IEEE Intelligent Systems 18(1): 72-85 (2003)
54		Wil M. P. van der Aalst, Akhil Kumar: XML - Based Schema Definition for Support of Interorganizational Workflow. Information Systems Research 14(1): 23-46 (2003)
53		Hajo A. Reijers, J. H. M. Rigter, Wil M. P. van der Aalst: The Case Handling Case. Int. J. Cooperative Inf. Syst. 12(3): 365-391 (2003)
52		Hajo A. Reijers, Selma Limam, Wil M. P. van der Aalst: Product- Based Workflow Design. J. of Management Information Systems 20(1): 229-262 (2003)
	2002
51		Wil M. P. van der Aalst, Kees M. van Hee: Workflow Management: Models, Methods, and Systems MIT Press 2002
50		Laura Maruster, Johan C. Wortmann, A. J. M. M. Weijters, Wil M. P. van der Aalst: Discovering Distributed Processes in Supply Chains. APMS 2002: 219-230
49		Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek: An Alternative Way to Analyze Workflow Graphs. CAiSE 2002: 535-552
48		Laura Maruster, A. J. M. M. Weijters, Wil M. P. van der Aalst, Antal van den Bosch: Process Mining: Discovering Direct Successors in Process Logs. Discovery Science 2002: 364-373
47		Wil M. P. van der Aalst, Boudewijn F. van Dongen: Discovering Workflow Performance Models from Timed Logs. EDCIS 2002: 45-63
46		Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler: On the semantics of EPCs: A vicious circle. EPK 2002: 71-79
45		Wil M. P. van der Aalst: Making Work Flow: On the Application of Petri Nets to Business Process Management. ICATPN 2002: 1-22
44		H. M. W. (Eric) Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES 2002: 93-108
43		Wil M. P. van der Aalst: Inheritance of Interorganizational Workflows to Enable Business-to-Business. Electronic Commerce Research 2(3): 195-231 (2002)
42		Akhil Kumar, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance. J. of Management Information Systems 18(3): 157-194 (2002)
41		Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn: Component-based software architectures: a framework based on inheritance of behavior. Sci. Comput. Program. 42(2-3): 129-171 (2002)
40		Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn: "Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. Sci. Comput. Program. 44(3): 343-344 (2002)
39		Wil M. P. van der Aalst, Twan Basten: Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1-2): 125-203 (2002)
	2001
38		Wil M. P. van der Aalst, Mathias Weske: The P2P Approach to Interorganizational Workflows. CAiSE 2001: 140-156
37		Wil M. P. van der Aalst, Hajo A. Reijers, Selma Limam: Product-driven Workflow Design. CSCWD 2001: 397-402
36		Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar: Verification of XRL: An XML-based Workflow Language. CSCWD 2001: 427-432
35		Twan Basten, Wil M. P. van der Aalst: Inheritance of Dynamic Behavior: Development of a Groupware Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 391-405
34		Wil M. P. van der Aalst, P. J. S. Berens: Beyond workflow management: product-driven case handling. GROUP 2001: 42-51
33		Wil M. P. van der Aalst, Twan Basten: Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001: 32-52
32		H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001)
31		Wil M. P. van der Aalst: How to handle dynamic change and capture management information? An approach based on generic workflow models. Comput. Syst. Sci. Eng. 16(5): 295-318 (2001)
30		Wil M. P. van der Aalst, Akhil Kumar: A reference model for team-enabled workflow management systems. Data Knowl. Eng. 38(3): 335-363 (2001)
29		Wil M. P. van der Aalst: Re-engineering knock-out processes. Decision Support Systems 30(4): 451-468 (2001)
28		Wil M. P. van der Aalst: Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Information Systems Frontiers 3(3): 297-317 (2001)
27		Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer: Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst. 10(4): 443-481 (2001)
26		Twan Basten, Wil M. P. van der Aalst: Inheritance of behavior. J. Log. Algebr. Program. 47(2): 47-145 (2001)
	2000
25		Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis: Business Process Management, Models, Techniques, and Empirical Studies Springer 2000
24		Wil M. P. van der Aalst: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. Business Process Management 2000: 161-183
23		Wil M. P. van der Aalst, Alistair P. Barros, Arthur H. M. ter Hofstede, Bartek Kiepuszewski: Advanced Workflow Patterns. CoopIS 2000: 18-29
22		Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer: Workflow Modeling Using Proclets. CoopIS 2000: 198-209
21		Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn: Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. ICATPN 2000: 455-464
20		H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000: 475-484
19		Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Verification Of Workflow Task Structures: A Petri-net-baset Approach. Inf. Syst. 25(1): 43-69 (2000)
18		Wil M. P. van der Aalst: Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries. Information & Management 37(2): 67-75 (2000)
	1999
17		Wil M. P. van der Aalst: Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information? CoopIS 1999: 115-126
16		Wil M. P. van der Aalst: Flexible Workflow Management Systems: An Approach Based on Generic Process Models. DEXA 1999: 186-195
15		Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve: Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360
14		Amit P. Sheth, Wil M. P. van der Aalst, Ismailcem Budak Arpinar: Processes Driving the Networked Economy. IEEE Concurrency 7(3): 18-31 (1999)
13		Ekkart Kindler, Wil M. P. van der Aalst: Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70(6): 269-27 (1999)
12		Wil M. P. van der Aalst: Formalization and verification of event-driven process chains. Information & Software Technology 41(10): 639-650 (1999)
	1998
11		Wil M. P. van der Aalst: Modeling and Analyzing Interorganizational Workflows. ACSD 1998: 262-272
10		Wil M. P. van der Aalst: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1): 21-66 (1998)
	1997
9		Marc Voorhoeve, Wil M. P. van der Aalst: Ad-hoc Workflow: Problems and Solutions. DEXA Workshop 1997: 36-40
8		Wil M. P. van der Aalst: Verification of Workflow Nets. ICATPN 1997: 407-426
7		Wil M. P. van der Aalst, Twan Basten: Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN 1997: 62-81
	1995
6		Wil M. P. van der Aalst, Kees M. van Hee: Framework for business process redesign. WETICE 1995: 36-45
5		Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst: Working group report on process [production process workflow in cooperative virtual enterprises]. WETICE 1995: 8-
4		Wil M. P. van der Aalst, Michiel A. Odijk: Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. Real-Time Systems 9(3): 241-263 (1995)
	1994
3		Wil M. P. van der Aalst: Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. Computer Performance Evaluation 1994: 425-444
	1993
2		Wil M. P. van der Aalst: Interval Timed Coloured Petri Nets and their Analysis. Application and Theory of Petri Nets 1993: 453-472
	1992
1		Wil M. P. van der Aalst: Modelling and Analysis of Complex Logistic Systems. Integration in Production Management Systems 1992: 277-292

Coauthor Index

1	Michael Adams	[103] [128] [169] [282] [292] [313] [317] [335]
2	Arya Adriansyah	[331] [357] [360] [371] [379]
3	Irina Ailenei	[370]
4	Lachlan Aldred	[77] [90] [171] [188] [260]
5	A. Alshareef	[326]
6	Birger Andersson	[232] [252]
7	Franco Arcieri	[371]
8	Ismailcem Budak Arpinar	[14]
9	Evandro Bacarin	[339]
10	Thomas Baier	[371]
11	Piet J. M. Bakker	[226] [235] [241] [244] [288] [300] [302] [303] [314] [373]
12	Paul Barborka	[134]
13	Alistair P. Barros	[23] [56]
14	Paulo Barthelmess	[22] [27]
15	Twan Basten	[7] [15] [26] [32] [33] [35] [39]
16	H. T. de Beer	[92]
17	Michael Beisiegel	[122]
18	Boualem Benatallah	[113] [162]
19	V. Richard Benjamins	[55]
20	P. J. S. Berens	[34]
21	Eike Best	[67]
22	Fábio de Lima Bezerra	[296]
23	Sami Bhiri	[126] [129]
24	Jonathan Billington	[242]
25	Tobias Blickle	[371]
26	Antal van den Bosch	[48] [117]
27	R. P. Jagadeesh Chandra Bose	[277] [290] [295] [332] [334] [362] [363] [364] [365] [366] [371] [372] [381]
28	Dragan Bosnacki	[320]
29	Paul De Bra	[280]
30	Peter van den Brand	[371]
31	Ronald Brandtjen	[371]
32	Carmen Bratosin	[157] [219] [222] [311] [324] [325] [355]
33	Stephan Breutel	[93] [150]
34	Aarnout Brombacher	[248]
35	Joos C. A. M. Buijs	[328] [368] [371]
36	Andrea Burattin	[371]
37	Christoph Bussler	[55] [75] [174]
38	Liliana Cabral	[168]
39	Francesco Cardi	[292]
40	Jorge Cardoso	[174] [234] [274]
41	Josep Carmona	[371]
42	Fabio Casati	[113] [162]
43	Malú Castellanos	[371]
44	Anna Cavallini	[224]
45	Federico Chesani	[299]
46	Mervin Chiang	[111]
47	Paolo Ciancarini	[5]
48	Jan Claes	[371]
49	Jonathan Cook	[371]
50	Henk Corporaal	[248] [275]
51	Nicola Costantini	[371]
52	Poul J. N. de Crom	[21]
53	R. A. Crooy	[221]
54	Francisco Curbera	[113] [162] [371]
55	Ernesto Damiani	[371]
56	Juliane Dehnert	[69]
57	Pavlos Delias	[371]
58	Jörg Desel	[25] [46]
59	Remco M. Dijkman	[326] [346]
60	John Domingue	[168]
61	Boudewijn F. van Dongen	[47] [57] [72] [73] [74] [92] [95] [100] [104] [134] [135] [136] [142] [155] [163] [173] [181] [184] [185] [193] [207] [211] [221] [239] [293] [301] [328] [331] [350] [357] [360] [368] [371] [375] [377] [379] [385]
62	Alexander Dreiling	[88] [89] [107] [111] [115] [209]
63	Huilong Duan	[309] [348]
64	Marlon Dumas	[63] [64] [77] [86] [87] [90] [93] [97] [99] [106] [112] [121] [131] [145] [150] [159] [188] [190] [191] [213] [227] [247] [260] [262] [308] [326] [346] [371]
65	Schahram Dustdar	[82] [371]
66	Albert Eckert	[370]
67	David Edmond	[96] [98] [103] [105] [128] [144] [169] [250] [253] [256]
68	Clarence A. Ellis	[22] [27]
69	Robert Engel	[359]
70	Dirk Fahland	[350] [371] [374] [375] [377]
71	Marie-Christine Fauvet	[326]
72	Dieter Fensel	[55]
73	Diogo R. Ferreira	[371]
74	Peter Fettke	[336] [349]
75	Colin J. Fidge	[190] [240] [259] [315]
76	Mathias Funk	[248] [275]
77	Walid Gaaloul	[126] [129] [371]
78	Avigdor Gal	[75]
79	Dennis Gannon	[55]
80	Luciano García-Bañuelos	[326] [346]
81	Frank van Geffen	[371]
82	Claude Godart	[126] [129]
83	Sukriti Goel	[371]
84	Florian Gottschalk	[107] [191] [195] [198] [201] [218] [220] [227] [283] [308]
85	Roy R. H. M. J. Goverde	[21]
86	María Adela Grando	[356] [369]
87	Gianluigi Greco	[193]
88	Dolf Grünbauer	[83]
89	Christian W. Günther	[127] [140] [147] [173] [181] [189] [194] [196] [216] [237] [257] [291] [293] [301] [371]
90	Antonella Guzzo	[193] [371]
91	Paul Harmon	[371]
92	Xudong He	[352]
93	Kees M. van Hee	[6] [21] [40] [41] [51] [122] [182] [206] [243] [278] [279] [306] [345] [347]
94	Lukas Helm	[134]
95	Carsten Hentrich	[114]
96	Joachim Herbst	[57]
97	Lutz Heuser	[115]
98	Jan Hidders	[106]
99	Alexander Hirnschall	[44] [49]
100	Thomas Hoffmann	[82]
101	Wout J. Hofman	[21]
102	Arthur H. M. ter Hofstede	[19] [23] [56] [59] [63] [64] [66] [68] [77] [80] [86] [87] [90] [93] [96] [97] [98] [99] [103] [105] [106] [112] [128] [131] [139] [144] [145] [148] [150] [164] [169] [188] [190] [227] [232] [238] [240] [243] [245] [247] [250] [252] [253] [256] [259] [260] [262] [282] [292] [304] [308] [313] [315] [317] [319] [335] [342] [343] [345] [371]
103	John Hoogland	[371]
104	Constantin Houy	[336] [349]
105	Biqing Huang	[249] [310]
106	Zhengxing Huang	[251] [309] [348]
107	Jon Espen Ingvaldsen	[371]
108	V. Juggy Jagannathan	[5]
109	Monique H. Jansen-Vullers	[107] [118] [163] [195] [198] [201] [218] [220] [283]
110	Monique W. M. Jaspers	[303] [314]
111	Kurt Jensen	[242] [298]
112	Jingxian Jian	[329]
113	Ivo S. M. de Jong	[257]
114	Jens Bæk Jørgensen	[91] [200] [244]
115	Evangelos Karapanos	[248]
116	Koki Kato	[371]
117	Sana Khan	[88]
118	Marwane El Kharbili	[223]
119	Bartek Kiepuszewski	[23] [56] [59]
120	Ekkart Kindler	[13] [46] [173] [301]
121	Mark Klein	[5]
122	Aylin Koca	[248]
123	Georg Köldorfer	[134]
124	Dieter König	[122]
125	Worarat Krathu	[359]
126	John Krogstie	[336] [349]
127	Rudolf Kuhn	[371]
128	Akhil Kumar	[30] [36] [42] [54] [60] [132] [158] [347] [371]
129	Kristian Bisgaard Lassen	[91] [130] [200] [202] [244] [254]
130	Giorgio Leonardi	[152] [224]
131	Massimiliano de Leoni	[238] [292] [350] [371] [375] [377] [385]
132	Frank Leymann	[124] [149]
133	Jiafei Li	[332]
134	Philipp Liegl	[281]
135	Rong Liu	[158]
136	Niels Lohmann	[167] [312] [333] [380]
137	Peter Loos	[336] [349]
138	Xudong Lu	[251] [309] [348]
139	B. Luka	[367]
140	Edmundo Roberto Mauro Madeira (Edmundo R. M. Madeira)	[339]
141	Alexander Maedche (Alexander Mädche)	[55]
142	Fabrizio Maria Maggi	[353] [361] [371] [376] [383]
143	Donato Malerba	[371]
144	R. S. Mans (Ronny Mans)	[181] [199] [224] [226] [229] [230] [235] [241] [244] [255] [258] [288] [289] [300] [302] [303] [314] [369] [371] [373]
145	Selma Limam Mansar (Selma Limam)	[37] [52] [176] [178]
146	Alberto Manuel	[371]
147	Jean-Bernard Martens	[248]
148	Laura Maruster	[48] [50] [57] [70] [117]
149	Peter Massuthe	[167] [278] [312]
150	Martin McCreesh	[371]
151	Ana Karla A. de Medeiros (Ana Karla Alves de Medeiros)	[65] [72] [81] [94] [95] [109] [146] [155] [161] [168] [181] [189] [193] [210] [223] [228] [275] [371]
152	Claudia Bauzer Medeiros	[339]
153	Paola Mello	[299] [371]
154	Jan Mendling	[101] [108] [125] [133] [134] [135] [136] [138] [142] [172] [183] [184] [185] [187] [207] [211] [217] [227] [234] [262] [305] [308] [326] [342] [343] [346] [371]
155	John A. Miller	[55]
156	Arnold J. Moleman	[244] [288] [300] [302] [303] [314] [373]
157	Marco Montali	[299] [353] [371] [376] [383]
158	Arjan J. Mooij	[276] [361]
159	Michael Moser	[142]
160	Michael zur Muehlen	[371]
161	Nataliya Mulyar	[153] [171] [192] [229] [230] [382]
162	Jorge Muñoz-Gama	[371]
163	Joyce Nakatumba	[287]
164	Mariska Netjes	[176] [178] [236] [289]
165	Gustaf Neumann	[134] [142] [172] [183] [211]
166	Hamid R. Motahari Nezhad	[371]
167	Hongchao Nie	[251]
168	Andriy Nikolov	[204]
169	Barry Norton	[168]
170	Andreas Oberweis	[25]
171	Michiel A. Odijk	[4]
172	Chun Ouyang	[93] [121] [131] [150] [213] [262]
173	Silvia Panzarasa	[152] [224]
174	Mykola Pechenizkiy	[280] [366]
175	Carlos Pedrinaci	[168] [228]
176	Mor Peleg	[153] [192] [382]
177	Hugo Seguel Pérez	[371]
178	Maja Pesic	[119] [120] [141] [151] [166] [170] [186] [192] [261] [282] [294] [299] [316] [318] [320] [330]
179	Christian Pichler	[359]
180	Luigi Pontieri	[371]
181	A. Johannes Pretorius	[197]
182	Piet van der Putten	[248] [275]
183	Silvana Quaglini	[152] [224]
184	Jan Recker	[101] [108] [125] [138] [147]
185	Manfred Reichert	[127] [147] [216]
186	Hajo A. Reijers	[21] [37] [52] [53] [84] [155] [176] [177] [178] [179] [212] [233] [234] [236] [289] [305] [321] [326] [340] [342] [343] [346] [386]
187	Wolfgang Reisig	[124] [149]
188	Joel Ribeiro	[371]
189	J. H. M. Rigter	[53]
190	Stefanie Rinderle-Ma (Stefanie Rinderle)	[127]
191	Marcello La Rosa	[191] [201] [227] [247] [283] [308] [326] [333] [342] [343] [346] [371] [380]
192	Michael Rosemann	[88] [89] [101] [107] [108] [111] [115] [118] [125] [138] [156] [159] [209]
193	Mohsen Rouached	[126] [129]
194	Kamel Rouibah	[154]
195	Samia Rouibah	[154]
196	Anne Rozinat	[110] [121] [143] [168] [181] [189] [199] [203] [213] [240] [248] [255] [257] [259] [275] [291] [293] [315] [370] [371]
197	Vladimir Rubin	[173] [181] [301]
198	Nick Russell (Nick C. Russell)	[97] [98] [99] [105] [139] [145] [148] [229] [230] [231] [232] [235] [244] [245] [252] [258] [281] [288] [300] [302] [303] [313] [314] [317] [335] [373]
199	Domenico Saccà	[193]
200	M. Sadegh	[326]
201	Wasim Sadiq	[88] [209]
202	Kurt Sandkuhl	[174]
203	Wilhelm Schäfer	[173]
204	Guido Schimm	[57]
205	Helen Schonenberg (M. H. Schonenberg)	[170] [186] [224] [226] [229] [230] [239] [241] [261] [279] [282] [294] [316] [318] [329] [341] [356]
206	Karsten Schulz	[115]
207	Dennis M. M. Schunselaar	[386]
208	Ricardo Seguel (Ricardo Seguel Pérez)	[371]
209	Marcos Sepúlveda	[371]
210	Alexander Serebrenik	[182] [206]
211	Amit P. Sheth	[14] [55] [174]
212	Natalia Sidorova	[170] [182] [206] [215] [219] [222] [243] [278] [279] [284] [286] [311] [324] [325] [329] [345] [355]
213	Jim Sinur	[371]
214	Pnina Soffer	[371]
215	Minseok Song	[78] [84] [155] [168] [181] [199] [208] [226] [237] [241] [255] [330] [341] [371]
216	Alessandro Sperduti	[371]
217	Steffen Staab	[55]
218	Christian Stahl	[122] [167] [276] [312]
219	Mario Stefanelli	[152]
220	Sebastian Stein	[223]
221	Giovanni Stilo	[371]
222	Casper Stoel	[371]
223	Sergio Storari	[299]
224	Jia-Guang Sun (Jiaguang Sun)	[160] [249] [310] [337]
225	Keith D. Swenson	[371]
226	Maurizio Talamo	[371]
227	Huixin Tan	[137]
228	Wei Tan	[371]
229	Satish R. Thatte	[124] [149]
230	Robert A. van der Toorn	[21] [40] [41]
231	Nikola Trcka	[215] [219] [222] [280] [284] [286] [311]
232	Chris Turner	[371]
233	Irene T. P. Vanderfeesten	[177] [179] [212] [233] [234] [321] [340]
234	Jan Vanthienen	[371]
235	R. J. B. Vanwersch	[289]
236	George Varvaressos	[371]
237	Ekaterina Vasilyeva	[280]
238	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[15] [20] [32] [36] [42] [44] [49] [60] [71] [93] [95] [99] [104] [121] [134] [135] [142] [150] [155] [162] [163] [164] [181] [197] [198] [205] [211] [213] [243] [253] [256] [293] [301] [304] [328] [345] [362] [364] [367] [371] [386]
239	Marc Verdonk	[306] [347] [371]
240	Jan Verelst	[106]
241	Peter A. C. Verkoulen	[15]
242	Roberto Vigo	[371]
243	Jan Vogelaar	[321] [367]
244	Marc Voorhoeve	[9] [15] [243] [345]
245	Teun A. C. Wagemakers	[283]
246	Jacques Wainer	[22] [27] [296]
247	Jianmin Wang	[160] [249] [310] [337] [371]
248	Barbara Weber	[239] [371]
249	Matthias Weidlich	[371]
250	A. J. M. M. Weijters (Ton Weijters)	[48] [50] [57] [65] [70] [72] [85] [94] [95] [109] [117] [146] [155] [161] [181] [189] [193] [210] [248] [293] [371]
251	Lijie Wen	[160] [249] [310] [337] [371]
252	Jan Martijn E. M. van der Werf	[278] [306] [347]
253	Hannes Werthner	[281] [359]
254	Mathias Weske	[38] [66] [68] [71] [83]
255	Michael Westergaard	[353] [371] [376]
256	Jarke J. van Wijk (Jack van Wijk)	[197]
257	Petia Wohed (Petia Assenova)	[64] [97] [99] [145] [148] [232] [252] [342] [343]
258	Karsten Wolf (Karsten Schmidt)	[167] [276] [312]
259	Hans Wortmann (Johan C. Wortmann)	[50]
260	Moe Thandar Wynn	[96] [144] [190] [240] [243] [250] [253] [256] [259] [304] [315] [319] [345] [371]
261	Jingxin Xu	[333]
262	Marco Zapletal	[281] [359]
263	Uwe Zdun	[114]
264	Reng Zeng	[352]
265	Haiping Zha	[337]
266	Jinyan Zhang	[251]
267	Indre Zliobaite	[366]