A Declarative Approach for Flexible Business Processes Management. - Maja Pesic; Wil M. P. van der Aalst (Business Process Management Workshops, 2006)

DecSerFlow: Towards a Truly Declarative Service Flow Language. - Wil M. P. van der Aalst; Maja Pesic (WS-FM, 2006)

Declarative 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)

DECLARE: Full Support for Loosely-Structured Processes. - Maja Pesic; Helen Schonenberg; Wil M. P. van der Aalst (EDOC, 2007)

Constraint-Based Workflow Models: Change Made Easy. - Maja Pesic; M. H. Schonenberg; Natalia Sidorova; Wil M. P. van der Aalst (OTM Conferences (1), 2007)

Specifying and Monitoring Service Flows: Making Web Services Process-Aware. - Wil M. P. van der Aalst; Maja Pesic (Test and Analysis of Web Services, 2007)

Modelling work distribution mechanisms using Colored Petri Nets. - Maja Pesic; Wil M. P. van der Aalst (Int. J. Softw. Tools Technol. Transf., 2007)

DECLARE Demo: A Constraint-based Workflow Management System. - Maja Pesic; Helen Schonenberg; Wil M. P. van der Aalst (BPM (Demos), 2009)

Flexibility as a Service. - Wil M. P. van der Aalst; Michael Adams 001; Arthur H. M. ter Hofstede; Maja Pesic; Helen Schonenberg (DASFAA Workshops, 2009)

Declarative workflows: Balancing between flexibility and support. - Wil M. P. van der Aalst; Maja Pesic; Helen Schonenberg (Comput. Sci. Res. Dev., 2009)

Declarative Workflow. - Maja Pesic; Helen Schonenberg; Wil M. P. van der Aalst (Modern Business Process Automation, 2010)

The Declare Service. - Maja Pesic; Helen Schonenberg; Wil M. P. van der Aalst (Modern Business Process Automation, 2010)

Beyond Process Mining: From the Past to Present and Future. - Wil M. P. van der Aalst; Maja Pesic; Minseok Song 001 (CAiSE, 2010)

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. - Maja Pesic; Dragan Bosnacki; Wil M. P. van der Aalst (SPIN, 2010)

Declarative specification and verification of service choreographiess. - Marco Montali; Maja Pesic; Wil M. P. van der Aalst; Federico Chesani; Paola Mello; Sergio Storari (ACM Trans. Web, 2010)

Supervisory control service for supporting flexible processes. - Eduardo Alves Portela Santos; Rosemary Francisco; Maja Pesic; Wil M. P. van der Aalst (Ind. Manag. Data Syst., 2013)