] Filters: Author is Aalst, Wil [Clear All Filters]
Modern Business Process Automation - YAWL and its Support Environment,
: Springer, 2010.
Process-Aware Information Systems: Bridging People and Software through Process Technology,
: Wiley & Sons, 2005.
"Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach",
Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 2010.
"Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge",
Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
"Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics",
Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, vol. 4714: Springer, pp. 328-343, 2007.
"A Declarative Approach for Flexible Business Processes Management",
Proceedings of the BPM 2006 Workshops (BPD, BPI, ENEI, GPWW, DPM, semantics4ws), vol. 4103: Springer, pp. 169-180, 2006.
"A Meta Model for Process Mining Data",
Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), vol. 160: FEUP Edições, pp. 309-320, 2005.
"Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models",
{Proceedings of the BPM 2005 Workshops}, vol. 3812: Springer, pp. 163-176, 2006.
"Constraint-Based Workflow Models: Change Made Easy",
{Proceedings of the OTM 2007 Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS}, vol. 4803: Springer, pp. 77-94, 2007.
"Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues",
Proceedings of BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, semantics4ws), vol. 4928: Springer, pp. 335-346, 2008.
"DECLARE: Full Support for Loosely-Structured Processes",
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007): IEEE Computer Society, pp. 287-300, 2007.
"DecSerFlow: Towards a Truly Declarative Service Flow Language",
Proceedings of the 3rd Workshop on Web Services and Formal Methods (WS-FM2006), vol. 4184: Springer, pp. 1-23, 2006.
"Life After BPEL?",
Proceedings of the 2nd International Workshop on Web Services and Formal Methods ({WS}-{FM} 2005), vol. 3670: Springer, pp. 35–50, 2005.
"Multi-phase Process Mining: Building Instance Graphs",
23rd International Conference on Conceptual Modeling (ER2004), vol. 3288: Springer, pp. 362-376, 2004.
"Process Mining and Verification of Properties: An Approach based on Temporal Logic",
{Proceedings of the OTM 2005 Confederated International Conferences CoopIS, DOA, and ODBASE}, vol. 3760: Springer, pp. 130-147, 2005.
"ProM 4.0: Comprehensive Support for Real Process Analysis",
{Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)}, vol. 4546: Springer, pp. 484–494, 2007.
"Towards a Taxonomy of Process Flexibility",
Proceedings of the Forum at the CAiSE'08 Conference, vol. 344, pp. 81-84, 2008.
"Verification of Workflow Nets",
Proceedings of the 18th International Conference on Application and Theory of Petri Nets 1997, vol. 1248: Springer, pp. 407-426, 1997.
"Web Service Composition Languages: Old Wine in New Bottles?",
Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture: IEEE Computer Society, pp. 298–305, 2003.
"A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modelling Languages",
Journal of the American Medical Informatics Association, vol. 14, pp. 781-787, 2007.
"Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor",
IEEE Computer, vol. 43, no. 3, pp. 90-93, 2010.
"Business Process Mining: An Industrial Application",
Information Systems, vol. 32, no. 5, pp. 713-732, 2007.
"Conformance Checking of Service Behavior",
{ACM Transactions on Internet Technologies}, vol. 8, no. 3, 2008.
"Dealing with Workflow Change: Identification of Issues and Solutions",
Computer Systems, Science, and Engineering, vol. 15, no. 5, pp. 267-276, 2000.
"Declarative Specification and Verification of Service Choreographies",
ACM Transactions on the Web, vol. 4, no. 1, 2010.