Wil M. P. van der Aalst

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
Recent News
Business process management: Where business processes and web services meet cited 4 times - details
Processes Driving the Networked Economy cited 1 time - details
Web Services: Been There, Done That? cited 2 times - details
Case handling: a new paradigm for business process support cited 3 times - details
Business Process Management: A Survey cited 9 times - details
News Archive
2009
246From business process models to process-oriented software systems. Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling. ACM Trans. Softw. Eng. Methodol. (19) (2009). Web SearchBibTeXDownload
245Using Process Mining to Generate Accurate and Interactive Business Process Maps. Wil M. P. van der Aalst. BIS (Workshops) 2009, 1-14. Web SearchBibTeXDownload
244Abstractions in Process Mining: A Taxonomy of Patterns. R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst. BPM 2009, 159-175. Web SearchBibTeXDownload
243Configurable Process Models: Experiences from a Municipality Case Study. Florian Gottschalk, Teun A. C. Wagemakers, Monique H. Jansen-Vullers, Wil M. P. van der Aalst, Marcello La Rosa. CAiSE 2009, 486-500. Web SearchBibTeXDownload
242Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova. CAiSE 2009, 425-439. Web SearchBibTeXDownload
241TomTom for Business Process Management (TomTom4BPM). Wil M. P. van der Aalst. CAiSE 2009, 2-5. Web SearchBibTeXDownload
240Declarative workflows: Balancing between flexibility and support. Wil M. P. van der Aalst, Maja Pesic, Helen Schonenberg. Computer Science - R&D (23): 99-113 (2009). Web SearchBibTeXDownload
239Flexibility as a Service. Wil M. P. van der Aalst, Michael Adams, Arthur H. M. ter Hofstede, Maja Pesic, Helen Schonenberg. DASFAA Workshops 2009, 319-333. Web SearchBibTeXDownload
238Workflow simulation for operational decision support. Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge. Data Knowl. Eng. (68): 834-850 (2009). Web SearchBibTeXDownload
237Petri Nets. Wil M. P. van der Aalst. Encyclopedia of Database Systems 2009, 2103-2108. Web SearchBibTeXDownload
236Workflow Model Analysis. Wil M. P. van der Aalst. Encyclopedia of Database Systems 2009, 3551. Web SearchBibTeXDownload
235Business Process Management. Wil M. P. van der Aalst. Encyclopedia of Database Systems 2009, 289-293. Web SearchBibTeXDownload
234Process Mining. Wil M. P. van der Aalst, Manfred Reichert. Encyclopedia of Database Systems 2009, 2171-2173. Web SearchBibTeXDownload
233Workflow Patterns. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros. Encyclopedia of Database Systems 2009, 3557-3558. Web SearchBibTeXDownload
232Business Process Execution Language. Wil M. P. van der Aalst. Encyclopedia of Database Systems 2009, 288-289. Web SearchBibTeXDownload
231Business Process Modeling Notation. Wil M. P. van der Aalst. Encyclopedia of Database Systems 2009, 293-294. Web SearchBibTeXDownload
230Soundness-preserving reduction rules for reset workflow nets. Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Inf. Sci. (179): 769-790 (2009). Web SearchBibTeXDownload
229Discovering simulation models. Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst. Inf. Syst. (34): 305-327 (2009). Web SearchBibTeXDownload
228Synchronization and Cancelation in Workflows Based on Reset Nets. Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Int. J. Cooperative Inf. Syst. (18): 63-114 (2009). Web SearchBibTeXDownload
227A novel approach for process mining based on event types. Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun. J. Intell. Inf. Syst. (32): 163-190 (2009). Web SearchBibTeXDownload
226Compositional Service Trees. Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf. Petri Nets 2009, 283-302. Web SearchBibTeXDownload
225Soft reliability: an interdisciplinary approach with a user-system focus. 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. Quality and Reliability Eng. Int. (25): 3-20 (2009). Web SearchBibTeXDownload
224Context Aware Trace Clustering: Towards Improving Process Mining Results. R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst. SDM 2009, 401-412. Web SearchBibTeXDownload
223Service Interaction: Patterns, Formalization, and Analysis. Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf. SFM 2009, 42-88. Web SearchBibTeXDownload
222Questionnaire-based variability modeling for system configuration. Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. Software and System Modeling (8): 251-274 (2009). Web SearchBibTeXDownload
221Designing a Workflow System Using Coloured Petri Nets. Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. T. Petri Nets and Other Models of Concurrency (3): 1-24 (2009). Web SearchBibTeXDownload
220Soundness of Workflow Nets with Reset Arcs. 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. T. Petri Nets and Other Models of Concurrency (3): 50-70 (2009). Web SearchBibTeXDownload
219From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. 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. T. Petri Nets and Other Models of Concurrency (3): 25-49 (2009). Web SearchBibTeXDownload
218Process-Aware Information Systems: Lessons to Be Learned from Process Mining. Wil M. P. van der Aalst. T. Petri Nets and Other Models of Concurrency (2): 1-26 (2009). Web SearchBibTeXDownload
217Improving Product Usage Monitoring and Analysis with Semantic Concepts. Mathias Funk, Anne Rozinat, Ana Karla Alves de Medeiros, Piet van der Putten, Henk Corporaal, Wil M. P. van der Aalst. UNISCON 2009, 190-201. Web SearchBibTeXDownload
2008
216Conformance checking of service behavior. Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek. ACM Trans. Internet Techn. (8) (2008). Web SearchBibTeXDownload
215Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital. R. S. Mans, Helen Schonenberg, Minseok Song, Wil M. P. van der Aalst, Piet J. M. Bakker. BIOSTEC (Selected Papers) 2008, 425-438. Web SearchBibTeXDownload
214Visual Support for Work Assignment in Process-Aware Information Systems. Massimiliano de Leoni, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. BPM 2008, 67-83. Web SearchBibTeXDownload
213Supporting Flexible Processes through Recommendations Based on History. Helen Schonenberg, Barbara Weber, Boudewijn F. van Dongen, Wil M. P. van der Aalst. BPM 2008, 51-66. Web SearchBibTeXDownload
212Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge. BPM 2008, 196-211. Web SearchBibTeXDownload
211Trace Clustering in Process Mining. Minseok Song, Christian W. Günther, Wil M. P. van der Aalst. Business Process Management Workshops 2008, 109-120. Web SearchBibTeXDownload
210On the Formal Generation of Process Redesigns. Mariska Netjes, Hajo A. Reijers, Wil M. P. van der Aalst. Business Process Management Workshops 2008, 224-235. Web SearchBibTeXDownload
209Flexibility Schemes for Workflow Management Systems. R. S. Mans, Wil M. P. van der Aalst, Nick Russell, Piet J. M. Bakker. Business Process Management Workshops 2008, 361-372. Web SearchBibTeXDownload
208On a Quest for Good Process Models: The Cross-Connectivity Metric. Irene T. P. Vanderfeesten, Hajo A. Reijers, Jan Mendling, Wil M. P. van der Aalst, Jorge Cardoso. CAiSE 2008, 480-494. Web SearchBibTeXDownload
207Open Source Workflow: A Viable Direction for BPM?. Petia Wohed, Nick Russell, Arthur H. M. ter Hofstede, Birger Andersson, Wil M. P. van der Aalst. CAiSE 2008, 583-586. Web SearchBibTeXDownload
206Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. Nick Russell, Wil M. P. van der Aalst. CAiSE 2008, 94-108. Web SearchBibTeXDownload
205Product Based Workflow Support: Dynamic Workflow Execution. Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst. CAiSE 2008, 571-574. Web SearchBibTeXDownload
204Towards a Taxonomy of Process Flexibility. Helen Schonenberg, Ronny Mans, Nick Russell, Nataliya Mulyar, Wil M. P. van der Aalst. CAiSE Forum 2008, 81-84. Web SearchBibTeXDownload
203Process Flexibility: A Survey of Contemporary Approaches. Helen Schonenberg, Ronny Mans, Nick Russell, Nataliya Mulyar, Wil M. P. van der Aalst. CIAO! / EOMAS 2008, 16-30. Web SearchBibTeXDownload
202Evaluating workflow process designs using cohesion and coupling metrics. Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst. Computers in Industry (59): 420-437 (2008). Web SearchBibTeXDownload
201Quantifying process equivalence based on observed behavior. Ana Karla Alves de Medeiros, Wil M. P. van der Aalst, A. J. M. M. Weijters. Data Knowl. Eng. (64): 55-74 (2008). Web SearchBibTeXDownload
200Detection and prediction of errors in EPCs of the SAP reference model. Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann. Data Knowl. Eng. (64): 312-329 (2008). Web SearchBibTeXDownload
199From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes. Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst, Wasim Sadiq. Decision Support Systems (45): 189-207 (2008). Web SearchBibTeXDownload
198Towards comprehensive support for organizational mining. Minseok Song, Wil M. P. van der Aalst. Decision Support Systems (46): 300-317 (2008). Web SearchBibTeXDownload
197Getting rid of OR-joins and multiple start events in business process models. Jan Mendling, Boudewijn F. van Dongen, Wil M. P. van der Aalst. Enterprise IS (2): 403-419 (2008). Web SearchBibTeXDownload
196Correctness-Preserving Configuration of Business Process Models. Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling. FASE 2008, 46-61. Web SearchBibTeXDownload
195Working with the Past: Integrating History in Petri Nets. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst. Fundam. Inform. (88): 387-409 (2008). Web SearchBibTeXDownload
194Process Mining in Healthcare - A Case Study. R. S. Mans, M. H. Schonenberg, Minseok Song, Wil M. P. van der Aalst, Piet J. M. Bakker. HEALTHINF (1) 2008, 118-125. Web SearchBibTeX
193Discovery, Verification and Conformance of Workflows with Cancellation. Wil M. P. van der Aalst. ICGT 2008, 18-37. Web SearchBibTeXDownload
192Process Mining in Web Services: The WebSphere Case. Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek. IEEE Data Eng. Bull. (31): 45-48 (2008). Web SearchBibTeXDownload
191Translating unstructured workflow processes to readable BPEL: Theory and implementation. Wil M. P. van der Aalst, Kristian Bisgaard Lassen. Information & Software Technology (50): 131-159 (2008). Web SearchBibTeXDownload
190Conformance checking of processes based on monitoring real behavior. Anne Rozinat, Wil M. P. van der Aalst. Inf. Syst. (33): 64-95 (2008). Web SearchBibTeXDownload
189Configurable Workflow Models. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, Marcello La Rosa. Int. J. Cooperative Inf. Syst. (17): 177-221 (2008). Web SearchBibTeXDownload
188Process Mining Techniques: an Application to Stroke Care. Ronny Mans, Helen Schonenberg, Giorgio Leonardi, Silvia Panzarasa, Anna Cavallini, Silvana Quaglini, Wil M. P. van der Aalst. MIE 2008, 573-578. Web SearchBibTeXDownload
187Business Process Compliance Checking: Current State and Future Challenges. Marwane El Kharbili, Ana Karla A. de Medeiros, Sebastian Stein, Wil M. P. van der Aalst. MobIS 2008, 107-113. Web SearchBibTeX
186Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova. OPODIS 2008, 538-541. Web SearchBibTeXDownload
185Merging Event-Driven Process Chains. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers. OTM Conferences (1) 2008, 418-426. Web SearchBibTeXDownload
184Cycle Time Prediction: When Will This Case Finally Be Finished?. Boudewijn F. van Dongen, R. A. Crooy, Wil M. P. van der Aalst. OTM Conferences (1) 2008, 319-336. Web SearchBibTeXDownload
183A Reference Model for Grid Architectures and Its Analysis. Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka. OTM Conferences (1) 2008, 898-913. Web SearchBibTeXDownload
182Mining Reference Process Models and Their Configurations. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers. OTM Workshops 2008, 263-272. Web SearchBibTeXDownload
181Advanced Reduction Rules for the Verification of EPC Business Process Models. Jan Mendling, Wil M. P. van der Aalst. SIGSAND-EUROPE 2008, 129. Web SearchBibTeX
180From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst. STTT (10): 15-28 (2008). Web SearchBibTeXDownload
179Discovering colored Petri nets from event logs. Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst. STTT (10): 57-74 (2008). Web SearchBibTeXDownload
178Protos2CPN: using colored Petri nets for configuring and testing business processes. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek. STTT (10): 95-110 (2008). Web SearchBibTeXDownload
177Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk. T. Petri Nets and Other Models of Concurrency (1): 152-171 (2008). Web SearchBibTeXDownload
176Supporting Flexible Processes with Adaptive Workflow and Case Handling. Christian W. Günther, Manfred Reichert, Wil M. P. van der Aalst. WETICE 2008, 229-234. Web SearchBibTeXDownload
175Process-Aware Information Systems: Design, Enactment, and Analysis. Wil M. P. van der Aalst. Wiley Encyclopedia of Computer Science and Engineering 2008. Web SearchBibTeXDownload
2007
174Finding Structure in Unstructured Processes: The Case for Process Mining. Wil M. P. van der Aalst, Christian W. Günther. ACSD 2007, 3-12. Web SearchBibTeXDownload
173Exploring the CSCW spectrum using process mining. Wil M. P. van der Aalst. Advanced Engineering Informatics (21): 191-199 (2007). Web SearchBibTeXDownload
172Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. Christian W. Günther, Wil M. P. van der Aalst. BPM 2007, 328-343. Web SearchBibTeXDownload
171SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers. BPM 2007, 262-270. Web SearchBibTeXDownload
170Process Mining Based on Clustering: A Quest for Precision. 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à. Business Process Management Workshops 2007, 17-29. Web SearchBibTeXDownload
169The Need for a Process Mining Evaluation Framework in Research and Practice. Anne Rozinat, Ana Karla Alves de Medeiros, Christian W. Günther, A. J. M. M. Weijters, Wil M. P. van der Aalst. Business Process Management Workshops 2007, 84-89. Web SearchBibTeXDownload
168Linking Domain Models and Process Models for Reference Model Configuration. Marcello La Rosa, Florian Gottschalk, Marlon Dumas, Wil M. P. van der Aalst. Business Process Management Workshops 2007, 417-430. Web SearchBibTeXDownload
167Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. Nataliya Mulyar, Maja Pesic, Wil M. P. van der Aalst, Mor Peleg. Business Process Management Workshops 2007, 335-346. Web SearchBibTeXDownload
166Business Process Simulation for Operational Decision Support. Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. Business Process Management Workshops 2007, 66-77. Web SearchBibTeXDownload
165Formalization and Verification of EPCs with OR-Joins Based on State and Context. Jan Mendling, Wil M. P. van der Aalst. CAiSE 2007, 439-453. Web SearchBibTeXDownload
164Communication Abstractions for Distributed Business Processes. Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. CAiSE 2007, 409-423. Web SearchBibTeXDownload
163Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst. Computers in Industry (58): 578-601 (2007). Web SearchBibTeXDownload
162Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Comput. J. (50): 294-314 (2007). Web SearchBibTeXDownload
161Business process management: Where business processes and web services meet. Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek. Data Knowl. Eng. (61): 1-5 (2007). Web SearchBibTeXDownload
160Mining process models with non-free-choice constructs. Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, Jiaguang Sun. Data Min. Knowl. Discov. (15): 145-180 (2007). Web SearchBibTeXDownload
159Genetic process mining: an experimental evaluation. Ana Karla A. de Medeiros, A. J. M. M. Weijters, Wil M. P. van der Aalst. Data Min. Knowl. Discov. (14): 245-304 (2007). Web SearchBibTeXDownload
158Deadline-based escalation in process-aware information systems. Wil M. P. van der Aalst, Michael Rosemann, Marlon Dumas. Decision Support Systems (43): 492-511 (2007). Web SearchBibTeXDownload
157A formal modeling approach for supply chain event management. Rong Liu, Akhil Kumar, Wil M. P. van der Aalst. Decision Support Systems (43): 761-778 (2007). Web SearchBibTeXDownload
156Getting Rid of the OR-Join in Business Process Models. Jan Mendling, Boudewijn F. van Dongen, Wil M. P. van der Aalst. EDOC 2007, 3-14. Web SearchBibTeXDownload
155DECLARE: Full Support for Loosely-Structured Processes. Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst. EDOC 2007, 287-300. Web SearchBibTeXDownload
154On the Degree of Behavioral Similarity between Business Process Models. Jan Mendling, Boudewijn F. van Dongen, Wil M. P. van der Aalst. EPK 2007, 39-58. Web SearchBibTeXDownload
153On the Correlation between Process Model Metrics and Errors. Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007, 173-178. Web SearchBibTeXDownload
152History-Dependent Petri Nets. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst. ICATPN 2007, 164-183. Web SearchBibTeXDownload
151ProM 4.0: Comprehensive Support for Real Process Analysis. 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. ICATPN 2007, 484-494. Web SearchBibTeXDownload
150Trends in business process analysis - from verification to process mining. Wil M. P. van der Aalst. ICEIS (1) 2007, 5-9. Web SearchBibTeX
149An Evaluation of Case Handling Systems for Product Based Workflow Design. Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst. ICEIS (3) 2007, 39-46. Web SearchBibTeX
148An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System. Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst. ICEIS (3) 2007, 47-54. Web SearchBibTeX
147Case Handling Systems as Product Based Workflow Design Support. Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst. ICEIS (Selected Papers) 2007, 187-198. Web SearchBibTeXDownload
146Performing Business Process Redesign with Best Practices: An Evolutionary Approach. Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst. ICEIS (Selected Papers) 2007, 199-211. Web SearchBibTeXDownload
145Challenges in Business Process Analysis. Wil M. P. van der Aalst. ICEIS (Selected Papers) 2007, 27-42. Web SearchBibTeXDownload
144Inter-enterprise System and Application Integration: A Reality Check. Jorge Cardoso, Wil M. P. van der Aalst, Christoph Bussler, Amit P. Sheth, Kurt Sandkuhl. ICEIS (Selected Papers) 2007, 3-15. Web SearchBibTeXDownload
143Process Mining Framework for Software Processes. Vladimir Rubin, Christian W. Günther, Wil M. P. van der Aalst, Ekkart Kindler, Boudewijn F. van Dongen, Wilhelm Schäfer. ICSP 2007, 169-181. Web SearchBibTeXDownload
142A configurable reference modelling language. Michael Rosemann, Wil M. P. van der Aalst. Inf. Syst. (32): 1-23 (2007). Web SearchBibTeXDownload
141Business process mining: An industrial application. 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. Inf. Syst. (32): 713-732 (2007). Web SearchBibTeXDownload
140Combining workflow and PDM based on the workflow management coalition and STEP standards: the case of axalant. K. Rouibah, S. Rouibah, Wil M. P. van der Aalst. Int. J. Computer Integrated Manufacturing (20): 811-827 (2007). Web SearchBibTeXDownload
139Interacting agents through a web-based health serviceflow management system. Giorgio Leonardi, Silvia Panzarasa, Silvana Quaglini, Mario Stefanelli, Wil M. P. van der Aalst. Journal of Biomedical Informatics (40): 486-499 (2007). Web SearchBibTeXDownload
138Constraint-Based Workflow Models: Change Made Easy. Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst. OTM Conferences (1) 2007, 77-94. Web SearchBibTeXDownload
137The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. Nataliya Mulyar, Lachlan Aldred, Wil M. P. van der Aalst. OTM Conferences (1) 2007, 735-753. Web SearchBibTeXDownload
136Dynamic, Extensible and Context-Aware Exception Handling for Workflows. Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond. OTM Conferences (1) 2007, 95-112. Web SearchBibTeXDownload
135Understanding the Occurrence of Errors in Process Models Based on Metrics. Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst. OTM Conferences (1) 2007, 113-130. Web SearchBibTeXDownload
134An Outlook on Semantic Business Process Mining and Monitoring. Ana Karla Alves de Medeiros, Carlos Pedrinaci, Wil M. P. van der Aalst, John Domingue, Minseok Song, Anne Rozinat, Barry Norton, Liliana Cabral. OTM Workshops (2) 2007, 1244-1255. Web SearchBibTeXDownload
133Formal semantics and analysis of control flow in WS-BPEL. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. Sci. Comput. Program. (67): 162-198 (2007). Web SearchBibTeXDownload
132Modelling work distribution mechanisms using Colored Petri Nets. Maja Pesic, Wil M. P. van der Aalst. STTT (9): 327-352 (2007). Web SearchBibTeXDownload
131Specifying and Monitoring Service Flows: Making Web Services Process-Aware. Wil M. P. van der Aalst, Maja Pesic. Test and Analysis of Web Services 2007, 11-55. Web SearchBibTeXDownload
130From Public Views to Private Views - Correctness-by-Design for Services. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. WS-FM 2007, 139-153. Web SearchBibTeXDownload
2006
129On the suitability of UML 2.0 activity diagrams for business process modelling. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Petia Wohed. APCCM 2006, 95-104. Web SearchBibTeXDownload
128Using Process Mining to Analyze and Improve Process Flexibility. Wil M. P. van der Aalst, Christian W. Günther, Jan Recker, Manfred Reichert. BPMDS 2006. Web SearchBibTeXDownload
127Decision Mining in ProM. Anne Rozinat, Wil M. P. van der Aalst. Business Process Management 2006, 420-425. Web SearchBibTeXDownload
126Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Business Process Management 2006, 389-394. Web SearchBibTeXDownload
125Process Equivalence: Comparing Two Process Models Based on Observed Behavior. Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters. Business Process Management 2006, 129-144. Web SearchBibTeXDownload
124Faulty EPCs in the SAP Reference Model. Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst. Business Process Management 2006, 451-457. Web SearchBibTeXDownload
123On the Suitability of BPMN for Business Process Modelling. Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell. Business Process Management 2006, 161-176. Web SearchBibTeXDownload
122A Generic Import Framework for Process Event Logs. Christian W. Günther, Wil M. P. van der Aalst. Business Process Management Workshops 2006, 81-92. Web SearchBibTeXDownload
121A Declarative Approach for Flexible Business Processes Management. Maja Pesic, Wil M. P. van der Aalst. Business Process Management Workshops 2006, 169-180. Web SearchBibTeXDownload
120Model-Driven Enterprise Systems Configuration. Jan Recker, Jan Mendling, Wil M. P. van der Aalst, Michael Rosemann. CAiSE 2006, 369-383. Web SearchBibTeXDownload
119Workflow Exception Patterns. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. CAiSE 2006, 288-302. Web SearchBibTeXDownload
118Implementation of a YAWL Work-List Handler based on the Resource Patterns. Huixin Tan, Wil M. P. van der Aalst. CSCWD 2006, 1184-1189. Web SearchBibTeXDownload
117Mining configurable enterprise information systems. Monique H. Jansen-Vullers, Wil M. P. van der Aalst, Michael Rosemann. Data Knowl. Eng. (56): 195-244 (2006). Web SearchBibTeXDownload
116A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs. Laura Maruster, A. J. M. M. Weijters, Wil M. P. van der Aalst, Antal van den Bosch. Data Min. Knowl. Discov. (13): 67-87 (2006). Web SearchBibTeXDownload
115Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming. Wil M. P. van der Aalst. Decision Support Systems (42): 1843-1859 (2006). Web SearchBibTeXDownload
114Structural Patterns for Soundness of Business Process Models. Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst. EDOC 2006, 116-128. Web SearchBibTeXDownload
113Interoperability in the ProM Framework. H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst. EMOI-INTEROP 2006. Web SearchBibTeXDownload
112Integration of EPC-related Tools with ProM. Paul Barborka, Lukas Helm, Georg Köldorfer, Jan Mendling, Gustaf Neumann, Boudewijn F. van Dongen, Eric Verbeek, Wil M. P. van der Aalst. EPK 2006, 105-120. Web SearchBibTeXDownload
111Towards EPC Semantics based on State and Context. Jan Mendling, Wil M. P. van der Aalst. EPK 2006, 25-48. Web SearchBibTeXDownload
110From BPMN Process Models to BPEL Web Services. Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. ICWS 2006, 285-292. Web SearchBibTeXDownload
109A survey of patterns for Service-Oriented Architectures. Uwe Zdun, Carsten Hentrich, Wil M. P. van der Aalst. IJIPT (1): 132-143 (2006). Web SearchBibTeXDownload
108Change Mining in Adaptive Process Management Systems. Christian W. Günther, Stefanie Rinderle, Manfred Reichert, Wil M. P. van der Aalst. OTM Conferences (1) 2006, 309-326. Web SearchBibTeXDownload
107WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. Kristian Bisgaard Lassen, Wil M. P. van der Aalst. OTM Conferences (1) 2006, 127-144. Web SearchBibTeXDownload
106Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart. OTM Conferences (1) 2006, 408-425. Web SearchBibTeXDownload
105Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst. OTM Conferences (1) 2006, 291-308. Web SearchBibTeXDownload
104Generating correct EPCs from configured C-EPCs. Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst. SAC 2006, 1505-1510. Web SearchBibTeXDownload
103Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
10206291 Workshop Report: Process Mining, Monitoring Processes and Services. Wil M. P. van der Aalst. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
101A SOA-Based Architecture Framework. Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
10006291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
99DecSerFlow: Towards a Truly Declarative Service Flow Language. Wil M. P. van der Aalst, Maja Pesic. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
2005
98On the Syntax of Reference Model Configuration - Transforming the C-EPC into Lawful EPC Models. Jan Recker, Michael Rosemann, Wil M. P. van der Aalst, Jan Mendling. Business Process Management Workshops 2005, 497-511. Web SearchBibTeXDownload
97Genetic Process Mining: A Basic Approach and Its Challenges. Ana Karla A. de Medeiros, A. J. M. M. Weijters, Wil M. P. van der Aalst. Business Process Management Workshops 2005, 203-215. Web SearchBibTeXDownload
96Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. Anne Rozinat, Wil M. P. van der Aalst. Business Process Management Workshops 2005, 163-176. Web SearchBibTeXDownload
95Configurable Process Models as a Basis for Reference Modeling. Wil M. P. van der Aalst, Alexander Dreiling, Florian Gottschalk, Michael Rosemann, Monique H. Jansen-Vullers. Business Process Management Workshops 2005, 512-518. Web SearchBibTeXDownload
94Verification of EPCs: Using Reduction Rules and Petri Nets. Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek. CAiSE 2005, 372-386. Web SearchBibTeXDownload
93Workflow Resource Patterns: Identification, Representation and Tool Support. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. CAiSE 2005, 216-232. Web SearchBibTeXDownload
92Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets. Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst. CAiSE Short Paper Proceedings 2005. Web SearchBibTeXDownload
91When are two Workflows the Same?. Jan Hidders, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Verelst. CATS 2005, 3-11. Web SearchBibTeXDownload
90Discovering Social Networks from Event Logs. Wil M. P. van der Aalst, Hajo A. Reijers, Minseok Song. Computer Supported Cooperative Work (14): 549-593 (2005). Web SearchBibTeXDownload
89Mining of ad-hoc business processes with TeamLog. Schahram Dustdar, Thomas Hoffmann, Wil M. P. van der Aalst. Data Knowl. Eng. (55): 129-158 (2005). Web SearchBibTeXDownload
88Case handling: a new paradigm for business process support. Wil M. P. van der Aalst, Mathias Weske, Dolf Grünbauer. Data Knowl. Eng. (53): 129-162 (2005). Web SearchBibTeXDownload
87Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Wil M. P. van der Aalst, Ana Karla A. de Medeiros. Electr. Notes Theor. Comput. Sci. (121): 3-21 (2005). Web SearchBibTeXDownload
86Towards the Interchange of Configurable EPCs. Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst. EMISA 2005, 8-21. Web SearchBibTeX
85A Meta Model for Process Mining Data. Boudewijn F. van Dongen, Wil M. P. van der Aalst. EMOI-INTEROP 2005. Web SearchBibTeXDownload
84Life After BPEL?. Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed. EPEW/WS-FM 2005, 35-50. Web SearchBibTeXDownload
83Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell. ER 2005, 63-78. Web SearchBibTeXDownload
82Workflow Data Patterns: Identification, Representation and Tool Support. Nick Russell, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst. ER 2005, 353-368. Web SearchBibTeXDownload
81Genetic Process Mining. Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters. ICATPN 2005, 48-69. Web SearchBibTeXDownload
80Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. ICATPN 2005, 423-443. Web SearchBibTeXDownload
79The ProM Framework: A New Era in Process Mining Tool Support. Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst. ICATPN 2005, 444-454. Web SearchBibTeXDownload
78WofBPEL: A Tool for Automated Analysis of BPEL Processes. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. ICSOC 2005, 484-489. Web SearchBibTeXDownload
77YAWL: yet another workflow language. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Inf. Syst. (30): 245-275 (2005). Web SearchBibTeXDownload
76Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen. OTM Conferences (1) 2005, 22-39. Web SearchBibTeXDownload
75Process Mining and Verification of Properties: An Approach Based on Temporal Logic. Wil M. P. van der Aalst, H. T. de Beer, Boudewijn F. van Dongen. OTM Conferences (1) 2005, 130-147. Web SearchBibTeXDownload
74On the Notion of Coupling in Communication Middleware. Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. OTM Conferences (2) 2005, 1015-1033. Web SearchBibTeXDownload
73Business alignment: using process mining as a tool for Delta analysis and conformance testing. Wil M. P. van der Aalst. Requir. Eng. (10): 198-211 (2005). Web SearchBibTeXDownload
72Model-Driven Process Configuration of Enterprise Systems. Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst, Wasim Sadiq, Sana Khan. Wirtschaftsinformatik 2005, 687-706. Web SearchBibTeX
2004
71Mining Social Networks: Uncovering Interaction Patterns in Business Processes. Wil M. P. van der Aalst, Minseok Song. Business Process Management 2004, 244-260. Web SearchBibTeXDownload
70Design and Implementation of the YAWL System. Wil M. P. van der Aalst, Lachlan Aldred, Marlon Dumas, Arthur H. M. ter Hofstede. CAiSE 2004, 142-159. Web SearchBibTeXDownload
69Business Alignment: Using Process Mining as a Tool for Delta Analysis. Wil M. P. van der Aalst. CAiSE Workshops (2) 2004, 138-145. Web SearchBibTeX
68PC Co-chairs' Message. Wil M. P. van der Aalst, Dennis McLeod, Werner Vogels. CoopIS/DOA/ODBASE (1) 2004, 597-598. Web SearchBibTeXDownload
67Advances in business process management. Mathias Weske, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek. Data Knowl. Eng. (50): 1-8 (2004). Web SearchBibTeXDownload
66Multi-phase Process Mining: Building Instance Graphs. Boudewijn F. van Dongen, Wil M. P. van der Aalst. ER 2004, 362-376. Web SearchBibTeXDownload
65EMiT: A Process Mining Tool. Boudewijn F. van Dongen, Wil M. P. van der Aalst. ICATPN 2004, 454-463. Web SearchBibTeXDownload
64Workflow Mining: Discovering Process Models from Event Logs. Wil M. P. van der Aalst, Ton Weijters, Laura Maruster. IEEE Trans. Knowl. Data Eng. (16): 1128-1142 (2004). Web SearchBibTeXDownload
63Bridging The Gap Between Business Models And Workflow Specifications. Juliane Dehnert, Wil M. P. van der Aalst. Int. J. Cooperative Inf. Syst. (13): 289-332 (2004). Web SearchBibTeXDownload
62Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm. Ana Karla A. de Medeiros, Boudewijn F. van Dongen, Wil M. P. van der Aalst, A. J. M. M. Weijters. UMICS 2004, 151-165. Web SearchBibTeXDownload
2003
61Fundamentals of control flow in workflows. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. Acta Inf. (39): 143-209 (2003). Web SearchBibTeXDownload
60Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. Wil M. P. van der Aalst. Bulletin of the EATCS (80): 174-199 (2003). Web SearchBibTeX
59Business Process Management: A Survey. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske. Business Process Management 2003, 1-12. Web SearchBibTeXDownload
58Workflow Mining: Current Status and Future Directions. Ana Karla A. de Medeiros, Wil M. P. van der Aalst, A. J. M. M. Weijters. CoopIS/DOA/ODBASE 2003, 389-406. Web SearchBibTeXDownload
57Workflow mining: A survey of issues and approaches. Wil M. P. van der Aalst, Boudewijn F. van Dongen, Joachim Herbst, Laura Maruster, Guido Schimm, A. J. M. M. Weijters. Data Knowl. Eng. (47): 237-267 (2003). Web SearchBibTeXDownload
56Workflow Patterns. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros. Distributed and Parallel Databases (14): 5-51 (2003). Web SearchBibTeXDownload
55Analysis of Web Services Composition Languages: The Case of BPEL4WS. Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. ER 2003, 200-215. Web SearchBibTeXDownload
54Web Service Composition Languages: Old Wine in New Bottles?. Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede. EUROMICRO 2003, 298-307. Web SearchBibTeXDownload
53Web Services: Been There, Done That?. 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. IEEE Intelligent Systems (18): 72-85 (2003). Web SearchBibTeXDownload
52XML - Based Schema Definition for Support of Interorganizational Workflow. Wil M. P. van der Aalst, Akhil Kumar. Information Systems Research (14): 23-46 (2003). Web SearchBibTeXDownload
51The Case Handling Case. Hajo A. Reijers, J. H. M. Rigter, Wil M. P. van der Aalst. Int. J. Cooperative Inf. Syst. (12): 365-391 (2003). Web SearchBibTeXDownload
50Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. Wil M. P. van der Aalst. Lectures on Concurrency and Petri Nets 2003, 1-65. Web SearchBibTeXDownload
49Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. Wil M. P. van der Aalst. Petri Net Technology for Communication-Based Systems 2003, 383-408. Web SearchBibTeXDownload
48Organizational Modeling in UML and XML in the Context of Workflow Systems. Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Eric) Verbeek. SAC 2003, 603-608. Web SearchBibTeX
2002
47Discovering Distributed Processes in Supply Chains. Laura Maruster, Johan C. Wortmann, A. J. M. M. Weijters, Wil M. P. van der Aalst. APMS 2002, 219-230. Web SearchBibTeX
46An Alternative Way to Analyze Workflow Graphs. Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek. CAiSE 2002, 535-552. Web SearchBibTeXDownload
45Process Mining: Discovering Direct Successors in Process Logs. Laura Maruster, A. J. M. M. Weijters, Wil M. P. van der Aalst, Antal van den Bosch. Discovery Science 2002, 364-373. Web SearchBibTeXDownload
44Discovering Workflow Performance Models from Timed Logs. Wil M. P. van der Aalst, Boudewijn F. van Dongen. EDCIS 2002, 45-63. Web SearchBibTeXDownload
43Inheritance of Interorganizational Workflows to Enable Business-to-Business. Wil M. P. van der Aalst. Electronic Commerce Research (2): 195-231 (2002). Web SearchBibTeX
42On the semantics of EPCs: A vicious circle. Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler. EPK 2002, 71-79. Web SearchBibTeXDownload
41Making Work Flow: On the Application of Petri Nets to Business Process Management. Wil M. P. van der Aalst. ICATPN 2002, 1-22. Web SearchBibTeXDownload
40Component-based software architectures: a framework based on inheritance of behavior. Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn. Sci. Comput. Program. (42): 129-171 (2002). Web SearchBibTeX
39"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn. Sci. Comput. Program. (44): 343-344 (2002). Web SearchBibTeXDownload
38Inheritance of workflows: an approach to tackling problems related to change. Wil M. P. van der Aalst, Twan Basten. Theor. Comput. Sci. (270): 125-203 (2002). Web SearchBibTeXDownload
37XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. H. M. W. (Eric) Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst. WES 2002, 93-108. Web SearchBibTeXDownload
2001
36The P2P Approach to Interorganizational Workflows. Wil M. P. van der Aalst, Mathias Weske. CAiSE 2001, 140-156. Web SearchBibTeXDownload
35Diagnosing Workflow Processes using Woflan. H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst. Comput. J. (44): 246-279 (2001). Web SearchBibTeXDownload
34How to handle dynamic change and capture management information? An approach based on generic workflow models. Wil M. P. van der Aalst. Comput. Syst. Sci. Eng. (16): 295-318 (2001). Web SearchBibTeX
33Inheritance of Dynamic Behavior: Development of a Groupware Editor. Twan Basten, Wil M. P. van der Aalst. Concurrent Object-Oriented Programming and Petri Nets 2001, 391-405. Web SearchBibTeXDownload
32Product-driven Workflow Design. Wil M. P. van der Aalst, Hajo A. Reijers, S. Limam. CSCWD 2001, 397-402. Web SearchBibTeXDownload
31Verification of XRL: An XML-based Workflow Language. Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kumar. CSCWD 2001, 427-432. Web SearchBibTeXDownload
30A reference model for team-enabled workflow management systems. Wil M. P. van der Aalst, Akhil Kumar. Data Knowl. Eng. (38): 335-363 (2001). Web SearchBibTeXDownload
29Re-engineering knock-out processes. Wil M. P. van der Aalst. Decision Support Systems (30): 451-468 (2001). Web SearchBibTeXDownload
28Beyond workflow management: product-driven case handling. Wil M. P. van der Aalst, P. J. S. Berens. GROUP 2001, 42-51. Web SearchBibTeXDownload
27Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. Wil M. P. van der Aalst, Twan Basten. ICATPN 2001, 32-52. Web SearchBibTeXDownload
26Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Wil M. P. van der Aalst. Information Systems Frontiers (3): 297-317 (2001). Web SearchBibTeXDownload
25Proclets: A Framework for Lightweight Interacting Workflow Processes. Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer. Int. J. Cooperative Inf. Syst. (10): 443-481 (2001). Web SearchBibTeXDownload
24Inheritance of behavior. Twan Basten, Wil M. P. van der Aalst. J. Log. Algebr. Program. (47): 47-145 (2001). Web SearchBibTeX
2000
23Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. Wil M. P. van der Aalst. Business Process Management 2000, 161-183. Web SearchBibTeXDownload
22Advanced Workflow Patterns. Wil M. P. van der Aalst, Alistair P. Barros, Arthur H. M. ter Hofstede, Bartek Kiepuszewski. CoopIS 2000, 18-29. Web SearchBibTeX
21Workflow Modeling Using Proclets. Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer. CoopIS 2000, 198-209. Web SearchBibTeX
20Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst. ICATPN 2000, 475-484. Web SearchBibTeXDownload
19Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. 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. ICATPN 2000, 455-464. Web SearchBibTeXDownload
18Verification Of Workflow Task Structures: A Petri-net-baset Approach. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Inf. Syst. (25): 43-69 (2000). Web SearchBibTeXDownload
1999
17Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information?. Wil M. P. van der Aalst. CoopIS 1999, 115-126. Web SearchBibTeXDownload
16Flexible Workflow Management Systems: An Approach Based on Generic Process Models. Wil M. P. van der Aalst. DEXA 1999, 186-195. Web SearchBibTeXDownload
15Adaptive Workflow-On the Interplay between Flexibility and Support. Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve. ICEIS 1999, 353-360. Web SearchBibTeX
14Processes Driving the Networked Economy. Amit P. Sheth, Wil M. P. van der Aalst, Ismailcem Budak Arpinar. IEEE Concurrency (7): 18-31 (1999). Web SearchBibTeXDownload
13Formalization and verification of event-driven process chains. Wil M. P. van der Aalst. Information & Software Technology (41): 639-650 (1999). Web SearchBibTeXDownload
12Liveness, Fairness, and Recurrence in Petri Nets. Ekkart Kindler, Wil M. P. van der Aalst. Inf. Process. Lett. (70): 269-27 (1999). Web SearchBibTeXDownload
1998
11Modeling and Analyzing Interorganizational Workflows. Wil M. P. van der Aalst. ACSD 1998, 262-272. Web SearchBibTeXDownload
10The Application of Petri Nets to Workflow Management. Wil M. P. van der Aalst. Journal of Circuits, Systems, and Computers (8): 21-66 (1998). Web SearchBibTeXDownload
1997
9Ad-hoc Workflow: Problems and Solutions. Marc Voorhoeve, Wil M. P. van der Aalst. DEXA Workshop 1997, 36-40. Web SearchBibTeX
8Verification of Workflow Nets. Wil M. P. van der Aalst. ICATPN 1997, 407-426. Web SearchBibTeXDownload
7Life-Cycle Inheritance: A Petri-Net-Based Approach. Wil M. P. van der Aalst, Twan Basten. ICATPN 1997, 62-81. Web SearchBibTeXDownload
1995
6Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. Wil M. P. van der Aalst, Michiel A. Odijk. Real-Time Systems (9): 241-263 (1995). Web SearchBibTeX
5Framework for business process redesign. Wil M. P. van der Aalst, Kees M. van Hee. WETICE 1995, 36-45. Web SearchBibTeXDownload
4Working group report on process [production process workflow in cooperative virtual enterprises]. Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst. WETICE 1995, 8. Web SearchBibTeXDownload
1994
3Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. Wil M. P. van der Aalst. Computer Performance Evaluation 1994, 425-444. Web SearchBibTeXDownload
1993
2Interval Timed Coloured Petri Nets and their Analysis. Wil M. P. van der Aalst. Application and Theory of Petri Nets 1993, 453-472. Web SearchBibTeXDownload
1992
1Modelling and Analysis of Complex Logistic Systems. Wil M. P. van der Aalst. Integration in Production Management Systems 1992, 277-292. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research