Wendy MacCaull

73 papers A 1B 4C 3Misc 1Journal 20Unranked 41

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