[Contribution to a book, Contribution to a conference proceedings]
When Are Two Workflows the Same?
In: Proceedings of Computing: The 11th Australasian Theory Symposium (CATS'2005), 3-11, 2005

Hidders, J.
Dumas, M.
van der Aalst, Wil M. P.
ter Hofstede, A. H. M.
Verelst, J.

[Contribution to a conference proceedings]
On the User Perception of Configurable Reference Process Models - Initial Insights
In: Proceedings of the 16th Australasian Conference on Information Systems (ACIS'2005), 1-10, 2005

Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings, Journal Article]
Towards a Pattern Language for Colored Petri Nets
In: DAIMI / PB, 576, 39-48, 2005

Mulyar, N.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings, Journal Article]
Modelling a Product Based Workflow System in CPN tools
In: DAIMI / PBvolume=576, 99-118, 2005

Vanderfeesten, I.
van der Aalst, Wil M. P.
Reijers, H. A.

[Contribution to a conference proceedings, Journal Article]
Modeling Work Distribution Mechanisms Using Colored Petri Nets
In: DAIMI / PBvolume=576, 157-176, 2005

Pesic, M.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings, Journal Article]
Modeling the Case Handling Principles with Colored Petri Nets
In: DAIMI / PBvolume=576, 211-230, 2005

Günther, C. W.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings, Journal Article]
Analysis of Resource-Constrained Processes with Colored Petri Nets
In: DAIMI / PBvolume=576, 251-266, 2005

Netjes, M.
van der Aalst, Wil M. P.
Reijers, H. A.

[Contribution to a book, Contribution to a conference proceedings]
Workflow Data Patterns: Identification, Representation and Tool Support
In: Conceptual modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24 - 28, 2005 ; proceedings / Lois Delcambre ... (eds.), 353-368, 2005
[DOI: 10.1007/11568322_23]

Russell, N.
ter Hofstede, A. H. M.
Edmond, D.
van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams
In: Conceptual modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24 - 28, 2005 ; proceedings / Lois Delcambre ... (eds.), 63-78, 2005
[DOI: 10.1007/11568322_5]

Wohed, P.
van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.
Russell, N.

[Contribution to a book, Contribution to a conference proceedings]
Life After BPEL?
In: Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPWE 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 ; proceedings / Mario Bravetti; Leila Kloul (eds.), 35-50, 2005
[DOI: 10.1007/11549970_4]

van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.
Russell, N.
Verbeek, H. M. W.
et al.

[Contribution to a book, Contribution to a conference proceedings]
Let's Go All the Way: From Requirements via Colored Workflow Netsto a BPEL Implementation of a New Bank System Paper
In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 1, 22-39, 2005
[DOI: 10.1007/11575771_5]

van der Aalst, Wil M. P.
Jorgensen, J. B.
Lassen, K. B.

[Contribution to a book, Contribution to a conference proceedings]
Process Mining and Verification of Properties: An Approach based on Temporal Logic
In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 2, 130-147, 2005
[DOI: 10.1007/11575771_11]

van der Aalst, Wil M. P.
de Beer, H. T.
van Dongen, B. F.

[Contribution to a book, Contribution to a conference proceedings]
On the Notion of Coupling in Communication Middleware
In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 2, 1015-1033, 2005
[DOI: 10.1007/11575801_6]

Aldred, L.
van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.

[Contribution to a conference proceedings]
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
In: First International Workshop on Business Process Intelligence (BPI'05), 1-12, 2005

Rozinat, A.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Genetic Process Mining: A Basic Approach and its Challenges
In: First International Workshop on Business Process Intelligence (BPI'05), 46-57, 2005

Alves de Medeiros, A. K.
Weijters, A. J. M. M.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Towards a Reference Model for Work Distribution in Workflow Management Systems
In: First International Workshop on Business Process Reference Models (BPRM’05), 5 September, Nancy, France / Kindler, Ekkart & Nüttgens, Markus (Eds.)First International Workshop on Business Process Reference Models (BPRM'05), 30-44, 2005

Pesic, M.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
On the Syntax of Reference Model Configuration: Transforming the C-EPC into Lawful EPC Models
In: First International Workshop on Business Process Reference Models (BPRM’05), 5 September, Nancy, France / Kindler, Ekkart & Nüttgens, Markus (Eds.), 60-75, 2005

Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.
Mendling, J.

[Contribution to a conference proceedings]
Configurable Process Models as a Basis for Reference Modeling
In: First International Workshop on Business Process Reference Models (BPRM'05), 76-82, 2005

van der Aalst, Wil M. P.
Dreiling, A.
Gottschalk, F.
Rosemann, M.
Jansen-Vullers, M. H.

[Contribution to a conference proceedings]
Towards an Understanding of Model-Driven Process Configuration and its Support at Large
In: Americas Conference on Information Systems (AMCIS 2005), 2084-2092, 2005

Dreiling, A.
Chiang, M.
Rosemann, M.
van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Towards the Interchange of Configurable EPCs: An XML-based Approach for Reference Model Configuration
In: Workshop on Enterprise Modelling and Information Systems Architectures (EMISA 2005), 8-21, 2005

Mendling, J.
Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Generating Correct EPCs from Configured C-EPCs
In: Proceedings of the 21th Annual ACM Symposium on Applied Computing (SAC 2006), Track on Organizational Engineering, 1505-1510, 2005

Mendling, J.
Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.

[Journal Article]
Case Handling: A New Paradigm for Business Process Support
In: Data & knowledge engineering, 53 (2), 129-162, 2005
[DOI: 10.1016/j.datak.2004.07.003]

van der Aalst, Wil M. P.
Weske, M.
Grünbauer, D.

[Journal Article]
Mining of ad-hoc business processes with TeamLog
In: Data & knowledge engineering, 55 (2), 129-158, 2005
[DOI: 10.1016/j.datak.2005.02.002]

Dustdar, S.
Hoffmann, T.
van der Aalst, Wil M. P.

[Journal Article]
The Effectiveness of Workflow Management Systems: Predictions and Lessons Learned
In: International journal of information management, 25 (5), 458-472, 2005
[DOI: 10.1016/j.ijinfomgt.2005.06.008]

Reijers, H. A.
van der Aalst, Wil M. P.

[Journal Article]
Using BPMN to Model a BPEL Process
In: BPTrends, 3 (3), 1-18, 2005

White, S.

[Journal Article]
Challenges for Business Process and Task Management
In: Journal of Universal Knowledge Management, 0 (2), 77-100, 2005

Riss, U.
Rickayzen, A.
Maus, H.
van der Aalst, Wil M. P.

[Journal Article]
YAWL: Yet Another Workflow Language
In: Information systems : IS, 30 (4), 245-275, 2005
[DOI: 10.1016/j.is.2004.02.002]

van der Aalst, Wil M. P.
ter Hofstede, A. H. M.

[Journal Article]
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
In: Electronic Notes in Theoretical Computer Science, 121, 3-21, 2005

van der Aalst, Wil M. P.
Alves de Medeiros, A. K.

[Journal Article]
Discovering Social Networks from Event Logs
In: Computer Supported Cooperative work, 14 (6), 549-593, 2005

van der Aalst, Wil M. P.
Reijers, H. A.
Song, M.

[Journal Article]
Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing
In: Requirements engineering, 10 (3), 198-211, 2005
[DOI: 10.1007/s00766-005-0001-x]

van der Aalst, Wil M. P.

[Book]
International Conference on Business Process Management (BPM 2005)
In: Lecture notes in computer science 3649, 2005

van der Aalst, Wil M. P.
Benatallah, B.
Casati, F.
F. Curbera

[Book]
Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised Version), 2005

Ouyang, C.
van der Aalst, Wil M. P.
Breutel, S.
Dumas, M.
ter Hofstede, A. H. M.
et al.

[Book]
Deadline-based Escalation in Process-Aware Information Systems, 2005

van der Aalst, Wil M. P.
Rosemann, M.
Dumas, M.

[Book]
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version), 2005

van der Aalst, Wil M. P.
Dumas, M.
Ouyang, C.
Rozinat, A.
Verbeek, H. M. W.

[Book]
Pattern-based Analysis of BPMN - An extensive evaluation of the Control-flow, the Data and the Resource Perspectives, 2005

Wohed, P.
van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.
Russell, N.

[Book]
Workflow Resource Patterns, 2005

Russell, N.
ter Hofstede, A. H. M.
Edmond, D.
van der Aalst, Wil M. P.

[Book]
Process Mining and Verification of Properties: An Approach based on Temporal Logic, 2005

van der Aalst, Wil M. P.
de Beer, H. T.
van Dongen, B. F.

[Book]
Patterns in Colored Petri Nets, 2005

Mulyar, N.
van der Aalst, Wil M. P.

[Book]
Process-Aware Information Systems: Bridging People and Software through Process Technology, 2005

Dumas, M.
van der Aalst, Wil M. P.
ter Hofstede, A. H. M.

[Book]
Conformance Testing: Measuring the Alignment Between Event Logs and Process Models, 2005

Rozinat, A.
van der Aalst, Wil M. P.

[Book]
Translating Workflow Nets to BPEL4WS, 2005

van der Aalst, Wil M. P.
Lassen, K. B.

[Book]
Modeling Work Distribution Mechanisms using Colored Petri Nets, 2005

Pesic, M.
van der Aalst, Wil M. P.

[Book]
Process Mining in Case Handling Systems, 2005

van der Aalst, Wil M. P.

[Contribution to a book]
Patterns of Process Modeling
In: Process-Aware Information Systems : Bridging People and Software Through Process Technology / Marlon Dumas ; Wil M. van der Aalst ; Arthur H. ter Hofstede, 179-203, 2005

van der Aalst, Wil M. P.
ter Hofstede, A. H. M.
Dumas, M.

[Contribution to a book]
Process Mining
In: Process-Aware Information Systems : Bridging People and Software Through Process Technology / Marlon Dumas ; Wil M. van der Aalst ; Arthur H. ter Hofstede, 235-255, 2005

van der Aalst, Wil M. P.
Weijters, A. J. M. M.

[Contribution to a book]
Introduction
In: Process-Aware Information Systems : Bridging People and Software Through Process Technology / Marlon Dumas ; Wil M. van der Aalst ; Arthur H. ter Hofstede, 3-20, 2005

Dumas, M.
van der Aalst, Wil M. P.
ter Hofstede, A. H. M.

[Report]
Case Handling: A New Paradigm for Business Process Support, 2005

van der Aalst, Wil M. P.
Weske, M.

[Contribution to a book, Contribution to a conference proceedings]
Clicks: An effective algorithm for mining subspace clusters in categorical datasets
In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining : KDD-2005 ; August 21 - 24, 2005, Chicago, Illinois, USA / sponsored by: ACM Special Interest Group on Knowledge Discovery and Data Mining, ACM Special Interest Group on Management of Data, and American Association for Artificial Intelligence. Ed. by: Robert L. Grossman ..., 736-742, 2005
[DOI: 10.1145/1081870.1081965]

Zaki, Mohammed Javeed
Peters, Markus
Assent, Ira
Seidl, Thomas

[Contribution to a book, Contribution to a conference proceedings]
Segmentation of medical images combining local, regional, global, and hierarchical distances into a bottom-up region merging scheme
In: Medical imaging 2005: image processing : 13-17 February 2005, San Diego, California, USA ; [papers presented at the Image Processing Conference of the 2005 SPIE Medical Imaging Symposium] / sponsored and publ. by SPIE, the International Society for Optical Engineering ... J. Michael Fitzpatrick ..., chairs/ed.. - Pt. 3, 546-555, 2005
[DOI: 10.1117/12.595468]

Lehmann, Thomas Martin
Beier, Daniel
Thies, Christian
Seidl, Thomas

[Contribution to a book, Contribution to a conference proceedings]
Integrating the relational interval tree into IBM's DB2 universal database server
In: Datenbanksysteme in Business, Technologie und Web (BTW) : 11. Fachtagung des GI-Fachbereichs 'Datenbanken und Informationssysteme' (DBIS), 2. - 4. März 2005 Karlsruhe / Gottfried Vossen ... (Hrsg.), 2005

Brochhaus, Christoph
Enderle, Jost
Schlosser, Achim
Seidl, Thomas
Stolze, Knut