default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWendy MacCaull
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j20]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): 4376-4394 (2023)- [j19]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: 108-137 (2023) - 2022
- [j18]Andrew LeClair, Jason Jaskolka, Wendy MacCaull, Ridha Khédri:
Architecture for ontology-supported multi-context reasoning systems. Data Knowl. Eng. 140: 102044 (2022) - 2017
- [j17]Xiaowang Zhang, Zhiyong Feng, Wenrui Wu, Mokarrom Hossain, Wendy MacCaull:
On the Satisfiability of Quasi-Classical Description Logics. Comput. Informatics 36(6): 1415-1446 (2017) - 2015
- [j16]Jocelyne Faddoul, Wendy MacCaull:
Handling Non-determinism with Description Logics using a Fork/Join Approach. Int. J. Netw. Comput. 5(1): 61-85 (2015) - [j15]Ellen A. A. Jaatun, Wendy MacCaull:
Aspects of ubiquitous computing for improved clinical practice. Pers. Ubiquitous Comput. 19(3-4): 569-571 (2015) - 2012
- [j14]Cristian Cocos, Fahim T. Imam, Wendy MacCaull:
Ontology Merging and Reasoning Using Paraconsistent Logics. Int. J. Knowl. Based Organ. 2(4): 35-51 (2012) - 2011
- [j13]Keith Miller, Wendy MacCaull:
Model checking timed properties of healthcare processes. J. Softw. Maintenance Res. Pract. 23(4): 245-260 (2011) - 2008
- [j12]Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
Distributive contact lattices: Topological representations. J. Log. Algebraic Methods Program. 76(1): 18-34 (2008) - 2006
- [j11]Wendy MacCaull, Ewa Orlowska:
A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006) - 2002
- [j10]Wendy MacCaull, Ewa Orlowska:
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Stud Logica 71(3): 389-414 (2002) - 2001
- [j9]Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull:
Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001) - [j8]Gerard Allwein, Wendy MacCaull:
A Kripke Semantics for the Logic of Gelfand Quantales. Stud Logica 68(2): 173-228 (2001) - 2000
- [j7]Wendy MacCaull:
A Proof System for Dependencies for Information Relations. Fundam. Informaticae 42(1): 1-27 (2000) - 1998
- [j6]Wendy MacCaull:
Relational Semantics and a Relational Proof System for Full Lambek Calculus. J. Symb. Log. 63(2): 623-637 (1998) - 1997
- [j5]Wendy MacCaull:
Relational Proof System for Linear and Other Substructural Logics. Log. J. IGPL 5(5): 673-697 (1997) - 1996
- [j4]Wendy MacCaull:
A note on Kripke semantics for residuated logic. Fuzzy Sets Syst. 77(2): 229-234 (1996) - [j3]Wendy MacCaull:
Tableau method for residuated logic. Fuzzy Sets Syst. 80(3): 327-337 (1996) - 1989
- [j2]Wendy MacCaull:
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. Ann. Pure Appl. Log. 44(3): 243-257 (1989) - 1988
- [j1]Wendy MacCaull:
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. J. Symb. Log. 53(4): 1177-1187 (1988)
Conference and Workshop Papers
- 2022
- [c50]Fazle Rabbi, Bahareh Fatemi, Wendy MacCaull:
Analysis of Patient Pathways with Contextual Process Mining. HEDA@Petri Nets 2022 - 2020
- [c49]Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
A Model Based Slicing Technique for Process Mining Healthcare Information. ICSMM 2020: 73-81 - 2016
- [c48]Mostafijur Rahman, Wendy MacCaull:
An Application Suite for Service Enabled Workflow. ANT/SEIT 2016: 480-487 - [c47]Mokarrom Hossain, Wendy MacCaull:
Optimizing Inconsistency-tolerant Description Logic Reasoning. ARQNL@IJCAR 2016: 66-80 - [c46]Altaf Hussain, Wendy MacCaull, Yngve Lamo:
CASD: A Framework for Context Aware Service Discovery and Selection. OTM Workshops 2016: 252-264 - 2015
- [c45]Mostafijur Rahman, Wendy MacCaull:
MOSEW: a tool suite for service enabled workflow. OM 2015: 238-239 - 2014
- [c44]Fazle Rabbi, Wendy MacCaull:
User-Friendly UIs for the Execution of Clinical Practice Guidelines. CBMS 2014: 489-490 - [c43]Wendy MacCaull, Ellen A. A. Jaatun:
ICTH Preface 2014. EUSPN/ICTH 2014: 9-11 - [c42]Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. EUSPN/ICTH 2014: 473-480 - [c41]Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum:
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. FM 2014: 611-626 - [c40]Jocelyne Faddoul, Wendy MacCaull:
A Parallel Framework for Handling Non-determinism with Expressive Description Logics. IPDPS Workshops 2014: 699-708 - [c39]Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
A Flexible Metamodelling Approach for Healthcare Systems. PAHI 2014: 115-128 - 2013
- [c38]Fazle Rabbi, Wendy MacCaull, Rokan Uddin Faruqui:
A scalable ontology reasoner via incremental materialization. CBMS 2013: 221-226 - [c37]Jocelyne Faddoul, Wendy MacCaull:
Parallelizing Algebraic Reasoning for the Description Logic SHOQ. CSWS 2013: 20-23 - [c36]Altaf Hussain, Wendy MacCaull:
Context aware service discovery and service enabled workflow. CSWS 2013: 45-48 - [c35]Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo:
A User-friendly Tool for Model Checking Healthcare Workflows. EUSPN/ICTH 2013: 317-326 - 2012
- [c34]Adrian Rutle, Wendy MacCaull, Hao Wang, Yngve Lamo:
A metamodelling approach to behavioural modelling. BM-FA 2012: 5 - [c33]Md Zahidul Islam, Wendy MacCaull:
A One-Pass Tableau-Based Workflow Verification Framework. PAAR@IJCAR 2012: 58-71 - [c32]Fazle Rabbi, Wendy MacCaull:
Model Driven Workflow Development with T□. CAiSE Workshops 2012: 265-279 - [c31]Rokan Uddin Faruqui, Wendy MacCaull:
O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. FHIES 2012: 105-123 - [c30]Adrian Rutle, Hao Wang, Wendy MacCaull:
A Formal Diagrammatic Approach to Compensable Workflow Modelling. FHIES 2012: 194-212 - [c29]Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull:
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS 2012: 312-331 - [c28]Fazle Rabbi, Wendy MacCaull:
T□: A Domain Specific Language for Rapid Workflow Development. MoDELS 2012: 36-52 - [c27]Hao Wang, Adrian Rutle, Wendy MacCaull:
A Formal Diagrammatic Approach to Timed Workflow Modelling. TASE 2012: 167-174 - [c26]Fazle Rabbi, Hao Wang, Wendy MacCaull, Adrian Rutle:
A Model Slicing Method for Workflow Verification. FESCA 2012: 79-93 - 2011
- [c25]Nazia Leyla, Wendy MacCaull:
A Personalized Access Control Framework for Workflow-Based Health Care Information. Business Process Management Workshops (2) 2011: 273-284 - [c24]Wendy MacCaull, Fazle Rabbi:
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. FHIES 2011: 75-92 - [c23]Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull:
Model Checking Workflow Monitors and Its Application to a Pain Management Process. FHIES 2011: 111-128 - [c22]Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull:
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. FMICS 2011: 244-259 - 2010
- [c21]Nazia Leyla, Ahmed Shah Mashiyat, Hao Wang, Wendy MacCaull:
Towards workflow verification. CASCON 2010: 253-267 - [c20]Ji Ruan, Wendy MacCaull, Heather Jewers:
Agent-Based Careflow for Patient-Centred Palliative Care. eHealth 2010: 285-294 - [c19]Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull:
An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS 2010: 99-114 - [c18]Ji Ruan, Wendy MacCaull, Heather Jewers:
Enhancing Patient-Centered Palliative Care with Collaborative Agents. Web Intelligence/IAT Workshops 2010: 356-360 - [c17]Fazle Rabbi, Hao Wang, Wendy MacCaull:
Compensable WorkFlow Nets. ICFEM 2010: 122-137 - [c16]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: 507-511 - [c15]Fazle Rabbi, Hao Wang, Wendy MacCaull:
YAWL2DVE: An Automated Translator for Workflow Verification. SSIRI 2010: 53-59 - 2009
- [c14]Keith Miller, Wendy MacCaull:
Verification of Careflow Management Systems with Timed BDICTL Logic. Business Process Management Workshops 2009: 623-634 - [c13]Hao Wang, Wendy MacCaull:
Verifying Real-Time Systems using Explicit-time Description Methods. QFM 2009: 67-78 - [c12]Hao Wang, Wendy MacCaull:
An Efficient Explicit-time Description Method for Timed Model Checking. PDMC 2009: 77-91 - 2008
- [c11]Fahim T. Imam, Wendy MacCaull:
Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. Business Process Management Workshops 2008: 373-384 - [c10]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: 78-91 - 2007
- [c9]Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy:
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. CBMS 2007: 530-535 - 2006
- [c8]Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
Topological Representation of Contact Lattices. RelMiCS 2006: 135-147 - 2005
- [c7]Wendy MacCaull, Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic. RelMiCS 2005: 173-187 - 2003
- [c6]Wendy MacCaull, Ewa Orlowska:
A Calculus of Typed Relations. RelMiCS 2003: 191-201 - [c5]Marsha Chechik, Wendy MacCaull:
CTL Model-Checking over Logics with Non-Classical Negations. ISMVL 2003: 293-302 - 2000
- [c4]Ivo Düntsch, Wendy MacCaull, Ewa Orlowska:
Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL 2000: 293-304 - 1998
- [c3]Wendy MacCaull:
A relational approach to association rules and functional dependencies. RelMiCS 1998: 159-164 - 1997
- [c2]Wendy MacCaull:
Semantics for Logics without Contraction Using Ternary Relations. RelMiCS 1997: 157-165 - 1995
- [c1]Wendy MacCaull:
Finite Algebraic Models for Residuated Logic. ISMVL 1995: 206-215
Editorship
- 2023
- [e3]Wendy MacCaull, Violet Ka I Pun:
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. CEUR Workshop Proceedings 3440, CEUR-WS.org 2023 [contents] - 2014
- [e2]Jeremy Gibbons, Wendy MacCaull:
Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8315, Springer 2014, ISBN 978-3-642-53955-8 [contents] - 2006
- [e1]Wendy MacCaull, Michael Winter, Ivo Düntsch:
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. Lecture Notes in Computer Science 3929, Springer 2006, ISBN 3-540-33339-8 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
