The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wendy MacCaull: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wendy MacCaull
    Semantics for Logics without Contraction Using Ternary Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:157-165 [Conf]
  2. Wendy MacCaull
    A relational approach to association rules and functional dependencies. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:159-164 [Conf]
  3. Wendy MacCaull, Ewa Orlowska
    A Calculus of Typed Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:191-201 [Conf]
  4. 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]
  5. Wendy MacCaull, Dimiter Vakarelov
    Lattice-Based Paraconsistent Logic. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:173-187 [Conf]
  6. Marsha Chechik, Wendy MacCaull
    CTL Model-Checking over Logics with Non-Classical Negations. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2003, pp:293-0 [Conf]
  7. 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]
  8. Wendy MacCaull
    Finite Algebraic Models for Residuated Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1995, pp:206-0 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]

  19. Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. [Citation Graph (, )][DBLP]


  20. Verification of Careflow Management Systems with Timed BDICTL Logic. [Citation Graph (, )][DBLP]


  21. Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. [Citation Graph (, )][DBLP]


  22. An Automated Translator for Model Checking Time Constrained Workflow Systems. [Citation Graph (, )][DBLP]


  23. YAWL2DVE: An Automated Translator for Workflow Verification. [Citation Graph (, )][DBLP]


  24. Verifying Real-Time Systems using Explicit-time Description Methods [Citation Graph (, )][DBLP]


  25. An Efficient Explicit-time Description Method for Timed Model Checking [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002