The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Clare E. Martin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Clare E. Martin
    Towards a Calculus of Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:489-498 [Conf]
  2. Clare E. Martin, Sharon A. Curtis
    Nondeterministic Folds. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:274-298 [Conf]
  3. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
    Modelling Nondeterminism. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:228-251 [Conf]
  4. Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
    An Algebraic Construction of Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:100-121 [Conf]
  5. Clare E. Martin, Jeremy Gibbons, Ian Bayley
    Disciplined, efficient, generalised folds for nested datatypes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:19-35 [Journal]
  6. Clare E. Martin, Jeremy Gibbons
    On the semantics of nested datatypes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:5, pp:233-238 [Journal]
  7. Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
    An Algebraic Construction of Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:21-44 [Journal]
  8. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
    Modelling angelic and demonic nondeterminism with multirelations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:2, pp:140-158 [Journal]

  9. Monadic Maps and Folds for Multirelations in an Allegory. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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