The SCEAS System
| |||||||

## Search the dblp DataBase
Wendy MacCaull:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Wendy MacCaull
**Semantics for Logics without Contraction Using Ternary Relations.**[Citation Graph (0, 0)][DBLP] RelMiCS, 1997, pp:157-165 [Conf] - Wendy MacCaull
**A relational approach to association rules and functional dependencies.**[Citation Graph (0, 0)][DBLP] RelMiCS, 1998, pp:159-164 [Conf] - Wendy MacCaull, Ewa Orlowska
**A Calculus of Typed Relations.**[Citation Graph (0, 0)][DBLP] RelMiCS, 2003, pp:191-201 [Conf] - Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
**Topological Representation of Contact Lattices.**[Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:135-147 [Conf] - Wendy MacCaull, Dimiter Vakarelov
**Lattice-Based Paraconsistent Logic.**[Citation Graph (0, 0)][DBLP] RelMiCS, 2005, pp:173-187 [Conf] - Marsha Chechik, Wendy MacCaull
**CTL Model-Checking over Logics with Non-Classical Negations.**[Citation Graph (0, 0)][DBLP] ISMVL, 2003, pp:293-0 [Conf] - Ivo Düntsch, Wendy MacCaull, Ewa Orlowska
**Structures with Many-Valued Information and Their Relational Proof Theory.**[Citation Graph (0, 0)][DBLP] ISMVL, 2000, pp:293-0 [Conf] - Wendy MacCaull
**Finite Algebraic Models for Residuated Logic.**[Citation Graph (0, 0)][DBLP] ISMVL, 1995, pp:206-0 [Conf] - Wendy MacCaull
**Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1989, v:44, n:3, pp:243-257 [Journal] - Wendy MacCaull
**A Proof System for Dependencies for Information Relations.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2000, v:42, n:1, pp:1-27 [Journal] - Wendy MacCaull
**Relational Proof System for Linear and Other Substructural Logics.**[Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 1997, v:5, n:5, pp:- [Journal] - Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
**Relational methods in computer science - Preface.**[Citation Graph (0, 0)][DBLP] Inf. Sci., 2001, v:139, n:3-4, pp:165-166 [Journal] - Wendy MacCaull
**On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1988, v:53, n:4, pp:1177-1187 [Journal] - Wendy MacCaull
**Relational Semantics and a Relational Proof System for Full Lambek Calculus.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1998, v:63, n:2, pp:623-637 [Journal] - Wendy MacCaull, Ewa Orlowska
**A Logic of Type Relations and its Applications to Relational Databases.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2006, v:16, n:6, pp:789-815 [Journal] - Gerard Allwein, Wendy MacCaull
**A Kripke Semantics for the Logic of Gelfand Quantales.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2001, v:68, n:2, pp:173-228 [Journal] - Wendy MacCaull, Ewa Orlowska
**Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:71, n:3, pp:389-414 [Journal] - Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy
**Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues.**[Citation Graph (0, 0)][DBLP] CBMS, 2007, pp:530-535 [Conf] **Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study.**[Citation Graph (, )][DBLP]**Verification of Careflow Management Systems with Timed**[Citation Graph (, )][DBLP]*BDI*_{CTL}Logic.**Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care.**[Citation Graph (, )][DBLP]**An Automated Translator for Model Checking Time Constrained Workflow Systems.**[Citation Graph (, )][DBLP]**YAWL2DVE: An Automated Translator for Workflow Verification.**[Citation Graph (, )][DBLP]**Verifying Real-Time Systems using Explicit-time Description Methods**[Citation Graph (, )][DBLP]**An Efficient Explicit-time Description Method for Timed Model Checking**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |