| 2016 | ANT | An Application Suite for Service Enabled Workflow. | Mostafijur Rahman, Wendy MacCaull |
| 2016 | CADE | Optimizing Inconsistency-tolerant Description Logic Reasoning. | Mokarrom Hossain, Wendy MacCaull |
| 2014 | CBMS | User-Friendly UIs for the Execution of Clinical Practice Guidelines. | Fazle Rabbi, Wendy MacCaull |
| 2014 | EUSPN | ICTH Preface 2014. | Wendy MacCaull, Ellen A. A. Jaatun |
| 2014 | EUSPN | Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. | Fazle Rabbi, Yngve Lamo, Wendy MacCaull |
| 2014 | FM | Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. | Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum |
| 2013 | CBMS | A scalable ontology reasoner via incremental materialization. | Fazle Rabbi, Wendy MacCaull, Rokan Uddin Faruqui |
| 2013 | EUSPN | A User-friendly Tool for Model Checking Healthcare Workflows. | Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo |
| 2012 | CADE | A One-Pass Tableau-Based Workflow Verification Framework. | Md Zahidul Islam, Wendy MacCaull |
| 2012 | CaiSE | Model Driven Workflow Development with T | Fazle Rabbi, Wendy MacCaull |
| 2012 | MODELS | T | Fazle Rabbi, Wendy MacCaull |
| 2012 | TASE | A Formal Diagrammatic Approach to Timed Workflow Modelling. | Hao Wang, Adrian Rutle, Wendy MacCaull |
| 2011 | BPM | A Personalized Access Control Framework for Workflow-Based Health Care Information. | Nazia Leyla, Wendy MacCaull |
| 2011 | FMICS | Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. | Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull |
| 2010 | FMICS | An Automated Translator for Model Checking Time Constrained Workflow Systems. | Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull |
| 2010 | ICFEM | Compensable WorkFlow Nets. | Fazle Rabbi, Hao Wang, Wendy MacCaull |
| 2009 | BPM | Verification of Careflow Management Systems with Timed | Keith Miller, Wendy MacCaull |
| 2008 | BPM | Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. | Fahim T. Imam, Wendy MacCaull |
| 2007 | CBMS | Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. | Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy |