Wendy MacCaull

	2012
36		Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull: Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS 2012: 312-331
	2011
35		Nazia Leyla, Wendy MacCaull: A Personalized Access Control Framework for Workflow-Based Health Care Information. Business Process Management Workshops (2) 2011: 273-284
34		Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull: Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. FMICS 2011: 244-259
33		Keith Miller, Wendy MacCaull: Model checking timed properties of healthcare processes. Journal of Software Maintenance 23(4): 245-260 (2011)
	2010
32		Nazia Leyla, Ahmed Shah Mashiyat, Hao Wang, Wendy MacCaull: Towards workflow verification. CASCON 2010: 253-267
31		Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull: An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS 2010: 99-114
30		Fazle Rabbi, Hao Wang, Wendy MacCaull: Compensable WorkFlow Nets. ICFEM 2010: 122-137
29		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
28		Fazle Rabbi, Hao Wang, Wendy MacCaull: YAWL2DVE: An Automated Translator for Workflow Verification. SSIRI 2010: 53-59
27		Ji Ruan, Wendy MacCaull, Heather Jewers: Enhancing Patient-Centered Palliative Care with Collaborative Agents. Web Intelligence/IAT Workshops 2010: 356-360
26		Ji Ruan, Wendy MacCaull, Heather Jewers: Agent-Based Careflow for Patient-Centred Palliative Care. eHealth 2010: 285-294
	2009
25		Keith Miller, Wendy MacCaull: Verification of Careflow Management Systems with Timed BDICTL Logic. Business Process Management Workshops 2009: 623-634
24		Hao Wang, Wendy MacCaull: An Efficient Explicit-time Description Method for Timed Model Checking PDMC 2009: 77-91
23		Hao Wang, Wendy MacCaull: Verifying Real-Time Systems using Explicit-time Description Methods QFM 2009: 67-78
	2008
22		Fahim T. Imam, Wendy MacCaull: Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. Business Process Management Workshops 2008: 373-384
21		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
20		Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Distributive contact lattices: Topological representations. J. Log. Algebr. Program. 76(1): 18-34 (2008)
	2007
19		Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy: Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. CBMS 2007: 530-535
	2006
18		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 Springer 2006
17		Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Topological Representation of Contact Lattices. RelMiCS 2006: 135-147
16		Wendy MacCaull, Ewa Orlowska: A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006)
	2005
15		Wendy MacCaull, Dimiter Vakarelov: Lattice-Based Paraconsistent Logic. RelMiCS 2005: 173-187
	2003
14		Marsha Chechik, Wendy MacCaull: CTL Model-Checking over Logics with Non-Classical Negations. ISMVL 2003: 293-
13		Wendy MacCaull, Ewa Orlowska: A Calculus of Typed Relations. RelMiCS 2003: 191-201
	2002
12		Wendy MacCaull, Ewa Orlowska: Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Studia Logica 71(3): 389-414 (2002)
	2001
11		Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull: Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001)
10		Gerard Allwein, Wendy MacCaull: A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica 68(2): 173-228 (2001)
	2000
9		Ivo Düntsch, Wendy MacCaull, Ewa Orlowska: Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL 2000: 293-
8		Wendy MacCaull: A Proof System for Dependencies for Information Relations. Fundam. Inform. 42(1): 1-27 (2000)
	1998
7		Wendy MacCaull: A relational approach to association rules and functional dependencies. RelMiCS 1998: 159-164
6		Wendy MacCaull: Relational Semantics and a Relational Proof System for Full Lambek Calculus. J. Symb. Log. 63(2): 623-637 (1998)
	1997
5		Wendy MacCaull: Semantics for Logics without Contraction Using Ternary Relations. RelMiCS 1997: 157-165
4		Wendy MacCaull: Relational Proof System for Linear and Other Substructural Logics. Logic Journal of the IGPL 5(5): 673-697 (1997)
	1995
3		Wendy MacCaull: Finite Algebraic Models for Residuated Logic. ISMVL 1995: 206-
	1989
2		Wendy MacCaull: Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. Ann. Pure Appl. Logic 44(3): 243-257 (1989)
	1988
1		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)

Coauthor Index

1	Gerard Allwein	[10]
2	Marsha Chechik	[14]
3	Jeff Dallien	[21]
4	Jules Desharnais	[11]
5	Ivo Düntsch	[9] [17] [18] [20]
6	Rokan Uddin Faruqui	[36]
7	Marc Frappier	[11]
8	Fahim T. Imam	[19] [22]
9	Ali Jaoua	[11]
10	Heather Jewers (Mary Heather Jewers)	[26] [27] [29]
11	Margaret Ann Kennedy	[19]
12	Markus Latzel	[29]
13	Nazia Leyla	[32] [35]
14	Ahmed Shah Mashiyat	[31] [32] [34]
15	Keith Miller	[25] [33]
16	Ewa Orlowska	[9] [12] [13] [16]
17	Fazle Rabbi	[28] [30] [31] [34]
18	Abdur Rakib	[36]
19	Ji Ruan	[26] [27]
20	Allen Tien	[21]
21	Dimiter Vakarelov (Dimitar Ivanov Vakarelov)	[15] [17] [20]
22	Hao Wang	[23] [24] [28] [30] [31] [32]
23	Michael Winter	[17] [18] [20]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page