Grant Malcolm

Publication Activity (10 Years)

Years Active: 1989-2014
Publications (10 Years): 0

Top Topics

Information Integration

Mathematical Framework

Image Formation

Modular Ontologies

Top Venues

Publications

Daniel Pokrywczynski, Grant Malcolm
Towards a Functional Approach to Modular Ontologies Using Institutions. Stud Logica 102 (1) (2014)
Matt Webster, Grant Malcolm
R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. Biosyst. 110 (2) (2012)
Stephanie Chua, Frans Coenen, Grant Malcolm, Matias Garcia-Constantino
Using Negation and Phrases in Inducing Rules for Text Classification. SGAI Conf. (2011)
Stephanie Chua, Frans Coenen, Grant Malcolm
Rule Learning with Negation: Issues Regarding Effectiveness. Intelligent Information Processing (2010)
Stephanie Chua, Frans Coenen, Grant Malcolm
Classification Inductive Rule Learning with Negated Features. ADMA (1) (2010)
Daniel Pokrywczynski, Grant Malcolm
Towards a Functional Approach to Modular Ontologies using Institutions. WoMO (2010)
Grant Malcolm
Sheaves, Objects, and Distributed Systems. Electron. Notes Theor. Comput. Sci. 225 (2009)
Matt Webster, Grant Malcolm
Detection of metamorphic and virtualization-based malware using algebraic specification. J. Comput. Virol. 5 (3) (2009)
Matt Webster, Grant Malcolm
Hierarchical Components and Entity-based Modelling in Artificial Life. ALIFE (2008)
Matt Webster, Grant Malcolm
Formal affordance-based models of computer virus reproduction. J. Comput. Virol. 4 (4) (2008)
Matt Webster, Grant Malcolm
Reproducer Classification Using the Theory of Affordances. ALIFE (2007)
Grant Malcolm
Component-Based Specification of Distributed Systems. Electron. Notes Theor. Comput. Sci. 160 (2006)
Matt Webster, Grant Malcolm
Detection of metamorphic computer viruses using algebraic specification. J. Comput. Virol. 2 (3) (2006)
Grant Malcolm
Sheaves and Structures of Transition Systems. Essays Dedicated to Joseph A. Goguen (2006)
Trevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave
Semantics for Interoperability: Relating Ontologies and Schemata. DEXA (2003)
Joseph A. Goguen, Grant Malcolm, Tom Kemp
A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebraic Methods Program. 51 (1) (2002)
Joseph A. Goguen, Grant Malcolm
A hidden agenda. Theor. Comput. Sci. 245 (1) (2000)
Trevor J. M. Bench-Capon, Grant Malcolm
Formalising Ontologies and Their Relations. DEXA (1999)
Joseph A. Goguen, Grant Malcolm
Hidden coinduction: behavioural correctness proofs for objects. Math. Struct. Comput. Sci. 9 (3) (1999)
Joseph A. Goguen, Grant Malcolm, Tom Kemp
A Hidden Herbrand Theorem. PLILP/ALP (1998)
Grant Malcolm
Behavioural Equivalence, Bisimulation, and Minimal Realisation. COMPASS/ADT (1995)
Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude
Polynomial Relators (Extended Abstract). AMAST (1991)
Roland Carl Backhouse, Grant Malcolm
On induced congruences. Bull. EATCS 40 (1990)
Grant Malcolm
Data Structures and Program Transformation. Sci. Comput. Program. 14 (2-3) (1990)
Grant Malcolm
Homomorphisms and Promotability. MPC (1989)