- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j11 |      | Matt Webster, Grant Malcolm: R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. Biosystems 110(2): 119-129 (2012) |
| 2011 | ||
| c11 | | Stephanie Chua, Frans Coenen, Grant Malcolm, Matias Garcia-Constantino: Using Negation and Phrases in Inducing Rules for Text Classification. SGAI Conf. 2011: 153-166 |
| 2010 | ||
| c10 | | Stephanie Chua, Frans Coenen, Grant Malcolm: Classification Inductive Rule Learning with Negated Features. ADMA (1) 2010: 125-136 |
| c9 | | Stephanie Chua, Frans Coenen, Grant Malcolm: Rule Learning with Negation: Issues Regarding Effectiveness. Intelligent Information Processing 2010: 193-202 |
| c8 | | Daniel Pokrywczynski, Grant Malcolm: Towards a Functional Approach to Modular Ontologies using Institutions. WoMO 2010: 53-66 |
| 2009 | ||
| j10 | | Grant Malcolm: Sheaves, Objects, and Distributed Systems. Electr. Notes Theor. Comput. Sci. 225: 3-19 (2009) |
| j9 | | Matt Webster, Grant Malcolm: Detection of metamorphic and virtualization-based malware using algebraic specification. Journal in Computer Virology 5(3): 221-245 (2009) |
| 2008 | ||
| j8 | | Matt Webster, Grant Malcolm: Formal affordance-based models of computer virus reproduction. Journal in Computer Virology 4(4): 289-306 (2008) |
| 2006 | ||
| j7 | | Grant Malcolm: Component-Based Specification of Distributed Systems. Electr. Notes Theor. Comput. Sci. 160: 211-224 (2006) |
| j6 | | Matt Webster, Grant Malcolm: Detection of metamorphic computer viruses using algebraic specification. Journal in Computer Virology 2(3): 149-161 (2006) |
| c7 | | Grant Malcolm: Sheaves and Structures of Transition Systems. Essays Dedicated to Joseph A. Goguen 2006: 405-419 |
| 2003 | ||
| c6 | | Trevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave: Semantics for Interoperability: Relating Ontologies and Schemata. DEXA 2003: 703-712 |
| 2002 | ||
| j5 | | 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 | ||
| j4 | | |
| 1999 | ||
| j3 | | Joseph A. Goguen, Grant Malcolm: Hidden coinduction: behavioural correctness proofs for objects. Mathematical Structures in Computer Science 9(3): 287-319 (1999) |
| c5 | | Trevor J. M. Bench-Capon, Grant Malcolm: Formalising Ontologies and Their Relations. DEXA 1999: 250-259 |
| 1998 | ||
| c4 | | |
| 1995 | ||
| c3 | | Grant Malcolm: Behavioural Equivalence, Bisimulation, and Minimal Realisation. COMPASS/ADT 1995: 359-378 |
| 1991 | ||
| c2 |  | 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 | ||
| j2 | | Roland Carl Backhouse, Grant Malcolm: On induced congruences. Bulletin of the EATCS 40: 201-206 (1990) |
| j1 | | Grant Malcolm: Data Structures and Program Transformation. Sci. Comput. Program. 14(2-3): 255-279 (1990) |
| 1989 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sun May 26 09:58:19 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page