Concepedia

Greg Michaelson

GM

31

Publications

965

Citations

17

H-Index

1988

Active since

Affiliations

Heriot-Watt University(Current)

University of St Andrews

Heriot-Watt University Malaysia

University of Edinburgh

University of Glasgow

Greg Michaelson is an author at Heriot-Watt University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringParallel ComputingFormal MethodsParallel ProgrammingSoftware EngineeringComputer ArchitectureSoftware Analysis

Publications per year

1988–2019

31

Publications

31

Concepts of programming languages

Greg Michaelson · Information and Software Technology · 1990 · 119 citations

Language Construct, Programming Paradigm, Engineering +11

Hume: a domain-specific language for real-time embedded systems

Kevin Hammond, Greg Michaelson · 2003 · 96 citations

Engineering, Program Analysis, Real-time Operation +9

Testing Marx: Some new results from UK data

Paul Cockshott, Allin Cottrell, Greg Michaelson · Capital & Class · 1995 · 94 citations

Marxian Economics, Economic History, Large-scale Datasets +16

Comparing Parallel Functional Languages: Programming and Performance

Hans Loidl, Fernando Rubio, Norman Scaife et al. · LISP and Symbolic Computation · 2003 · 73 citations

Code or (not code)

Quintin Cutts, Richard Connor, Greg Michaelson et al. · 2014 · 52 citations

Engineering, Education, Software Engineering +19

Rows per page

1–5 of 31