| 2010 |
| 15 | Beyond Process Mining: From the Past to Present and Future. Wil M. P. van der Aalst, Maja Pesic, Minseok Song. CAiSE 2010, 38-52. Web SearchBibTeXDownload |
| 14 | Declarative Workflow. Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst. Modern Business Process Automation 2010, 175-201. Web SearchBibTeXDownload |
| 13 | The Declare Service. Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst. Modern Business Process Automation 2010, 327-343. Web SearchBibTeXDownload |
| 12 | Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst. SPIN 2010, 146-161. Web SearchBibTeXDownload |
| 11 | Declarative specification and verification of service choreographiess. Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari. TWEB (4) (2010). Web SearchBibTeXDownload |
| 2009 |
| 10 | DECLARE Demo: A Constraint-based Workflow Management System. Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst. BPM (Demos) 2009. Web SearchBibTeXDownload |
| 9 | Declarative 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 |
| 8 | Flexibility 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 |
| 2007 |
| 7 | 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, 335-346. Web SearchBibTeXDownload |
| 6 | DECLARE: Full Support for Loosely-Structured Processes. Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst. EDOC 2007, 287-300. Web SearchBibTeXDownload |
| 5 | Constraint-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 |
| 4 | Modelling work distribution mechanisms using Colored Petri Nets. Maja Pesic, Wil M. P. van der Aalst. STTT (9): 327-352 (2007). Web SearchBibTeXDownload |
| 3 | 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, 11-55. Web SearchBibTeXDownload |
| 2006 |
| 2 | A Declarative Approach for Flexible Business Processes Management. Maja Pesic, Wil M. P. van der Aalst. Business Process Management Workshops 2006, 169-180. Web SearchBibTeXDownload |
| 1 | DecSerFlow: 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 |