Homomorphisms and Promotability. - Grant Malcolm (MPC, 1989)

On induced congruences. - Roland Carl Backhouse; Grant Malcolm (Bull. EATCS, 1990)

Data Structures and Program Transformation. - Grant Malcolm (Sci. Comput. Program., 1990)

Polynomial Relators (Extended Abstract). - Roland Carl Backhouse; Peter J. de Bruin; Paul F. Hoogendijk; Grant Malcolm; Ed Voermans; Jaap van der Woude (AMAST, 1991)

Behavioural Equivalence, Bisimulation, and Minimal Realisation. - Grant Malcolm (COMPASS/ADT, 1995)

Algebraic semantics of imperative programs. - Joseph A. Goguen; Grant Malcolm (MIT Press, 1996)

A Hidden Herbrand Theorem. - Joseph A. Goguen; Grant Malcolm; Tom Kemp (PLILP/ALP, 1998)

Signs and Representations: Semiotics for User Interface Design. - Grant Malcolm; Joseph A. Goguen (Visual Representations and Interpretations, 1999)

Formalising Ontologies and Their Relations. - Trevor J. M. Bench-Capon; Grant Malcolm (DEXA, 1999)

Hidden coinduction: behavioural correctness proofs for objects. - Joseph A. Goguen; Grant Malcolm (Math. Struct. Comput. Sci., 1999)

A hidden agenda. - Joseph A. Goguen; Grant Malcolm (Theor. Comput. Sci., 2000)

A hidden Herbrand theorem: combining the object and logic paradigms. - Joseph A. Goguen; Grant Malcolm; Tom Kemp (J. Log. Algebraic Methods Program., 2002)

Semantics for Interoperability: Relating Ontologies and Schemata. - Trevor J. M. Bench-Capon; Grant Malcolm; Michael J. R. Shave (DEXA, 2003)

Proteins and Information Processing. - Ray Paton; Michael Fisher 006; Grant Malcolm; Koichiro Matsuno (Cellular Computing, 2004)

Component-Based Specification of Distributed Systems. - Grant Malcolm (FACS, 2005)

Sheaves and Structures of Transition Systems. - Grant Malcolm (Essays Dedicated to Joseph A. Goguen, 2006)

Sheaves, Objects, and Distributed Systems. - Grant Malcolm (MFCSIT, 2006)

Detection of metamorphic computer viruses using algebraic specification. - Matt Webster; Grant Malcolm (J. Comput. Virol., 2006)

Reproducer Classification Using the Theory of Affordances. - Matt Webster; Grant Malcolm (ALIFE, 2007)

Hierarchical Components and Entity-based Modelling in Artificial Life. - Matt Webster; Grant Malcolm (ALIFE, 2008)

Formal affordance-based models of computer virus reproduction. - Matt Webster; Grant Malcolm (J. Comput. Virol., 2008)

Detection of metamorphic and virtualization-based malware using algebraic specification. - Matt Webster; Grant Malcolm (J. Comput. Virol., 2009)

Classification Inductive Rule Learning with Negated Features. - Stephanie Chua; Frans Coenen; Grant Malcolm (ADMA (1), 2010)

Rule Learning with Negation: Issues Regarding Effectiveness. - Stephanie Chua; Frans Coenen; Grant Malcolm (IIP, 2010)

Using Negation and Phrases in Inducing Rules for Text Classification. - Stephanie Chua; Frans Coenen; Grant Malcolm; Matias Garcia-Constantino (SGAI Conf., 2011)

R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. - Matt Webster; Grant Malcolm (Biosyst., 2012)

Towards a Functional Approach to Modular Ontologies Using Institutions. - Daniel Pokrywczynski; Grant Malcolm (Stud Logica, 2014)