- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 20 |      | Stephanie Chua, Frans Coenen, Grant Malcolm: Classification Inductive Rule Learning with Negated Features. ADMA (1) 2010: 125-136 |
| 19 | | Stephanie Chua, Frans Coenen, Grant Malcolm: Rule Learning with Negation: Issues Regarding Effectiveness. Intelligent Information Processing 2010: 193-202 |
| 18 | | Daniel Pokrywczynski, Grant Malcolm: Towards a Functional Approach to Modular Ontologies using Institutions. WoMO 2010: 53-66 |
| 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 |
| 1 | Roland Carl Backhouse | [3] [4] |
| 2 | Trevor J. M. Bench-Capon | [8] [11] |
| 3 | Peter J. de Bruin | [4] |
| 4 | Stephanie Chua | [19] [20] |
| 5 | Frans Coenen | [19] [20] |
| 6 | Joseph A. Goguen | [6] [7] [9] [10] |
| 7 | Paul F. Hoogendijk | [4] |
| 8 | Tom Kemp | [6] [10] |
| 9 | Daniel Pokrywczynski | [18] |
| 10 | Michael J. R. Shave | [11] |
| 11 | Ed Voermans | [4] |
| 12 | Matt Webster | [12] [15] [16] |
| 13 | Jaap van der Woude | [4] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page