The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Grant Malcolm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Grant Malcolm
    Homomorphisms and Promotability. [Citation Graph (1, 0)][DBLP]
    MPC, 1989, pp:335-347 [Conf]
  2. Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude
    Polynomial Relators (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:303-326 [Conf]
  3. Grant Malcolm
    Sheaves and Structures of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:405-419 [Conf]
  4. Grant Malcolm
    Behavioural Equivalence, Bisimulation, and Minimal Realisation. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:359-378 [Conf]
  5. Trevor J. M. Bench-Capon, Grant Malcolm
    Formalising Ontologies and Their Relations. [Citation Graph (0, 0)][DBLP]
    DEXA, 1999, pp:250-259 [Conf]
  6. Trevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave
    Semantics for Interoperability: Relating Ontologies and Schemata. [Citation Graph (0, 0)][DBLP]
    DEXA, 2003, pp:703-712 [Conf]
  7. Joseph A. Goguen, Grant Malcolm, Tom Kemp
    A Hidden Herbrand Theorem. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:445-462 [Conf]
  8. Roland Carl Backhouse, Grant Malcolm
    On induced congruences. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:40, n:, pp:201-206 [Journal]
  9. Grant Malcolm
    Component-Based Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:211-224 [Journal]
  10. Joseph A. Goguen, Grant Malcolm, Tom Kemp
    A hidden Herbrand theorem: combining the object and logic paradigms. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:51, n:1, pp:1-41 [Journal]
  11. Joseph A. Goguen, Grant Malcolm
    Hidden coinduction: behavioural correctness proofs for objects. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:287-319 [Journal]
  12. Grant Malcolm
    Data Structures and Program Transformation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:2-3, pp:255-279 [Journal]
  13. Joseph A. Goguen, Grant Malcolm
    A hidden agenda. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:245, n:1, pp:55-101 [Journal]
  14. Matt Webster, Grant Malcolm
    Detection of metamorphic computer viruses using algebraic specification. [Citation Graph (0, 0)][DBLP]
    Journal in Computer Virology, 2006, v:2, n:3, pp:149-161 [Journal]

  15. Sheaves, Objects, and Distributed Systems. [Citation Graph (, )][DBLP]


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