Bibliography for Grant Malcolm

• Matt Webster and Grant Malcolm. Hierarchical Components and Entity-based Modelling in Artificial Life. In Seth Bullock, Jason Noble, Richard Watson, and Mark Bedau, editors, Proceedings of the Eleventh International Conference on Artificial Life (ALIFE XI), pp. 678-685. MIT Press, Cambridge, MA, 2008.
   
• Matt Webster and Grant Malcolm. Detection of metamorphic and virtualization-based malware using algebraic specification (PDF). In Vlasti Broucek and Eric Filiol, editors, 17th European Institute for Computer Antivirus Research Annual Conference Proceedings (EICAR 2008), pages 99–119, 2008.
   
• Matt Webster and Grant Malcolm. Classifying and relating affordance-based models of reproduction. Submitted for publication.
   
• Matt Webster and Grant Malcolm. Formal affordance-based models of computer virus reproduction (PDF postprint). Journal in Computer Virology, 4(4):289–306, 2008. (The original paper is available via SpringerLink.)
   
• Matt Webster and Grant Malcolm. Reproducer classification using the theory of affordances: models and examples. International Journal of Information Technology and Intelligent Computing, 2(2), IEEE Press, 2007.
   
• Grant Malcolm. Sheaves, objects, and distributed systems. In Anthony Seda, Menouer Boubeker, Ted Hurley, Micheal Mac an Airchinnigh, Michel Schellekens and Glenn Strong (eds.), Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2006). Electronic Notes in Theoretical Computer Science, vol. 225, pp. 3-19, 2009. DOI 10.1016/j.entcs.2008.12.063
   
• Matt Webster and Grant Malcolm. Reproducer classification using the theory of affordances. In Proceedings of the 2007 IEEE Symposium on Artificial Life (CI-ALife 2007), pp. 115-122, IEEE Press, 2007.
   
• Matt Webster and Grant Malcolm. Detection of metamorphic computer viruses using algebraic specification (preprint). Journal of Computer Virology, 2(3):149-161, Springer Paris, 2006. The original publication can be found through SpringerLink
   
• Grant Malcolm. Sheaves and structures of transition systems. In K. Futatsugi, J.-P. Jouannaud and J. Meseguer, editors, Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of his 65th Birthday, Springer Lecture Notes in Computer Science, Vol. 4060, pp. 405-419, Springer, 2006.
   
• Grant Malcolm. Component-based specification of distributed systems. Proceedings of Formal Aspects of Component Software (FACS'05). Electronic Notes in Theoretical Computer Science, Vol. 160, pp. 211-224, Elsevier, 2006.
   
• Grant Malcolm. Observational truth as a categorical modality. Technical Report ULCS-02-030, Department of Computer Science, University of Liverpool [updated version, 2005]. Submitted for publication.
   
• Grant Malcolm, editor. Multidisciplinary Approaches to Visual Representations and Interpretations. Studies in Multidisciplinarity, volume 2, Elsevier, 2004.
   
• Jean-Louis Giavitto, Grant Malcolm and Olivier Michel. Rewriting systems and the modelling of biological systems. Comparative and Functional Genomics, 5(1):95-99, Wiley 2004.
   
• Ray Paton, Michael J. Fisher, Grant Malcolm and Koichiro Matsuno. Proteins and Information Processing. In: Martyn Amos, editor, Cellular Computing. Oxford University Press, 2004.
   
• Michael J. Fisher, Grant Malcolm and Ray Paton. Developing Models of Protein Signalling Agents. In: Ray Paton, Hamid Bolouri, Mike Holcombe, Howard Parish and Richard Tateson, editors, Computation in Cells and Tissues: Perspectives and Tools of Thought. Springer-Verlag series on Natural Computation, pp. 277-287, 2004.
   
• Trevor Bench-Capon, Grant Malcolm and Michael Shave. Semantics for interoperability: relating ontologies and schemata. In V. Marik, W. Retschitzegger and O. Stepanovka, eds., Proceedings DEXA 2003, Springer Lecture Notes in Computer Science volume 2736, pp. 703-712, Springer 2003.
   
• Joseph A. Goguen, Grant Malcolm and Tom Kemp. A hidden Herbrand theorem: combining the object and logic paradigms. Journal of Logic and Algebraic Programming 51(1):1-41, Elsevier Science 2002.
   
• Joseph A. Goguen and Grant Malcolm. A Hidden Agenda. Theoretical Computer Science 245(1):55-101, Elsevier Science, Dordrecht, 2000.
   
• Michael J. Fisher, Grant Malcolm and Ray C. Paton, Spatio-logical processes in intracellular signalling. Biosystems 55(1-3):93-105, Elsevier Science, Dordrecht, 2000.
   
• Joseph A. Goguen and Grant Malcolm (eds.) Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, Boston, 2000.
   
• Joseph A. Goguen and Grant Malcolm. Hidden Coinduction: behavioral correctness proofs for objects. Mathematical Structures in Computer Science, 9(3):287-320, 1999.
   
• Trevor Bench-Capon and Grant Malcolm. Formalising ontologies and their relations. In Trevor Bench-Capon, Giovanni Soda and A. Min Tjoa (eds.), Proceedings of the 16th International Conference on Database and Expert Systems Applications (DEXA '99), Springer Lecture Notes in Computer Science, volume 1677, pages 250-259. Springer, Berlin, 1999.
   
• Joseph A. Goguen, Grant Malcolm and Tom Kemp. A Hidden Herbrand Theorem. In Principles of Declarative Programming, Catuscia Palamidessi, Hugh Glaser and Karl Meinke (eds), Springer Lecture Notes in Computer Science volume 1490, pp. 445-462, Springer 1998.
   
• Grant Malcolm and Joseph A. Goguen. Signs and representations: semiotics for user interface design. In Ray Paton and Irene Neilson (eds), Visual Representaions and Interpretations, Springer Workshops in Computing, Springer 1998.
   
• Grant Malcolm.  Hidden algebra and systems of abstract machines , In Proceedings New Models for Software Architecture (IMSA 97), Information-technology Promotion Agency, 1997.
   
• Joseph A. Goguen and Grant Malcolm. Algebraic semantics of Imperative Programs. MIT Press, 1996. [More info]
   
• Grant Malcolm. Behavioural equivalence, bisimulation, and minimal realisation. In Magne Haveraaen and Olaf Owe and Ole-Johan Dahl (eds.), Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types. Springer-Verlag Lecture Notes in Computer Science, 1996.
   
• Grant Malcolm. Interconnection of object specifications. In Stephen Goldsack and Stuart Kent (eds.), Formal Methods in Object Technology, Springer Workshops in Computing, 1996. (An earlier version appeared in R. Wieringa and R. Feenstra (eds.), Working Papers of the International Workshop on Information Systems - Correctness and Reusablity, 1994. Internal Report IR-357, Vrije Universiteit Amsterdam, 1994.)
   
• Joseph A. Goguen and Grant Malcolm, Extended Abstract of a Hidden Agenda, In James Meystel, Alex Meystel and Richard Quintero (eds.), Proceedings, Conference on Intelligent Systems: a Semiotic Perspective, National Institute of Standards and Technology, 1996
   
• Grant Malcolm and Joseph A. Goguen. An executable course in the algebraic semantics of imperative programs. In M. Hinchey and N. Dean (eds.), Educational Issues of Formal Methods, Academic Press, 1996.
   
• Grant Malcolm and Joseph A. Goguen. Proving correctness of refinement and implementation. Technical Monograph PRG-114, Oxford University Computing Laboratory, 1994. [Revised version, 1996.]
   
• Grant Malcolm and Joseph A. Goguen, A Hidden Manifesto, In Proceedings New Models for Software Architecture (IMSA 96), Information-technology Promotion Agency, 1996.
   
• Joseph A. Goguen and Grant Malcolm. Situated Adaptive Software: beyond the object paradigm, In Proceedings New Models for Software Architecture (IMSA 95), Information-technology Promotion Agency, 1995.
   
• Grant Malcolm and Joseph A. Goguen. An algebraic semantics for nondeterministic choice. PRG Technical Report PRG-TR-5-95, 1995.
   
• Grant Malcolm and Corina Cîrstea. Distributed Operational Semantics for the Object Paradigm. In Working Papers of the International Workshop on Information Systems - Correctness and Reusablity, 1995.
   
• Joseph A. Goguen and Grant Malcolm. Proof of correctness of object representations. In A.W. Roscoe (ed.), A Classical Mind: Essays in Honour of C.A.R. Hoare, Prentice-Hall International Series in Computer Science, chapter 8, pages 119-142. Prentice-Hall International, 1994.
   
• Roland C. Backhouse, Peter de Bruin, Paul Hoogendijk, Grant Malcolm, Ed Voermans, and Jaap van der Woude. Polynomial relators. In Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91, pages 303-362. Springer-Verlag Workshops in Computing, 1992.
   
• Roland C. Backhouse, Peter de Bruin, Grant Malcolm, Ed Voermans, and Jaap van der Woude. Relational catamorphisms. In B. Möller (ed.), Proceedings of the IFIP TC2/WG2.1 Working Conference on Constructing Programs. Elsevier Science Publishers BV, 1991. A scanned technical report is available here.
   
• Roland C. Backhouse, Peter de Bruin, Paul Hoogendijk, Grant Malcolm, Ed Voermans, and Jaap van der Woude. Polynomial relators. Technical Report 91/08, Department of Mathematics and Computing Science, Eindhoven University of Technology, May 1991.
   
• Grant Malcolm. Review of P. Leith, Formalism in Computer Science and AI. Science of Computer Programming, 17(1-3), Dec 1991.
   
• Grant Malcolm. Algebraic Data Types and Program Transformation, Ph.D. thesis, Department of Computing Science, Groningen University, 1990. [samenvatting | abstract]
   
• Grant Malcolm. Data structures and program transformation. Science of Computer Programming, 14(2-3), October 1990. DOI: 10.1016/0167-6423(90)90023-7.
   
• Grant Malcolm. Squiggoling in context. The Squiggolist, 1(3), Feb 1990.
   
• Roland C. Backhouse and Grant Malcolm. On induced congruences. The Squiggolist, 1(3), Feb 1990. (Also appears as Technical Report CS 9001, Department of Mathematics and Computer Science, Groningen University, 1990).
   
• Roland C. Backhouse, Paul Chisholm, Grant Malcolm and Erik Saaman. Do-it-yourself type theory. Formal Aspects of Computing, 1(1):19-84, Jan 1989. DOI: 10.1007/BF01887198.
   
• Grant Malcolm. Homomorphisms and promotability. In J.L.A. van der Snepscheut (ed.), Proceedings, Mathematics of Program Construction 1989, volume 375 of Lecture Notes in Computer Science, pages 335-347. Springer-Verlag, 1989.
   
• Grant Malcolm. An algebraic approach to infinite data structures. In P.M.G. Apers, D. Bosman, and J. van Leeuwen (eds.), Proceedings, Computer Science in the Netherlands. Stichting Mathematisch Centrum, Amsterdam, 1989. (Also appears as Technical Report CS 8909, Department of Computing Science, Groningen University, 1989. An earlier version appeared in P. Dybjer, L.Hallnäs, B. Nordström, K. Petersson, and J.M. Smith (eds.), Proceedings, Workshop on Programming Logic. Department of Computer Science, Chalmers/University of Göteborg, Report PMG-R54, 1989.)
   
• Grant Malcolm. Factoring homomorphisms. Technical Report CS 8908, Department of Computing Science, Groningen University, 1989.
   
• Grant Malcolm and Paul Chisholm. Polymorphism and information loss in Martin-Löf's type theory. Technical Report CS 8814, Department of Mathematics and Computing Science, Groningen University, 1988.
   
• Erik Saaman and Grant Malcolm. Well-founded recursion in type theory. Technical Report CS 8710, Department of Mathematics and Computing Science, Groningen University, 1987.