Grant Malcolm - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2014

Towards a Functional Approach to Modular Ontologies Using InstitutionsDaniel Pokrywczynski, Grant Malcolm. sLogica, 102(1):117-143, 2014. [doi]

2012

R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systemsMatt Webster, Grant Malcolm. biosystems, 110(2):119-129, 2012. [doi]

2011

Using Negation and Phrases in Inducing Rules for Text ClassificationStephanie Chua, Frans Coenen, Grant Malcolm, Matias Garcia-Constantino. sgai 2011: 153-166 [doi]

2010

Classification Inductive Rule Learning with Negated FeaturesStephanie Chua, Frans Coenen, Grant Malcolm. adma 2010: 125-136 [doi]

Rule Learning with Negation: Issues Regarding EffectivenessStephanie Chua, Frans Coenen, Grant Malcolm. ifip12 2010: 193-202 [doi]

Towards a Functional Approach to Modular Ontologies using InstitutionsDaniel Pokrywczynski, Grant Malcolm. womo 2010: 53-66 [doi]

2009

Sheaves, Objects, and Distributed SystemsGrant Malcolm. ENTCS, 225:3-19, 2009. [doi]

Detection of metamorphic and virtualization-based malware using algebraic specificationMatt Webster, Grant Malcolm. virology, 5(3):221-245, 2009. [doi]

2008

Formal affordance-based models of computer virus reproductionMatt Webster, Grant Malcolm. virology, 4(4):289-306, 2008. [doi]

Hierarchical Components and Entity-based Modelling in Artificial LifeMatt Webster, Grant Malcolm. alife 2010: 678-685 [doi]

2007

Reproducer Classification Using the Theory of AffordancesMatt Webster, Grant Malcolm. ieeealife 2007: 115-122 [doi]

2006

Component-Based Specification of Distributed SystemsGrant Malcolm. ENTCS, 160:211-224, 2006. [doi]

Sheaves and Structures of Transition SystemsGrant Malcolm. BIRTHDAY 2006: 405-419 [doi]

Detection of metamorphic computer viruses using algebraic specificationMatt Webster, Grant Malcolm. virology, 2(3):149-161, 2006. [doi]

2004

Proteins and Information ProcessingRay Paton, Michael Fisher, Grant Malcolm, Koichiro Matsuno. In Martyn Amos, editor, Cellular Computing. Series in systems biology, pages 11-18, Oxford University Press, 2004.

2003

Semantics for Interoperability: Relating Ontologies and SchemataTrevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave. DEXA 2003: 703-712 [doi]

2002

A hidden Herbrand theorem: combining the object and logic paradigmsJoseph A. Goguen, Grant Malcolm, Tom Kemp. jlp, 51(1):1-41, 2002. [doi]

2000

A hidden agendaJoseph A. Goguen, Grant Malcolm. TCS, 245(1):55-101, 2000. [doi]

1999

Formalising Ontologies and Their RelationsTrevor J. M. Bench-Capon, Grant Malcolm. DEXA 1999: 250-259 [doi]

Hidden coinduction: behavioural correctness proofs for objectsJoseph A. Goguen, Grant Malcolm. mscs, 9(3):287-319, 1999.

Signs and Representations: Semiotics for User Interface DesignGrant Malcolm, Joseph A. Goguen. In Ray Paton, Irene Neilson, editors, Visual Representations and Interpretations. pages 163-172, Springer, 1999. [doi]

1998

A Hidden Herbrand TheoremJoseph A. Goguen, Grant Malcolm, Tom Kemp. plilp 1998: 445-462 [doi]

1996

Algebraic semantics of imperative programsJoseph A. Goguen, Grant Malcolm. Foundations of computing series, MIT Press, 1996.

1995

Behavioural Equivalence, Bisimulation, and Minimal RealisationGrant Malcolm. compass 1996: 359-378

1991

Polynomial Relators (Extended Abstract)Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude. amast 1992: 303-326

1990

On induced congruencesRoland Carl Backhouse, Grant Malcolm. eatcs, 40:201-206, 1990.

Data Structures and Program TransformationGrant Malcolm. SCP, 14(2-3):255-279, 1990.

1989

Homomorphisms and PromotabilityGrant Malcolm. mpc 1989: 335-347

Sign in or sign up to see more results.

runs on WebDSL