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. - Michaelson, Greg (Formal Aspects Comput., 2022)

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

Programming Paradigms, Turing Completeness and Computational Thinking. - Michaelson, Greg (CoRR, 2020)

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). - Michaelson, Greg (Formal Aspects Comput., 2019)

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

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

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

Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2019, Washington, DC, DC, USA, February 17, 2019 (ACM, 2019)

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

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

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

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

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

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

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

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

Proceedings of the 2nd International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017 (ACM, 2017)

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

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

Proceedings of the 1st International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016 (ACM, 2016)

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

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

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

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

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

Real-Time People Tracking in a Camera Network. - Limprasert, Wasit; Wallace, Andrew M.; Michaelson, Greg (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. - Michaelson, Greg (J. Funct. Program., 2013)

Costing by Construction. - Michaelson, Greg (2013)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Empirical Parallel Performance Prediction from Semantics-Based Profiling. - Scaife, Norman; Michaelson, Greg; Horiguchi, Susumu (2005)

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

Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers (Springer, 2005)

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

Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers (Springer, 2004)

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

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

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

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

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

Skeleton Realisations from Functional Prototypes. - Michaelson, Greg; Scaife, Norman (2003)

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

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

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

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

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

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

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

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

Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 (Intellect, 2000)

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

Introduction. - Hammond, Kevin; Michaelson, Greg (1999)

Foundations. - Michaelson, Greg; Hammond, Kevin; Clack, Chris (1999)

Summary. - Michaelson, Greg; Hammond, Kevin (1999)

Research Directions in Parallel Functional Programming (Springer, 1999)

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

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

Automatic Analysis Of Functional Program Style. - Michaelson, Greg (1996)

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

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

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

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

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

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

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

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

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

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

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

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