Interpreters From Functions and Grammars. - Greg Michaelson (Comput. Lang., 1986)

An introduction to functional programming through lambda calculus. - Greg J. Michaelson (Addison-Wesley, 1989)

Grammars and Implementation Independent Structure Representation. - Greg Michaelson (POS, 1989)

Parallel imperative and functional approaches to visual scene labelling. - S. Hopkins; Greg Michaelson; Andrew M. Wallace (Image Vis. Comput., 1989)

The Edinburgh Woman in Computing Workshops. - D. Welch; Greg Michaelson (WiC, 1990)

Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision. - Andrew M. Wallace; Greg Michaelson; Patrick McAndrew; K. G. Waugh; W. J. Austin (Computer, 1992)

Parallel Implementations from Functional Prototype Instrumentation. - Greg Michaelson; Tore A. Bratvold; David John Busvine; K. G. Waugh (PARCO, 1993)

Interpreter prototypes from formal language definitions. - Gregory John Michaelson (1993)

Women and Men in Computer Cartoons from Punch: 1946 to 1982. - Greg Michaelson (WWC, 1994)

Prototyping Parallel Algorithms using Standard ML. - Norman Scaife; Greg J. Michaelson; Andrew M. Wallace (BMVC, 1995)

Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator. - Greg Michaelson (Inf. Softw. Technol., 1995)

Prototyping a Parallel Vision System in Standard ML. - Greg Michaelson; Norman Scaife (J. Funct. Program., 1995)

Automatic Analysis Of Functional Program Style. - Greg Michaelson (Australian Software Engineering Conference, 1996)

Automatic assessment of elementary Standard ML programs using Ceilidh. - Sandra P. Foubister; Greg Michaelson; N. Tomes (J. Comput. Assist. Learn., 1997)

A Dual Source, Parallel Architecture for Computer Vision. - Andrew M. Wallace; Greg Michaelson; Norman Scaife; W. J. Austin (J. Supercomput., 1998)

Introduction. - Kevin Hammond; Greg Michaelson (Research Directions in Parallel Functional Programming, 1999)

Summary. - Greg Michaelson; Kevin Hammond (Research Directions in Parallel Functional Programming, 1999)

Foundations. - Greg Michaelson; Kevin Hammond; Chris Clack (Research Directions in Parallel Functional Programming, 1999)

A framework for nesting algorithmic skeletons. - Mohammad Hamdan; Greg J. Michaelson; Peter King (PARCO, 1999)

How do people check polymorphic types? - Yang Jun 001; Greg Michaelson; Phil Trinder (PPIG, 2000)

A visualisation of polymorphic type checking. - Yang Jung; Greg Michaelson (J. Funct. Program., 2000)

Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. - Norman Scaife; Greg Michaelson; Susumu Horiguchi (IFL, 2001)

Higher Order Function Synthesis Through Proof Planning. - Andrew Cook; Andrew Ireland; Greg Michaelson (ASE, 2001)

Human and "human-like" type explanations. - Yang Jun 001; Greg Michaelson; Phil Trinder (PPIG, 2001)

Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. - Nestor Yurievich Miliaev; Alison Cawsey; Greg Michaelson (AIMSA, 2002)

Predictable Space Behaviour in FSM-Hume. - Kevin Hammond; Greg Michaelson (IFL, 2002)

Explaining Polymorphic Types. - Yang Jun 001; Greg Michaelson; Philip W. Trinder (Comput. J., 2002)

Skeleton Realisations from Functional Prototypes. - Greg Michaelson; Norman Scaife (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. - Kevin Hammond; Greg Michaelson (Domain-Specific Program Generation, 2003)

Applied NLG system evaluation: FlexyCAT. - Nestor Yurievich Miliaev; Alison Cawsey; Greg Michaelson (ENLG@EACL, 2003)

Hume: A Domain-Specific Language for Real-Time Embedded Systems. - Kevin Hammond; Greg Michaelson (GPCE, 2003)

FSM-Hume is finite state. - Greg Michaelson; Kevin Hammond; Jocelyn Sérot (Trends in Functional Programming, 2003)

Comparing Parallel Functional Languages: Programming and Performance. - Hans-Wolfgang Loidl; Fernando Rubio 001; Norman Scaife; Kevin Hammond; Susumu Horiguchi; Ulrike Klusik; Rita Loogen; Greg Michaelson; Ricardo Pena; Steffen Priebe; Álvaro J. Rebón Portillo; Philip W. Trinder (High. Order Symb. Comput., 2003)

FSM-Hume: programming resource-limited systems using bounded automata. - Greg Michaelson; Kevin Hammond; Jocelyn Sérot (SAC, 2004)

The Embounded project (project start paper). - Kevin Hammond; Roy Dyckhoff; Christian Ferdinand; Reinhold Heckmann; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (Trends in Functional Programming, 2005)

Discovering applications of higher order functions through proof planning. - Andrew Cook; Andrew Ireland; Greg Michaelson; Norman Scaife (Formal Aspects Comput., 2005)

A parallel SML compiler based on algorithmic skeletons. - Norman Scaife; Susumu Horiguchi; Greg Michaelson; Paul Bristow (J. Funct. Program., 2005)

Constraints on Hypercomputation. - Greg Michaelson; W. Paul Cockshott (CiE, 2006)

Autonomous Mobile Programs. - Xiao Yan Deng; Philip W. Trinder; Greg Michaelson (IAT, 2006)

Low-Level Programming in Hume: An Exploration of the HW-Hume Level. - Kevin Hammond; Gudmund Grov; Greg Michaelson; Andrew Ireland (IFL, 2006)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann; Roy Dyckhoff; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (WCET, 2006)

Orthogonal parallel processing in vector Pascal. - W. Paul Cockshott; Greg Michaelson (Comput. Lang. Syst. Struct., 2006)

Autonomous mobility skeletons. - Xiao Yan Deng; Greg Michaelson; Philip W. Trinder (Parallel Comput., 2006)

Parallel Standard ML with Skeletons. - Norman Scaife; Greg Michaelson; Susumu Horiguchi (Scalable Comput. Pract. Exp., 2006)

Empirical Parallel Performance Prediction From Semantics-Based Profiling. - Norman Scaife; Greg Michaelson; Susumu Horiguchi (Scalable Comput. Pract. Exp., 2006)

Managing Heterogeneity in a Grid Parallel Haskell. - Abdallah Al Zain; Philip W. Trinder; Greg Michaelson; Hans-Wolfgang Loidl (Scalable Comput. Pract. Exp., 2006)

Automatically Costed Autonomous Mobility. - Xiao Yan Deng; Greg Michaelson; Philip W. Trinder (IAT, 2007)

Formal verification of concurrent scheduling strategies using TLA. - Gudmund Grov; Greg Michaelson; Andrew Ireland (ICPADS, 2007)

Towards resource-certified software: a formal cost model for time and its application to an image-processing example. - Armelle Bonenfant; Zezhi Chen; Kevin Hammond; Greg Michaelson; Andrew M. Wallace; Iain Wallace (SAC, 2007)

Towards a Box Calculus for Hierarchical Hume. - Gudmund Grov; Greg Michaelson (Trends in Functional Programming, 2007)

Are There New Models of Computation? Reply to Wegner and Eberbach. - W. Paul Cockshott; Greg Michaelson (Comput. J., 2007)

Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. - Greg Michaelson (J. Funct. Program., 2007)

Preserving coordination properties when transforming concurrent system components. - Gudmund Grov; Robert F. Pointon; Greg Michaelson; Andrew Ireland (SAC, 2008)

Formal Action Semantics for a UML Action Language. - Mikai Yang; Greg J. Michaelson; Rob Pooley (J. Univers. Comput. Sci., 2008)

Physical constraints on hypercomputation. - W. Paul Cockshott; Lewis Mackenzie; Greg Michaelson (Theor. Comput. Sci., 2008)

Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. - Abdallah Al Zain; Philip W. Trinder; Greg Michaelson; Hans-Wolfgang Loidl (IEEE Trans. Parallel Distributed Syst., 2008)

Towards Hume SIMD vectorisation. - Abdallah Al Zain; Valerie Gibson; Greg J. Michaelson; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl (EUSIPCO, 2009)

Characterising Effective Resource Analyses for Parallel and Distributed Coordination. - Philip W. Trinder; Murray Cole; Hans-Wolfgang Loidl; Greg Michaelson (FOPARA, 2009)

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. - Abdallah Al Zain; Kevin Hammond; Jost Berthold; Philip W. Trinder; Greg Michaelson; Mustafa Aswad (DAMP, 2009)

Low Pain vs No Pain Multi-core Haskells. - Mustafa Aswad; Phil Trinder; Abdallah Al Zain; Greg Michaelson; Jost Berthold (Trends in Functional Programming, 2009)

Alison Cawsey. - Greg Michaelson (Comput. Linguistics, 2009)

Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation. - Allin Cottrell; W. Paul Cockshott; Greg Michaelson (Int. J. Unconv. Comput., 2009)

The Peter Landin prize. - Kevin Hammond; Greg Michaelson (High. Order Symb. Comput., 2009)

Cost-driven autonomous mobility. - Xiao Yan Deng; Greg Michaelson; Philip W. Trinder (Comput. Lang. Syst. Struct., 2010)

Hume box calculus: robust system development through software transformation. - Gudmund Grov; Greg Michaelson (High. Order Symb. Comput., 2010)

Reasoning about Multi-process Systems with the Box Calculus. - Greg Michaelson; Gudmund Grov (CEFP, 2011)

Special issue on social impact of AI: killer robots or friendly fridges. - Greg Michaelson; Ruth Aylett (AI Soc., 2011)

In memory of Manny Lehman, 'Father of Software Evolution'. - Gerardo Canfora; Darren Dalcher; David Raffo; Victor R. Basili; Juan Fernández-Ramil; Václav Rajlich; Keith H. Bennett; Liz Burd; Malcolm Munro; Sophia Drossopoulou; Barry W. Boehm; Susan Eisenbach; et al. (J. Softw. Maintenance Res. Pract., 2011)

Harnessing parallelism in FPGAs using the hume language. - Jocelyn Sérot; Greg J. Michaelson (FHPC@ICFP, 2012)

Architecture-aware cost modelling for parallel performance portability. - Evgenij Belikov; Hans-Wolfgang Loidl; Greg Michaelson; Philip W. Trinder (Software Engineering (Workshops), 2012)

Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. - Aliaa M. Alabdali; Lilia Georgieva; Greg Michaelson (TrustCom, 2012)

Accelerated People Tracking using Texture in a Camera Network. - Wasit Limprasert; Andrew M. Wallace; Greg Michaelson (VISAPP (2), 2012)

Costing by Construction. - Greg Michaelson (CPA, 2013)

Resource analyses for parallel and distributed coordination. - Philip W. Trinder; M. I. Cole; Kevin Hammond; Hans-Wolfgang Loidl; Greg Michaelson (Concurr. Comput. Pract. Exp., 2013)

Real-Time People Tracking in a Camera Network. - Wasit Limprasert; Andrew M. Wallace; Greg Michaelson (IEEE J. Emerg. Sel. Topics Circuits Syst., 2013)

Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp. - Greg Michaelson (J. Funct. Program., 2013)

Profile driven dataflow optimisation of mean shift visual tracking. - Deepayan Bhowmik; Andrew M. Wallace; Robert J. Stewart 001; Xinyuan Qian 001; Greg J. Michaelson (GlobalSIP, 2014)

Code or (not code): separating formal and natural language in CS education. - Quintin I. Cutts; Richard Connor 001; Greg Michaelson; Peter Donaldson (WiPSCE, 2014)

Towards a Characterisation of Parallel Functional Applications. - Evgenij Belikov; Hans-Wolfgang Loidl; Greg J. Michaelson (Software Engineering (Workshops), 2015)

RIPL: An Efficient Image Processing DSL for FPGAs. - Robert J. Stewart 001; Deepayan Bhowmik; Greg Michaelson; Andrew M. Wallace (CoRR, 2015)

Are there Domain Specific Languages? - Greg Michaelson (RWDSL@CGO, 2016)

A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. - Robert J. Stewart 001; Greg J. Michaelson; Deepayan Bhowmik; Paulo Garcia; Andy Wallace (ICA3PP Workshops, 2016)

Power efficient dataflow design for a heterogeneous smart camera architecture. - Deepayan Bhowmik; Paulo Garcia; Andrew M. Wallace; Robert J. Stewart 001; Greg Michaelson (DASIP, 2017)

Computer usage and attitudes among Saudi Arabian undergraduate students. - Manal Alothman; Judy Robertson; Greg Michaelson (Comput. Educ., 2017)

Profile Guided Dataflow Transformation for FPGAs and CPUs. - Robert J. Stewart 001; Deepayan Bhowmik; Andrew M. Wallace; Greg Michaelson (J. Signal Process. Syst., 2017)

Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. - Paulo Garcia; Deepayan Bhowmik; Andrew M. Wallace; Robert J. Stewart 001; Greg Michaelson (ARC, 2018)

Parallel Mean Shift Accuracy and Performance Trade-Offs. - Kirsty R. Duncan; Robert J. Stewart 001; Greg Michaelson (ICIP, 2018)

Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. - Evgenij Belikov; Hans-Wolfgang Loidl; Greg Michaelson (TFP, 2018)

Expressiveness, meanings and machines. - Joe Davidson; Greg Michaelson (Comput., 2018)

RIPL: A Parallel Image Processing Language for FPGAs. - Rob Stewart 001; Kirsty Duncan; Greg Michaelson; Paulo Garcia; Deepayan Bhowmik; Andrew M. Wallace (ACM Trans. Reconfigurable Technol. Syst., 2018)

Graphical program transformations for embedded systems. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (SAC, 2019)

Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches - Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99), ISBN: 978-3030098339 (Paperback, £27.99). - Greg Michaelson (Formal Aspects Comput., 2019)

Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. - Paulo Garcia; Deepayan Bhowmik; Robert J. Stewart 001; Greg Michaelson; Andrew M. Wallace (J. Imaging, 2019)

Verifying parallel dataflow transformations with model checking and its application to FPGAs. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (J. Syst. Archit., 2019)

Programming Paradigms, Turing Completeness and Computational Thinking. - Greg Michaelson (Art Sci. Eng. Program., 2020)

Review of Formal Methods: An Appetizer: By Flemming Nielson and Hanne Riis Nielson Springer, 2019, ISBN 978-3-030-05155-6, https: //link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1-160. - Greg Michaelson (Formal Aspects Comput., 2022)