The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wil M. P. van der Aalst: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wil M. P. van der Aalst
    Verification of Workflow Nets. [Citation Graph (2, 0)][DBLP]
    ICATPN, 1997, pp:407-426 [Conf]
  2. Amit P. Sheth, Wil M. P. van der Aalst, Ismailcem Budak Arpinar
    Processes Driving the Networked Economy. [Citation Graph (1, 0)][DBLP]
    IEEE Concurrency, 1999, v:7, n:3, pp:18-31 [Journal]
  3. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
    Verification Of Workflow Task Structures: A Petri-net-baset Approach. [Citation Graph (1, 0)][DBLP]
    Inf. Syst., 2000, v:25, n:1, pp:43-69 [Journal]
  4. Wil M. P. van der Aalst
    Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:1-65 [Conf]
  5. Wil M. P. van der Aalst
    Modeling and Analyzing Interorganizational Workflows. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:262-272 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    APCCM, 2006, pp:95-104 [Conf]
  7. Wil M. P. van der Aalst
    Making Work Flow: On the Application of Petri Nets to Business Process Management. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:1-22 [Conf]
  8. Wil M. P. van der Aalst
    Interval Timed Coloured Petri Nets and their Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:453-472 [Conf]
  9. Wil M. P. van der Aalst, Twan Basten
    Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:32-52 [Conf]
  10. Wil M. P. van der Aalst, Twan Basten
    Life-Cycle Inheritance: A Petri-Net-Based Approach. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:62-81 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:455-464 [Conf]
  12. Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters
    Genetic Process Mining. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:48-69 [Conf]
  13. Boudewijn F. van Dongen, Wil M. P. van der Aalst
    EMiT: A Process Mining Tool. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:454-463 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:444-454 [Conf]
  15. H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst
    Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:475-484 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:423-443 [Conf]
  17. Wil M. P. van der Aalst
    Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2000, pp:161-183 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:512-518 [Conf]
  19. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske
    Business Process Management: A Survey. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2003, pp:1-12 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:129-144 [Conf]
  21. Wil M. P. van der Aalst, Minseok Song
    Mining Social Networks: Uncovering Interaction Patterns in Business Processes. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2004, pp:244-260 [Conf]
  22. Christian W. Günther, Wil M. P. van der Aalst
    A Generic Import Framework for Process Event Logs. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2006, pp:81-92 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:203-215 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:161-176 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:451-457 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:389-394 [Conf]
  27. Maja Pesic, Wil M. P. van der Aalst
    A Declarative Approach for Flexible Business Processes Management. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2006, pp:169-180 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:497-511 [Conf]
  29. A. Rozinat, Wil M. P. van der Aalst
    Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:163-176 [Conf]
  30. A. Rozinat, Wil M. P. van der Aalst
    Decision Mining in ProM. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:420-425 [Conf]
  31. Wil M. P. van der Aalst
    Business Alignment: Using Process Mining as a Tool for Delta Analysis. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (2), 2004, pp:138-145 [Conf]
  32. Wil M. P. van der Aalst, Lachlan Aldred, Marlon Dumas, Arthur H. M. ter Hofstede
    Design and Implementation of the YAWL System. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2004, pp:142-159 [Conf]
  33. Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek
    An Alternative Way to Analyze Workflow Graphs. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2002, pp:535-552 [Conf]
  34. Wil M. P. van der Aalst, Mathias Weske
    The P2P Approach to Interorganizational Workflows. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2001, pp:140-156 [Conf]
  35. 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. [Citation Graph (0, 0)][DBLP]
    CAiSE Short Paper Proceedings, 2005, pp:- [Conf]
  36. Boudewijn F. van Dongen, Wil M. P. van der Aalst
    A Meta Model for Process Mining Data. [Citation Graph (0, 0)][DBLP]
    EMOI-INTEROP, 2005, pp:- [Conf]
  37. Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek
    Verification of EPCs: Using Reduction Rules and Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2005, pp:372-386 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    UMICS, 2004, pp:151-165 [Conf]
  39. Jan Recker, Jan Mendling, Wil M. P. van der Aalst, Michael Rosemann
    Model-Driven Enterprise Systems Configuration. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:369-383 [Conf]
  40. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
    Workflow Exception Patterns. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:288-302 [Conf]
  41. Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond
    Workflow Resource Patterns: Identification, Representation and Tool Support. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2005, pp:216-232 [Conf]
  42. Jan Hidders, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Verelst
    When are two Workflows the Same? [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:3-11 [Conf]
  43. Wil M. P. van der Aalst
    Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information? [Citation Graph (0, 0)][DBLP]
    CoopIS, 1999, pp:115-126 [Conf]
  44. Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer
    Workflow Modeling Using Proclets. [Citation Graph (0, 9)][DBLP]
    CoopIS, 2000, pp:198-209 [Conf]
  45. Wil M. P. van der Aalst, Christoph Bussler, Avigdor Gal
    PC Co-chairs' Message. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE (1), 2004, pp:1- [Conf]
  46. Wil M. P. van der Aalst, Alistair P. Barros, Arthur H. M. ter Hofstede, Bartek Kiepuszewski
    Advanced Workflow Patterns. [Citation Graph (0, 6)][DBLP]
    CoopIS, 2000, pp:18-29 [Conf]
  47. Ana Karla A. de Medeiros, Wil M. P. van der Aalst, A. J. M. M. Weijters
    Workflow Mining: Current Status and Future Directions. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2003, pp:389-406 [Conf]
  48. Twan Basten, Wil M. P. van der Aalst
    Inheritance of Dynamic Behavior: Development of a Groupware Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:391-405 [Conf]
  49. Wil M. P. van der Aalst
    Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:425-444 [Conf]
  50. Huixin Tan, Wil M. P. van der Aalst
    Implementation of a YAWL Work-List Handler based on the Resource Patterns. [Citation Graph (0, 0)][DBLP]
    CSCWD, 2006, pp:1184-1189 [Conf]
  51. Wil M. P. van der Aalst
    Flexible Workflow Management Systems: An Approach Based on Generic Process Models. [Citation Graph (0, 0)][DBLP]
    DEXA, 1999, pp:186-195 [Conf]
  52. Marc Voorhoeve, Wil M. P. van der Aalst
    Ad-hoc Workflow: Problems and Solutions. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1997, pp:36-40 [Conf]
  53. Wil M. P. van der Aalst
    Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:383-408 [Conf]
  54. 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. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2002, pp:364-373 [Conf]
  55. Wil M. P. van der Aalst, Boudewijn F. van Dongen
    Discovering Workflow Performance Models from Timed Logs. [Citation Graph (0, 0)][DBLP]
    EDCIS, 2002, pp:45-63 [Conf]
  56. Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst
    Towards the Interchange of Configurable EPCs. [Citation Graph (0, 0)][DBLP]
    EMISA, 2005, pp:8-21 [Conf]
  57. 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? [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:35-50 [Conf]
  58. Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler
    On the semantics of EPCs: A vicious circle. [Citation Graph (0, 0)][DBLP]
    EPK, 2002, pp:71-79 [Conf]
  59. Boudewijn F. van Dongen, Wil M. P. van der Aalst
    Multi-phase Process Mining: Building Instance Graphs. [Citation Graph (0, 0)][DBLP]
    ER, 2004, pp:362-376 [Conf]
  60. Nick Russell, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst
    Workflow Data Patterns: Identification, Representation and Tool Support. [Citation Graph (0, 0)][DBLP]
    ER, 2005, pp:353-368 [Conf]
  61. 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. [Citation Graph (0, 0)][DBLP]
    ER, 2003, pp:200-215 [Conf]
  62. 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. [Citation Graph (0, 0)][DBLP]
    ER, 2005, pp:63-78 [Conf]
  63. Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede
    Web Service Composition Languages: Old Wine in New Bottles?. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2003, pp:298-307 [Conf]
  64. Wil M. P. van der Aalst, P. J. S. Berens
    Beyond workflow management: product-driven case handling. [Citation Graph (0, 0)][DBLP]
    GROUP, 2001, pp:42-51 [Conf]
  65. 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. [Citation Graph (0, 0)][DBLP]
    ICEIS, 1999, pp:353-360 [Conf]
  66. 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. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:484-489 [Conf]
  67. Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst
    From BPMN Process Models to BPEL Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:285-292 [Conf]
  68. Wil M. P. van der Aalst
    Modelling and Analysis of Complex Logistic Systems. [Citation Graph (0, 0)][DBLP]
    Integration in Production Management Systems, 1992, pp:277-292 [Conf]
  69. Laura Maruster, J. C. Wortmann, A. J. M. M. Weijters, Wil M. P. van der Aalst
    Discovering Distributed Processes in Supply Chains. [Citation Graph (0, 0)][DBLP]
    APMS, 2002, pp:219-230 [Conf]
  70. 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. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2005, pp:130-147 [Conf]
  71. 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. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2005, pp:22-39 [Conf]
  72. Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede
    On the Notion of Coupling in Communication Middleware. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1015-1033 [Conf]
  73. Christian W. Günther, Stefanie Rinderle, Manfred Reichert, Wil M. P. van der Aalst
    Change Mining in Adaptive Process Management Systems. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2006, pp:309-326 [Conf]
  74. Kristian Bisgaard Lassen, Wil M. P. van der Aalst
    WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2006, pp:127-144 [Conf]
  75. 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. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2006, pp:408-425 [Conf]
  76. 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. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2006, pp:291-308 [Conf]
  77. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:603-608 [Conf]
  78. Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst
    Generating correct EPCs from configured C-EPCs. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1505-1510 [Conf]
  79. H. M. W. (Eric) Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst
    XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. [Citation Graph (0, 0)][DBLP]
    WES, 2002, pp:93-108 [Conf]
  80. Wil M. P. van der Aalst, Kees M. van Hee
    Framework for business process redesign. [Citation Graph (0, 0)][DBLP]
    WETICE, 1995, pp:36-45 [Conf]
  81. 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]. [Citation Graph (0, 0)][DBLP]
    WETICE, 1995, pp:8-0 [Conf]
  82. Alexander Dreiling, Michael Rosemann, Wil M. P. van der Aalst, Wasim Sadiq, Sana Khan
    Model-Driven Process Configuration of Enterprise Systems. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik, 2005, pp:687-706 [Conf]
  83. Wil M. P. van der Aalst, Maja Pesic
    DecSerFlow: Towards a Truly Declarative Service Flow Language. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:1-23 [Conf]
  84. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst
    Fundamentals of control flow in workflows. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2003, v:39, n:3, pp:143-209 [Journal]
  85. H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst
    Diagnosing Workflow Processes using Woflan. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:4, pp:246-279 [Journal]
  86. Wil M. P. van der Aalst, Hajo A. Reijers, Minseok Song
    Discovering Social Networks from Event Logs. [Citation Graph (0, 0)][DBLP]
    Computer Supported Cooperative Work, 2005, v:14, n:6, pp:549-593 [Journal]
  87. Wil M. P. van der Aalst
    How to handle dynamic change and capture management information? An approach based on generic workflow models. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:5, pp:295-318 [Journal]
  88. 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. [Citation Graph (0, 0)][DBLP]
    Data Min. Knowl. Discov., 2006, v:13, n:1, pp:67-87 [Journal]
  89. 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. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2003, v:47, n:2, pp:237-267 [Journal]
  90. Wil M. P. van der Aalst, Akhil Kumar
    A reference model for team-enabled workflow management systems. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2001, v:38, n:3, pp:335-363 [Journal]
  91. Wil M. P. van der Aalst, Mathias Weske, Dolf Grünbauer
    Case handling: a new paradigm for business process support. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2005, v:53, n:2, pp:129-162 [Journal]
  92. Schahram Dustdar, Thomas Hoffmann, Wil M. P. van der Aalst
    Mining of ad-hoc business processes with TeamLog. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2005, v:55, n:2, pp:129-158 [Journal]
  93. Monique H. Jansen-Vullers, Wil M. P. van der Aalst, Michael Rosemann
    Mining configurable enterprise information systems. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:56, n:3, pp:195-244 [Journal]
  94. Mathias Weske, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek
    Advances in business process management. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2004, v:50, n:1, pp:1-8 [Journal]
  95. Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek
    Business process management: Where business processes and web services meet. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2007, v:61, n:1, pp:1-5 [Journal]
  96. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros
    Workflow Patterns. [Citation Graph (0, 0)][DBLP]
    Distributed and Parallel Databases, 2003, v:14, n:1, pp:5-51 [Journal]
  97. Wil M. P. van der Aalst
    Re-engineering knock-out processes. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2001, v:30, n:4, pp:451-468 [Journal]
  98. Wil M. P. van der Aalst
    Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2006, v:42, n:3, pp:1843-1859 [Journal]
  99. Wil M. P. van der Aalst, Michael Rosemann, Marlon Dumas
    Deadline-based escalation in process-aware information systems. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2007, v:43, n:2, pp:492-511 [Journal]
  100. Wil M. P. van der Aalst
    Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2003, v:80, n:, pp:174-199 [Journal]
  101. Wil M. P. van der Aalst
    Inheritance of Interorganizational Workflows to Enable Business-to-Business. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce Research, 2002, v:2, n:3, pp:195-231 [Journal]
  102. Wil M. P. van der Aalst, Ana Karla A. de Medeiros
    Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:3-21 [Journal]
  103. 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? [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2003, v:18, n:1, pp:72-85 [Journal]
  104. Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer
    Proclets: A Framework for Lightweight Interacting Workflow Processes. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2001, v:10, n:4, pp:443-481 [Journal]
  105. Juliane Dehnert, Wil M. P. van der Aalst
    Bridging The Gap Between Business Models And Workflow Specifications. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2004, v:13, n:3, pp:289-332 [Journal]
  106. Hajo A. Reijers, J. H. M. Rigter, Wil M. P. van der Aalst
    The Case Handling Case. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2003, v:12, n:3, pp:365-391 [Journal]
  107. Wil M. P. van der Aalst
    Formalization and verification of event-driven process chains. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:10, pp:639-650 [Journal]
  108. Ekkart Kindler, Wil M. P. van der Aalst
    Liveness, Fairness, and Recurrence in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:70, n:6, pp:269-27 [Journal]
  109. Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
    YAWL: yet another workflow language. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2005, v:30, n:4, pp:245-275 [Journal]
  110. Michael Rosemann, Wil M. P. van der Aalst
    A configurable reference modelling language. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2007, v:32, n:1, pp:1-23 [Journal]
  111. 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. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2007, v:32, n:5, pp:713-732 [Journal]
  112. Wil M. P. van der Aalst
    Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2001, v:3, n:3, pp:297-317 [Journal]
  113. Wil M. P. van der Aalst
    The Application of Petri Nets to Workflow Management. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 1998, v:8, n:1, pp:21-66 [Journal]
  114. Twan Basten, Wil M. P. van der Aalst
    Inheritance of behavior. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2001, v:47, n:2, pp:47-145 [Journal]
  115. Wil M. P. van der Aalst
    Business alignment: using process mining as a tool for Delta analysis and conformance testing. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2005, v:10, n:3, pp:198-211 [Journal]
  116. Wil M. P. van der Aalst, Michiel A. Odijk
    Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1995, v:9, n:3, pp:241-263 [Journal]
  117. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:2-3, pp:129-171 [Journal]
  118. 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]. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:44, n:3, pp:343-344 [Journal]
  119. Wil M. P. van der Aalst, Twan Basten
    Inheritance of workflows: an approach to tackling problems related to change. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:270, n:1-2, pp:125-203 [Journal]
  120. Wil M. P. van der Aalst, Ton Weijters, Laura Maruster
    Workflow Mining: Discovering Process Models from Event Logs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2004, v:16, n:9, pp:1128-1142 [Journal]
  121. Wil M. P. van der Aalst, Christian W. Günther
    Finding Structure in Unstructured Processes: The Case for Process Mining. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:3-12 [Conf]
  122. Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, A. Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, A. J. M. M. Weijters
    ProM 4.0: Comprehensive Support for Real Process Analysis. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:484-494 [Conf]
  123. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
    History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:164-183 [Conf]
  124. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers
    SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:262-270 [Conf]
  125. Christian W. Günther, Wil M. P. van der Aalst
    Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:328-343 [Conf]
  126. H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst
    Interoperability in the ProM Framework. [Citation Graph (0, 0)][DBLP]
    EMOI-INTEROP, 2006, pp:- [Conf]
  127. Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede
    Communication Abstractions for Distributed Business Processes. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2007, pp:409-423 [Conf]
  128. Jan Mendling, Wil M. P. van der Aalst
    Formalization and Verification of EPCs with OR-Joins Based on State and Context. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2007, pp:439-453 [Conf]
  129. Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst
    Structural Patterns for Soundness of Business Process Models. [Citation Graph (0, 0)][DBLP]
    EDOC, 2006, pp:116-128 [Conf]
  130. Wil M. P. van der Aalst
    Trends in business process analysis - from verification to process mining. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2007, pp:5-9 [Conf]
  131. 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. [Citation Graph (0, 0)][DBLP]
    ICSP, 2007, pp:169-181 [Conf]
  132. Nataliya Mulyar, Lachlan Aldred, Wil M. P. van der Aalst
    The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:735-753 [Conf]
  133. Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond
    Dynamic, Extensible and Context-Aware Exception Handling for Workflows. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:95-112 [Conf]
  134. Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst
    Constraint-Based Workflow Models: Change Made Easy. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:77-94 [Conf]
  135. Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst
    Understanding the Occurrence of Errors in Process Models Based on Metrics. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:113-130 [Conf]
  136. Wil M. P. van der Aalst
    Exploring the CSCW spectrum using process mining. [Citation Graph (0, 0)][DBLP]
    Advanced Engineering Informatics, 2007, v:21, n:2, pp:191-199 [Journal]
  137. 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. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:294-314 [Journal]
  138. Ana Karla A. de Medeiros, A. J. M. M. Weijters, Wil M. P. van der Aalst
    Genetic process mining: an experimental evaluation. [Citation Graph (0, 0)][DBLP]
    Data Min. Knowl. Discov., 2007, v:14, n:2, pp:245-304 [Journal]
  139. Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, Jiaguang Sun
    Mining process models with non-free-choice constructs. [Citation Graph (0, 0)][DBLP]
    Data Min. Knowl. Discov., 2007, v:15, n:2, pp:145-180 [Journal]
  140. Rong Liu, Akhil Kumar, Wil M. P. van der Aalst
    A formal modeling approach for supply chain event management. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2007, v:43, n:3, pp:761-778 [Journal]
  141. Giorgio Leonardi, Silvia Panzarasa, Silvana Quaglini, Mario Stefanelli, Wil M. P. van der Aalst
    Interacting agents through a web-based health serviceflow management system. [Citation Graph (0, 0)][DBLP]
    Journal of Biomedical Informatics, 2007, v:40, n:5, pp:486-499 [Journal]
  142. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:67, n:2-3, pp:162-198 [Journal]
  143. Maja Pesic, Wil M. P. van der Aalst
    Modelling work distribution mechanisms using Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:327-352 [Journal]

  144. Compositional Service Trees. [Citation Graph (, )][DBLP]


  145. Using Process Mining to Generate Accurate and Interactive Business Process Maps. [Citation Graph (, )][DBLP]


  146. Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. [Citation Graph (, )][DBLP]


  147. The Need for a Process Mining Evaluation Framework in Research and Practice. [Citation Graph (, )][DBLP]


  148. Linking Domain Models and Process Models for Reference Model Configuration. [Citation Graph (, )][DBLP]


  149. Business Process Simulation for Operational Decision Support. [Citation Graph (, )][DBLP]


  150. Process Mining Based on Clustering: A Quest for Precision. [Citation Graph (, )][DBLP]


  151. On the Formal Generation of Process Redesigns. [Citation Graph (, )][DBLP]


  152. Visual Support for Work Assignment in Process-Aware Information Systems. [Citation Graph (, )][DBLP]


  153. Supporting Flexible Processes through Recommendations Based on History. [Citation Graph (, )][DBLP]


  154. Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. [Citation Graph (, )][DBLP]


  155. Trace Clustering in Process Mining. [Citation Graph (, )][DBLP]


  156. Flexibility Schemes for Workflow Management Systems. [Citation Graph (, )][DBLP]


  157. Abstractions in Process Mining: A Taxonomy of Patterns. [Citation Graph (, )][DBLP]


  158. BPR Best Practices for the Healthcare Domain. [Citation Graph (, )][DBLP]


  159. Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models. [Citation Graph (, )][DBLP]


  160. Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness. [Citation Graph (, )][DBLP]


  161. Activity Mining by Global Trace Segmentation. [Citation Graph (, )][DBLP]


  162. Analyzing Resource Behavior Using Process Mining. [Citation Graph (, )][DBLP]


  163. Visual Support for Work Assignment in YAWL. [Citation Graph (, )][DBLP]


  164. DECLARE Demo: A Constraint-based Workflow Management System. [Citation Graph (, )][DBLP]


  165. ProM: The Process Mining Toolkit. [Citation Graph (, )][DBLP]


  166. Trace Alignment in Process Mining: Opportunities for Process Diagnostics. [Citation Graph (, )][DBLP]


  167. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. [Citation Graph (, )][DBLP]


  168. Using Process Mining to Analyze and Improve Process Flexibility. [Citation Graph (, )][DBLP]


  169. Product Based Workflow Support: Dynamic Workflow Execution. [Citation Graph (, )][DBLP]


  170. Open Source Workflow: A Viable Direction for BPM?. [Citation Graph (, )][DBLP]


  171. On a Quest for Good Process Models: The Cross-Connectivity Metric. [Citation Graph (, )][DBLP]


  172. Towards a Taxonomy of Process Flexibility. [Citation Graph (, )][DBLP]


  173. Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. [Citation Graph (, )][DBLP]


  174. Business Trend Analysis by Simulation. [Citation Graph (, )][DBLP]


  175. Beyond Process Mining: From the Past to Present and Future. [Citation Graph (, )][DBLP]


  176. Process Flexibility: A Survey of Contemporary Approaches. [Citation Graph (, )][DBLP]


  177. Configurable Process Models: Experiences from a Municipality Case Study. [Citation Graph (, )][DBLP]


  178. Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. [Citation Graph (, )][DBLP]


  179. TomTom for Business Process Management (TomTom4BPM). [Citation Graph (, )][DBLP]


  180. Anomaly Detection Using Process Mining. [Citation Graph (, )][DBLP]


  181. Verification of XRL: An XML-based Workflow Language. [Citation Graph (, )][DBLP]


  182. Product-driven Workflow Design. [Citation Graph (, )][DBLP]


  183. Process mining in CSCW systems. [Citation Graph (, )][DBLP]


  184. A SOA-Based Architecture Framework. [Citation Graph (, )][DBLP]


  185. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. [Citation Graph (, )][DBLP]


  186. 06291 Workshop Report: Process Mining, Monitoring Processes and Services. [Citation Graph (, )][DBLP]


  187. 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  188. DecSerFlow: Towards a Truly Declarative Service Flow Language. [Citation Graph (, )][DBLP]


  189. Flexibility as a Service. [Citation Graph (, )][DBLP]


  190. An Analysis of Windows Workflow's Control-Flow Expressiveness. [Citation Graph (, )][DBLP]


  191. Getting Rid of the OR-Join in Business Process Models. [Citation Graph (, )][DBLP]


  192. DECLARE: Full Support for Loosely-Structured Processes. [Citation Graph (, )][DBLP]


  193. Towards EPC Semantics based on State and Context. [Citation Graph (, )][DBLP]


  194. Integration of EPC-related Tools with ProM. [Citation Graph (, )][DBLP]


  195. On the Degree of Behavioral Similarity between Business Process Models. [Citation Graph (, )][DBLP]


  196. On the Correlation between Process Model Metrics and Errors. [Citation Graph (, )][DBLP]


  197. History-Dependent Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  198. Correctness-Preserving Configuration of Business Process Models. [Citation Graph (, )][DBLP]


  199. Discovery, Verification and Conformance of Workflows with Cancellation. [Citation Graph (, )][DBLP]


  200. An Evaluation of Case Handling Systems for Product Based Workflow Design. [Citation Graph (, )][DBLP]


  201. An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System. [Citation Graph (, )][DBLP]


  202. Inter-enterprise System and Application Integration: A Reality Check. [Citation Graph (, )][DBLP]


  203. Challenges in Business Process Analysis. [Citation Graph (, )][DBLP]


  204. Performing Business Process Redesign with Best Practices: An Evolutionary Approach. [Citation Graph (, )][DBLP]


  205. Case Handling Systems as Product Based Workflow Design Support. [Citation Graph (, )][DBLP]


  206. Improving Product Usage Monitoring and Analysis with Semantic Concepts. [Citation Graph (, )][DBLP]


  207. Business Process Compliance Checking: Current State and Future Challenges. [Citation Graph (, )][DBLP]


  208. Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. [Citation Graph (, )][DBLP]


  209. Cycle Time Prediction: When Will This Case Finally Be Finished?. [Citation Graph (, )][DBLP]


  210. An Outlook on Semantic Business Process Mining and Monitoring. [Citation Graph (, )][DBLP]


  211. A Reference Model for Grid Architectures and Its Analysis. [Citation Graph (, )][DBLP]


  212. Merging Event-Driven Process Chains. [Citation Graph (, )][DBLP]


  213. Mining Reference Process Models and Their Configurations. [Citation Graph (, )][DBLP]


  214. Context Aware Trace Clustering: Towards Improving Process Mining Results. [Citation Graph (, )][DBLP]


  215. Service Interaction: Patterns, Formalization, and Analysis. [Citation Graph (, )][DBLP]


  216. Supporting Flexible Processes with Adaptive Workflow and Case Handling. [Citation Graph (, )][DBLP]


  217. From Public Views to Private Views - Correctness-by-Design for Services. [Citation Graph (, )][DBLP]


  218. Process Mining in Healthcare - A Case Study. [Citation Graph (, )][DBLP]


  219. Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital. [Citation Graph (, )][DBLP]


  220. Advanced Reduction Rules for the Verification of EPC Business Process Models. [Citation Graph (, )][DBLP]


  221. Process Mining Techniques: an Application to Stroke Care. [Citation Graph (, )][DBLP]


  222. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. [Citation Graph (, )][DBLP]


  223. Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. [Citation Graph (, )][DBLP]


  224. Dimensions of coupling in middleware. [Citation Graph (, )][DBLP]


  225. Process Mining in Web Services: The WebSphere Case. [Citation Graph (, )][DBLP]


  226. Workflow Support Using Proclets: Divide, Interact, and Conquer. [Citation Graph (, )][DBLP]


  227. Detection and prediction of errors in EPCs of the SAP reference model. [Citation Graph (, )][DBLP]


  228. Quantifying process equivalence based on observed behavior. [Citation Graph (, )][DBLP]


  229. Workflow simulation for operational decision support. [Citation Graph (, )][DBLP]


  230. Mining process models with prime invisible tasks. [Citation Graph (, )][DBLP]


  231. From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes. [Citation Graph (, )][DBLP]


  232. Towards comprehensive support for organizational mining. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002