Search the dblp DataBase
Grant Malcolm :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Grant Malcolm Homomorphisms and Promotability. [Citation Graph (1, 0)][DBLP ] MPC, 1989, pp:335-347 [Conf ] 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 ] Grant Malcolm Sheaves and Structures of Transition Systems. [Citation Graph (0, 0)][DBLP ] Essays Dedicated to Joseph A. Goguen, 2006, pp:405-419 [Conf ] Grant Malcolm Behavioural Equivalence, Bisimulation, and Minimal Realisation. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1995, pp:359-378 [Conf ] Trevor J. M. Bench-Capon , Grant Malcolm Formalising Ontologies and Their Relations. [Citation Graph (0, 0)][DBLP ] DEXA, 1999, pp:250-259 [Conf ] 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 ] Joseph A. Goguen , Grant Malcolm , Tom Kemp A Hidden Herbrand Theorem. [Citation Graph (0, 0)][DBLP ] PLILP/ALP, 1998, pp:445-462 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Sheaves, Objects, and Distributed Systems. [Citation Graph (, )][DBLP ] Search in 0.055secs, Finished in 0.056secs