Grant Malcolm

28 papers B 1C 4Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2014 J jnl
Towards a Functional Approach to Modular Ontologies Using Institutions.
Stud Logica
Daniel Pokrywczynski, Grant Malcolm
2012 J jnl
R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems.
Biosyst.
Matt Webster, Grant Malcolm
2011 — conf
Using Negation and Phrases in Inducing Rules for Text Classification.
SGAI Conf.
Stephanie Chua, Frans Coenen, Grant Malcolm, Matias Garcia-Constantino
2010 — conf
Classification Inductive Rule Learning with Negated Features.
ADMA (1)
Stephanie Chua, Frans Coenen, Grant Malcolm
2010 — conf
Rule Learning with Negation: Issues Regarding Effectiveness.
IIP
Stephanie Chua, Frans Coenen, Grant Malcolm
2010 — conf
Towards a Functional Approach to Modular Ontologies using Institutions.
WoMO
Daniel Pokrywczynski, Grant Malcolm
2009 J jnl
Detection of metamorphic and virtualization-based malware using algebraic specification.
J. Comput. Virol.
Matt Webster, Grant Malcolm
2008 J jnl
Formal affordance-based models of computer virus reproduction.
J. Comput. Virol.
Matt Webster, Grant Malcolm
2008 C conf
Hierarchical Components and Entity-based Modelling in Artificial Life.
ALIFE
Matt Webster, Grant Malcolm
2007 C conf
Reproducer Classification Using the Theory of Affordances.
ALIFE
Matt Webster, Grant Malcolm
2006 J jnl
Detection of metamorphic computer viruses using algebraic specification.
J. Comput. Virol.
Matt Webster, Grant Malcolm
2006 — conf
Sheaves and Structures of Transition Systems.
Essays Dedicated to Joseph A. Goguen
Grant Malcolm
2006 — conf
Sheaves, Objects, and Distributed Systems.
MFCSIT
Grant Malcolm
2005 — conf
Component-Based Specification of Distributed Systems.
FACS
Grant Malcolm
2004 — ch.
Proteins and Information Processing.
Cellular Computing
Ray Paton, Michael Fisher, Grant Malcolm, Koichiro Matsuno
2003 C conf
Semantics for Interoperability: Relating Ontologies and Schemata.
DEXA
Trevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave
2002 J jnl
A hidden Herbrand theorem: combining the object and logic paradigms.
J. Log. Algebraic Methods Program.
Joseph A. Goguen, Grant Malcolm, Tom Kemp
2000 J jnl
A hidden agenda.
Theor. Comput. Sci.
Joseph A. Goguen, Grant Malcolm
1999 C conf
Formalising Ontologies and Their Relations.
DEXA
Trevor J. M. Bench-Capon, Grant Malcolm
1999 J jnl
Hidden coinduction: behavioural correctness proofs for objects.
Math. Struct. Comput. Sci.
Joseph A. Goguen, Grant Malcolm
1999 — ch.
Signs and Representations: Semiotics for User Interface Design.
Visual Representations and Interpretations
Grant Malcolm, Joseph A. Goguen
1998 — conf
A Hidden Herbrand Theorem.
PLILP/ALP
Joseph A. Goguen, Grant Malcolm, Tom Kemp
1996 — book
Algebraic semantics of imperative programs.
Joseph A. Goguen, Grant Malcolm
1995 — conf
Behavioural Equivalence, Bisimulation, and Minimal Realisation.
COMPASS/ADT
Grant Malcolm
1991 — conf
Polynomial Relators (Extended Abstract).
AMAST
Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude
1990 J jnl
Data Structures and Program Transformation.
Sci. Comput. Program.
Grant Malcolm
1990 J jnl
On induced congruences.
Bull. EATCS
Roland Carl Backhouse, Grant Malcolm
1989 B conf
Homomorphisms and Promotability.
MPC
Grant Malcolm