 | 2009 |
|---|
| 17 |       | Grant Malcolm:
Sheaves, Objects, and Distributed Systems.
Electr. Notes Theor. Comput. Sci. 225: 3-19 (2009) |
| 16 | | Matt Webster,
Grant Malcolm:
Detection of metamorphic and virtualization-based malware using algebraic specification.
Journal in Computer Virology 5(3): 221-245 (2009) |
| 2008 |
|---|
| 15 | | Matt Webster,
Grant Malcolm:
Formal affordance-based models of computer virus reproduction.
Journal in Computer Virology 4(4): 289-306 (2008) |
| 2006 |
|---|
| 14 | | Grant Malcolm:
Sheaves and Structures of Transition Systems.
Essays Dedicated to Joseph A. Goguen 2006: 405-419 |
| 13 | | Grant Malcolm:
Component-Based Specification of Distributed Systems.
Electr. Notes Theor. Comput. Sci. 160: 211-224 (2006) |
| 12 | | Matt Webster,
Grant Malcolm:
Detection of metamorphic computer viruses using algebraic specification.
Journal in Computer Virology 2(3): 149-161 (2006) |
| 2003 |
|---|
| 11 | | Trevor J. M. Bench-Capon,
Grant Malcolm,
Michael J. R. Shave:
Semantics for Interoperability: Relating Ontologies and Schemata.
DEXA 2003: 703-712 |
| 2002 |
|---|
| 10 | | Joseph A. Goguen,
Grant Malcolm,
Tom Kemp:
A hidden Herbrand theorem: combining the object and logic paradigms.
J. Log. Algebr. Program. 51(1): 1-41 (2002) |
| 2000 |
|---|
| 9 | | Joseph A. Goguen,
Grant Malcolm:
A hidden agenda.
Theor. Comput. Sci. 245(1): 55-101 (2000) |
| 1999 |
|---|
| 8 | | Trevor J. M. Bench-Capon,
Grant Malcolm:
Formalising Ontologies and Their Relations.
DEXA 1999: 250-259 |
| 7 |  | Joseph A. Goguen,
Grant Malcolm:
Hidden coinduction: behavioural correctness proofs for objects.
Mathematical Structures in Computer Science 9(3): 287-319 (1999) |
| 1998 |
|---|
| 6 | | Joseph A. Goguen,
Grant Malcolm,
Tom Kemp:
A Hidden Herbrand Theorem.
PLILP/ALP 1998: 445-462 |
| 1995 |
|---|
| 5 | | Grant Malcolm:
Behavioural Equivalence, Bisimulation, and Minimal Realisation.
COMPASS/ADT 1995: 359-378 |
| 1991 |
|---|
| 4 | | Roland Carl Backhouse,
Peter J. de Bruin,
Paul F. Hoogendijk,
Grant Malcolm,
Ed Voermans,
Jaap van der Woude:
Polynomial Relators (Extended Abstract).
AMAST 1991: 303-326 |
| 1990 |
|---|
| 3 | | Roland Carl Backhouse,
Grant Malcolm:
On induced congruences.
Bulletin of the EATCS 40: 201-206 (1990) |
| 2 | | Grant Malcolm:
Data Structures and Program Transformation.
Sci. Comput. Program. 14(2-3): 255-279 (1990) |
| 1989 |
|---|
| 1 | | Grant Malcolm:
Homomorphisms and Promotability.
MPC 1989: 335-347 |
