Grant Malcolm

According to our database, Grant Malcolm authored at least 27 papers between 1989 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Towards a Functional Approach to Modular Ontologies Using Institutions.

Daniel Pokrywczynski, Grant Malcolm

Stud Logica, 2014

2012

R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems.

Matt Webster, Grant Malcolm

Biosyst., 2012

2011

Using Negation and Phrases in Inducing Rules for Text Classification.

Stephanie Chua, Frans Coenen, Grant Malcolm, Matias Garcia-Constantino

Proceedings of the Research and Development in Intelligent Systems XXVIII, 2011

2010

Rule Learning with Negation: Issues Regarding Effectiveness.

Stephanie Chua, Frans Coenen, Grant Malcolm

Proceedings of the Intelligent Information Processing V, 2010

Classification Inductive Rule Learning with Negated Features.

Stephanie Chua, Frans Coenen, Grant Malcolm

Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

2009

Detection of metamorphic and virtualization-based malware using algebraic specification.

Matt Webster, Grant Malcolm

J. Comput. Virol., 2009

2008

Formal affordance-based models of computer virus reproduction.

Matt Webster, Grant Malcolm

J. Comput. Virol., 2008

Hierarchical Components and Entity-based Modelling in Artificial Life.

Matt Webster, Grant Malcolm

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007

Reproducer Classification Using the Theory of Affordances.

Matt Webster, Grant Malcolm

Proceedings of the First IEEE Symposium on Artificial Life, 2007

2006

Detection of metamorphic computer viruses using algebraic specification.

Matt Webster, Grant Malcolm

J. Comput. Virol., 2006

Sheaves, Objects, and Distributed Systems.

Grant Malcolm

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Sheaves and Structures of Transition Systems.

Grant Malcolm

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Component-Based Specification of Distributed Systems.

Grant Malcolm

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

2004

Proteins and Information Processing.

Ray Paton, Michael Fisher, Grant Malcolm, Koichiro Matsuno

Proceedings of the Cellular Computing., 2004

2003

Semantics for Interoperability: Relating Ontologies and Schemata.

Trevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave

Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003

2002

A hidden Herbrand theorem: combining the object and logic paradigms.

Joseph A. Goguen, Grant Malcolm, Tom Kemp

J. Log. Algebraic Methods Program., 2002

2000

A hidden agenda.

Joseph A. Goguen, Grant Malcolm

Theor. Comput. Sci., 2000

1999

Hidden coinduction: behavioural correctness proofs for objects.

Joseph A. Goguen, Grant Malcolm

Math. Struct. Comput. Sci., 1999

Formalising Ontologies and Their Relations.

Trevor J. M. Bench-Capon, Grant Malcolm

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

Signs and Representations: Semiotics for User Interface Design.

Grant Malcolm, Joseph A. Goguen

Proceedings of the Visual Representations and Interpretations, 1999

1998

A Hidden Herbrand Theorem.

Joseph A. Goguen, Grant Malcolm, Tom Kemp

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1996

Algebraic semantics of imperative programs.

Joseph A. Goguen, Grant Malcolm

Foundations of computing series, MIT Press, ISBN: 978-0-262-07172-7, 1996

1995

Behavioural Equivalence, Bisimulation, and Minimal Realisation.

Grant Malcolm

Proceedings of the Recent Trends in Data Type Specification, 1995

1991

Polynomial Relators (Extended Abstract).

Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Data Structures and Program Transformation.

Grant Malcolm

Sci. Comput. Program., 1990

On induced congruences.

Roland Carl Backhouse, Grant Malcolm

Bull. EATCS, 1990

1989

Homomorphisms and Promotability.

Grant Malcolm

Proceedings of the Mathematics of Program Construction, 1989