On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. - Wendy MacCaull (J. Symb. Log., 1988)

Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. - Wendy MacCaull (Ann. Pure Appl. Log., 1989)

Finite Algebraic Models for Residuated Logic. - Wendy MacCaull (ISMVL, 1995)

Tableau method for residuated logic. - Wendy MacCaull (Fuzzy Sets Syst., 1996)

A note on Kripke semantics for residuated logic. - Wendy MacCaull (Fuzzy Sets Syst., 1996)

Semantics for Logics without Contraction Using Ternary Relations. - Wendy MacCaull (RelMiCS, 1997)

Relational Proof System for Linear and Other Substructural Logics. - Wendy MacCaull (Log. J. IGPL, 1997)

A relational approach to association rules and functional dependencies. - Wendy MacCaull (RelMiCS, 1998)

Relational Semantics and a Relational Proof System for Full Lambek Calculus. - Wendy MacCaull (J. Symb. Log., 1998)

Structures with Many-Valued Information and Their Relational Proof Theory. - Ivo Düntsch; Wendy MacCaull; Ewa Orlowska (ISMVL, 2000)

A Proof System for Dependencies for Information Relations. - Wendy MacCaull (Fundam. Informaticae, 2000)

Relational methods in computer science - Preface. - Jules Desharnais; Marc Frappier; Ali Jaoua; Wendy MacCaull (Inf. Sci., 2001)

A Kripke Semantics for the Logic of Gelfand Quantales. - Gerard Allwein; Wendy MacCaull (Stud Logica, 2001)

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. - Wendy MacCaull; Ewa Orlowska (Stud Logica, 2002)

A Calculus of Typed Relations. - Wendy MacCaull; Ewa Orlowska (RelMiCS, 2003)

CTL Model-Checking over Logics with Non-Classical Negations. - Marsha Chechik; Wendy MacCaull (ISMVL, 2003)

Lattice-Based Paraconsistent Logic. - Wendy MacCaull; Dimiter Vakarelov (RelMiCS, 2005)

Topological Representation of Contact Lattices. - Ivo Düntsch; Wendy MacCaull; Dimiter Vakarelov; Michael Winter 001 (RelMiCS, 2006)

A Logic of Type Relations and its Applications to Relational Databases. - Wendy MacCaull; Ewa Orlowska (J. Log. Comput., 2006)

Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. - Fahim T. Imam; Wendy MacCaull; Margaret Ann Kennedy (CBMS, 2007)

Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. - Fahim T. Imam; Wendy MacCaull (Business Process Management Workshops, 2008)

Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. - Jeff Dallien; Wendy MacCaull; Allen Tien (MOMPES, 2008)

Distributive contact lattices: Topological representations. - Ivo Düntsch; Wendy MacCaull; Dimiter Vakarelov; Michael Winter 001 (J. Log. Algebraic Methods Program., 2008)

Verification of Careflow Management Systems with Timed BDICTL Logic. - Keith Miller 004; Wendy MacCaull (Business Process Management Workshops, 2009)

Verifying Real-Time Systems using Explicit-time Description Methods - Hao Wang 003; Wendy MacCaull (QFM, 2009)

An Efficient Explicit-time Description Method for Timed Model Checking - Hao Wang 003; Wendy MacCaull (PDMC, 2009)

Towards workflow verification. - Nazia Leyla; Ahmed Shah Mashiyat; Hao Wang 003; Wendy MacCaull (CASCON, 2010)

Agent-Based Careflow for Patient-Centred Palliative Care. - Ji Ruan; Wendy MacCaull; Heather Jewers (eHealth, 2010)

An Automated Translator for Model Checking Time Constrained Workflow Systems. - Ahmed Shah Mashiyat; Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull (FMICS, 2010)

Enhancing Patient-Centered Palliative Care with Collaborative Agents. - Ji Ruan; Wendy MacCaull; Heather Jewers (Web Intelligence/IAT Workshops, 2010)

Compensable WorkFlow Nets. - Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull (ICFEM, 2010)

Using an interdisciplinary approach to develop a knowledge-driven careflow management system for collaborative patient-centred palliative care. - Wendy MacCaull; Heather Jewers; Markus Latzel (IHI, 2010)

YAWL2DVE: An Automated Translator for Workflow Verification. - Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull (SSIRI, 2010)

A Personalized Access Control Framework for Workflow-Based Health Care Information. - Nazia Leyla; Wendy MacCaull (Business Process Management Workshops (2), 2011)

NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. - Wendy MacCaull; Fazle Rabbi 001 (FHIES, 2011)

Model Checking Workflow Monitors and Its Application to a Pain Management Process. - Fazle Rabbi 001; Ahmed Shah Mashiyat; Wendy MacCaull (FHIES, 2011)

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. - Ahmed Shah Mashiyat; Fazle Rabbi 001; Wendy MacCaull (FMICS, 2011)

Model checking timed properties of healthcare processes. - Keith Miller 004; Wendy MacCaull (J. Softw. Maintenance Res. Pract., 2011)

A metamodelling approach to behavioural modelling. - Adrian Rutle; Wendy MacCaull; Hao Wang 003; Yngve Lamo (BM-FA, 2012)

A One-Pass Tableau-Based Workflow Verification Framework. - Md Zahidul Islam 001; Wendy MacCaull (PAAR@IJCAR, 2012)

Model Driven Workflow Development with T□. - Fazle Rabbi 001; Wendy MacCaull (CAiSE Workshops, 2012)

O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. - Rokan Uddin Faruqui; Wendy MacCaull (FHIES, 2012)

A Formal Diagrammatic Approach to Compensable Workflow Modelling. - Adrian Rutle; Hao Wang 003; Wendy MacCaull (FHIES, 2012)

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. - Abdur Rakib; Rokan Uddin Faruqui; Wendy MacCaull (FoIKS, 2012)

T□: A Domain Specific Language for Rapid Workflow Development. - Fazle Rabbi 001; Wendy MacCaull (MoDELS, 2012)

A Formal Diagrammatic Approach to Timed Workflow Modelling. - Hao Wang 003; Adrian Rutle; Wendy MacCaull (TASE, 2012)

A Model Slicing Method for Workflow Verification. - Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull; Adrian Rutle (FESCA, 2012)

Ontology Merging and Reasoning Using Paraconsistent Logics. - Cristian Cocos; Fahim T. Imam; Wendy MacCaull (Int. J. Knowl. Based Organ., 2012)

A scalable ontology reasoner via incremental materialization. - Fazle Rabbi 001; Wendy MacCaull; Rokan Uddin Faruqui (CBMS, 2013)

Parallelizing Algebraic Reasoning for the Description Logic SHOQ. - Jocelyne Faddoul; Wendy MacCaull (CSWS, 2013)

Context aware service discovery and service enabled workflow. - Altaf Hussain; Wendy MacCaull (CSWS, 2013)

A User-friendly Tool for Model Checking Healthcare Workflows. - Adrian Rutle; Fazle Rabbi 001; Wendy MacCaull; Yngve Lamo (EUSPN/ICTH, 2013)

User-Friendly UIs for the Execution of Clinical Practice Guidelines. - Fazle Rabbi 001; Wendy MacCaull (CBMS, 2014)

ICTH Preface 2014. - Wendy MacCaull; Ellen A. A. Jaatun (EUSPN/ICTH, 2014)

Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. - Fazle Rabbi 001; Yngve Lamo; Wendy MacCaull (EUSPN/ICTH, 2014)

Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. - Morteza Yousef Sanati; Wendy MacCaull; T. S. E. Maibaum (FM, 2014)

A Parallel Framework for Handling Non-determinism with Expressive Description Logics. - Jocelyne Faddoul; Wendy MacCaull (IPDPS Workshops, 2014)

A Flexible Metamodelling Approach for Healthcare Systems. - Fazle Rabbi 001; Yngve Lamo; Wendy MacCaull (PAHI, 2014)

MOSEW: a tool suite for service enabled workflow. - Mostafijur Rahman; Wendy MacCaull (OM, 2015)

Handling Non-determinism with Description Logics using a Fork/Join Approach. - Jocelyne Faddoul; Wendy MacCaull (Int. J. Netw. Comput., 2015)

Aspects of ubiquitous computing for improved clinical practice. - Ellen A. A. Jaatun; Wendy MacCaull (Pers. Ubiquitous Comput., 2015)

An Application Suite for Service Enabled Workflow. - Mostafijur Rahman; Wendy MacCaull (ANT/SEIT, 2016)

Optimizing Inconsistency-tolerant Description Logic Reasoning. - Mokarrom Hossain; Wendy MacCaull (ARQNL@IJCAR, 2016)

CASD: A Framework for Context Aware Service Discovery and Selection. - Altaf Hussain; Wendy MacCaull; Yngve Lamo (OTM Workshops, 2016)

On the Satisfiability of Quasi-Classical Description Logics. - Xiaowang Zhang; Zhiyong Feng 002; Wenrui Wu; Mokarrom Hossain; Wendy MacCaull (Comput. Informatics, 2017)

A Model Based Slicing Technique for Process Mining Healthcare Information. - Fazle Rabbi 001; Yngve Lamo; Wendy MacCaull (ICSMM, 2020)

Analysis of Patient Pathways with Contextual Process Mining. - Fazle Rabbi 001; Bahareh Fatemi; Wendy MacCaull (HEDA@Petri Nets, 2022)

Architecture for ontology-supported multi-context reasoning systems. - Andrew LeClair; Jason Jaskolka; Wendy MacCaull; Ridha Khédri (Data Knowl. Eng., 2022)

A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering. - Bahareh Fatemi; Fazle Rabbi 001; Wendy MacCaull (Trans. Petri Nets Other Model. Concurr., 2023)

A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective. - Andrew LeClair; Alicia Marinache; Haya El Ghalayini; Wendy MacCaull; Ridha Khédri (IEEE Trans. Knowl. Data Eng., 2023)