Wendy MacCaull

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 9

Top Topics

Description Logics

Top Venues

Comput. Informatics

Publications

Andrew LeClair, Alicia Marinache, Haya El Ghalayini, Wendy MacCaull, Ridha Khédri
A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective. IEEE Trans. Knowl. Data Eng. 35 (5) (2023)
Bahareh Fatemi, Fazle Rabbi, Wendy MacCaull
A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Andrew LeClair, Jason Jaskolka, Wendy MacCaull, Ridha Khédri
Architecture for ontology-supported multi-context reasoning systems. Data Knowl. Eng. 140 (2022)
Fazle Rabbi, Bahareh Fatemi, Wendy MacCaull
Analysis of Patient Pathways with Contextual Process Mining. HEDA@Petri Nets (2022)
Fazle Rabbi, Yngve Lamo, Wendy MacCaull
A Model Based Slicing Technique for Process Mining Healthcare Information. ICSMM (2020)
Xiaowang Zhang, Zhiyong Feng, Wenrui Wu, Mokarrom Hossain, Wendy MacCaull
On the Satisfiability of Quasi-Classical Description Logics. Comput. Informatics 36 (6) (2017)
Mokarrom Hossain, Wendy MacCaull
Optimizing Inconsistency-tolerant Description Logic Reasoning. ARQNL@IJCAR (2016)
Mostafijur Rahman, Wendy MacCaull
An Application Suite for Service Enabled Workflow. ANT/SEIT (2016)
Altaf Hussain, Wendy MacCaull, Yngve Lamo
CASD: A Framework for Context Aware Service Discovery and Selection. OTM Workshops (2016)
Ellen A. A. Jaatun, Wendy MacCaull
Aspects of ubiquitous computing for improved clinical practice. Pers. Ubiquitous Comput. 19 (3-4) (2015)
Mostafijur Rahman, Wendy MacCaull
MOSEW: a tool suite for service enabled workflow. OM (2015)
Jocelyne Faddoul, Wendy MacCaull
Handling Non-determinism with Description Logics using a Fork/Join Approach. Int. J. Netw. Comput. 5 (1) (2015)
Wendy MacCaull, Ellen A. A. Jaatun
ICTH Preface 2014. EUSPN/ICTH (2014)
Fazle Rabbi, Yngve Lamo, Wendy MacCaull
Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. EUSPN/ICTH (2014)
Fazle Rabbi, Wendy MacCaull
User-Friendly UIs for the Execution of Clinical Practice Guidelines. CBMS (2014)
Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. FM (2014)
Fazle Rabbi, Yngve Lamo, Wendy MacCaull
A Flexible Metamodelling Approach for Healthcare Systems. PAHI (2014)
Jocelyne Faddoul, Wendy MacCaull
A Parallel Framework for Handling Non-determinism with Expressive Description Logics. IPDPS Workshops (2014)
Altaf Hussain, Wendy MacCaull
Context aware service discovery and service enabled workflow. CSWS (2013)
Fazle Rabbi, Hao Wang, Wendy MacCaull, Adrian Rutle
A Model Slicing Method for Workflow Verification. Electron. Notes Theor. Comput. Sci. 295 (2013)
Jocelyne Faddoul, Wendy MacCaull
Parallelizing Algebraic Reasoning for the Description Logic SHOQ. CSWS (2013)
Fazle Rabbi, Wendy MacCaull, Rokan Uddin Faruqui
A scalable ontology reasoner via incremental materialization. CBMS (2013)
Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo
A User-friendly Tool for Model Checking Healthcare Workflows. EUSPN/ICTH (2013)
Rokan Uddin Faruqui, Wendy MacCaull
O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. FHIES (2012)
Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS (2012)
Hao Wang, Adrian Rutle, Wendy MacCaull
A Formal Diagrammatic Approach to Timed Workflow Modelling. TASE (2012)
Adrian Rutle, Wendy MacCaull, Hao Wang, Yngve Lamo
A metamodelling approach to behavioural modelling. BM-FA (2012)
Cristian Cocos, Fahim T. Imam, Wendy MacCaull
Ontology Merging and Reasoning Using Paraconsistent Logics. Int. J. Knowl. Based Organ. 2 (4) (2012)
Fazle Rabbi, Wendy MacCaull
. CAiSE Workshops (2012)
Adrian Rutle, Hao Wang, Wendy MacCaull
A Formal Diagrammatic Approach to Compensable Workflow Modelling. FHIES (2012)
Md Zahidul Islam, Wendy MacCaull
A One-Pass Tableau-Based Workflow Verification Framework. PAAR@IJCAR (2012)
Fazle Rabbi, Wendy MacCaull
: A Domain Specific Language for Rapid Workflow Development. MoDELS (2012)
Wendy MacCaull, Fazle Rabbi
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. FHIES (2011)
Keith Miller, Wendy MacCaull
Model checking timed properties of healthcare processes. J. Softw. Maintenance Res. Pract. 23 (4) (2011)
Nazia Leyla, Wendy MacCaull
A Personalized Access Control Framework for Workflow-Based Health Care Information. Business Process Management Workshops (2) (2011)
Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. FMICS (2011)
Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull
Model Checking Workflow Monitors and Its Application to a Pain Management Process. FHIES (2011)
Wendy MacCaull, Heather Jewers, Markus Latzel
Using an interdisciplinary approach to develop a knowledge-driven careflow management system for collaborative patient-centred palliative care. IHI (2010)
Ji Ruan, Wendy MacCaull, Heather Jewers
Enhancing Patient-Centered Palliative Care with Collaborative Agents. Web Intelligence/IAT Workshops (2010)
Ji Ruan, Wendy MacCaull, Heather Jewers
Agent-Based Careflow for Patient-Centred Palliative Care. eHealth (2010)
Fazle Rabbi, Hao Wang, Wendy MacCaull
Compensable WorkFlow Nets. ICFEM (2010)
Fazle Rabbi, Hao Wang, Wendy MacCaull
YAWL2DVE: An Automated Translator for Workflow Verification. SSIRI (2010)
Nazia Leyla, Ahmed Shah Mashiyat, Hao Wang, Wendy MacCaull
Towards workflow verification. CASCON (2010)
Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull
An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS (2010)
Keith Miller, Wendy MacCaull
Logic. Business Process Management Workshops (2009)
Hao Wang, Wendy MacCaull
Verifying Real-Time Systems using Explicit-time Description Methods QFM (2009)
Hao Wang, Wendy MacCaull
An Efficient Explicit-time Description Method for Timed Model Checking PDMC (2009)
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
Distributive contact lattices: Topological representations. J. Log. Algebraic Methods Program. 76 (1) (2008)
Fahim T. Imam, Wendy MacCaull
Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. Business Process Management Workshops (2008)
Jeff Dallien, Wendy MacCaull, Allen Tien
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. MOMPES (2008)
Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. CBMS (2007)
Wendy MacCaull, Ewa Orlowska
A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16 (6) (2006)
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
Topological Representation of Contact Lattices. RelMiCS (2006)
Wendy MacCaull, Dimiter Vakarelov
Lattice-Based Paraconsistent Logic. RelMiCS (2005)
Marsha Chechik, Wendy MacCaull
CTL Model-Checking over Logics with Non-Classical Negations. ISMVL (2003)
Wendy MacCaull, Ewa Orlowska
A Calculus of Typed Relations. RelMiCS (2003)
Wendy MacCaull, Ewa Orlowska
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Stud Logica 71 (3) (2002)
Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
Relational methods in computer science - Preface. Inf. Sci. 139 (3-4) (2001)
Gerard Allwein, Wendy MacCaull
A Kripke Semantics for the Logic of Gelfand Quantales. Stud Logica 68 (2) (2001)
Wendy MacCaull
A Proof System for Dependencies for Information Relations. Fundam. Informaticae 42 (1) (2000)
Ivo Düntsch, Wendy MacCaull, Ewa Orlowska
Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL (2000)
Wendy MacCaull
A relational approach to association rules and functional dependencies. RelMiCS (1998)
Wendy MacCaull
Relational Semantics and a Relational Proof System for Full Lambek Calculus. J. Symb. Log. 63 (2) (1998)
Wendy MacCaull
Semantics for Logics without Contraction Using Ternary Relations. RelMiCS (1997)
Wendy MacCaull
Relational Proof System for Linear and Other Substructural Logics. Log. J. IGPL 5 (5) (1997)
Wendy MacCaull
A note on Kripke semantics for residuated logic. Fuzzy Sets Syst. 77 (2) (1996)
Wendy MacCaull
Tableau method for residuated logic. Fuzzy Sets Syst. 80 (3) (1996)
Wendy MacCaull
Finite Algebraic Models for Residuated Logic. ISMVL (1995)
Wendy MacCaull
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. Ann. Pure Appl. Log. 44 (3) (1989)
Wendy MacCaull
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. J. Symb. Log. 53 (4) (1988)