default search action
Greg J. Michaelson
Greg Michaelson – Gregory John Michaelson
Person information
- affiliation: Heriot-Watt University, School of Mathematical & Computer Sciences, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j41]Greg Michaelson
:
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. Formal Aspects Comput. 34(2): 1-2 (2022) - 2020
- [j40]Greg Michaelson:
Programming Paradigms, Turing Completeness and Computational Thinking. Art Sci. Eng. Program. 4(3): 4 (2020) - [i2]Greg Michaelson:
Programming Paradigms, Turing Completeness and Computational Thinking. CoRR abs/2002.06178 (2020)
2010 – 2019
- 2019
- [j39]Greg Michaelson:
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). Formal Aspects Comput. 31(5): 641-642 (2019) - [j38]Paulo Garcia
Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. J. Imaging 5(1): 7 (2019) - [j37]Robert J. Stewart
Verifying parallel dataflow transformations with model checking and its application to FPGAs. J. Syst. Archit. 101 (2019) - [c50]Robert J. Stewart
Graphical program transformations for embedded systems. SAC 2019: 647-649 - [e7]Robert J. Stewart, Greg J. Michaelson:
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, ISBN 978-1-4503-6637-3 [contents] - 2018
- [j36]Joe Davidson, Greg Michaelson:
Expressiveness, meanings and machines. Comput. 7(4): 367-394 (2018) - [j35]Rob Stewart
RIPL: A Parallel Image Processing Language for FPGAs. ACM Trans. Reconfigurable Technol. Syst. 11(1): 7:1-7:24 (2018) - [c49]Paulo Garcia
Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. ARC 2018: 523-536 - [c48]Kirsty R. Duncan, Robert J. Stewart
Parallel Mean Shift Accuracy and Performance Trade-Offs. ICIP 2018: 2197-2201 - [c47]Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson:
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. TFP 2018: 1-19 - 2017
- [j34]Manal Alothman, Judy Robertson
Computer usage and attitudes among Saudi Arabian undergraduate students. Comput. Educ. 110: 127-142 (2017) - [j33]Robert J. Stewart
Profile Guided Dataflow Transformation for FPGAs and CPUs. J. Signal Process. Syst. 87(1): 3-20 (2017) - [c46]Deepayan Bhowmik, Paulo Garcia
Power efficient dataflow design for a heterogeneous smart camera architecture. DASIP 2017: 1-6 - [e6]Robert J. Stewart, Greg Michaelson:
Proceedings of the 2nd International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017. ACM 2017, ISBN 978-1-4503-4845-4 [contents] - 2016
- [c45]Greg Michaelson:
Are there Domain Specific Languages? RWDSL@CGO 2016: 1:1-1:3 - [c44]Robert J. Stewart
A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. ICA3PP Workshops 2016: 174-188 - [e5]Robert J. Stewart, Greg Michaelson:
Proceedings of the 1st International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016. ACM 2016, ISBN 978-1-4503-4051-9 [contents] - 2015
- [c43]Evgenij Belikov, Hans-Wolfgang Loidl, Greg J. Michaelson:
Towards a Characterisation of Parallel Functional Applications. Software Engineering (Workshops) 2015: 146-153 - [i1]Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace:
RIPL: An Efficient Image Processing DSL for FPGAs. CoRR abs/1508.07136 (2015) - 2014
- [c42]Deepayan Bhowmik
Profile driven dataflow optimisation of mean shift visual tracking. GlobalSIP 2014: 1-5 - [c41]Quintin I. Cutts, Richard Connor, Greg Michaelson, Peter Donaldson
Code or (not code): separating formal and natural language in CS education. WiPSCE 2014: 20-28 - 2013
- [j32]Philip W. Trinder, M. I. Cole, Kevin Hammond
Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. 25(3): 309-348 (2013) - [j31]Wasit Limprasert
Real-Time People Tracking in a Camera Network. IEEE J. Emerg. Sel. Topics Circuits Syst. 3(2): 263-271 (2013) - [j30]Greg Michaelson:
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. J. Funct. Program. 23(3): 351-352 (2013) - [c40]Greg Michaelson:
Costing by Construction. CPA 2013: 1-2 - 2012
- [c39]Jocelyn Sérot, Greg J. Michaelson:
Harnessing parallelism in FPGAs using the hume language. FHPC@ICFP 2012: 27-36 - [c38]Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder:
Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) 2012: 105-120 - [c37]Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson:
Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. TrustCom 2012: 785-792 - [c36]Wasit Limprasert, Andrew M. Wallace, Greg Michaelson:
Accelerated People Tracking using Texture in a Camera Network. VISAPP (2) 2012: 225-234 - 2011
- [j29]Greg Michaelson, Ruth Aylett:
Special issue on social impact of AI: killer robots or friendly fridges. AI Soc. 26(4): 317-318 (2011) - [j28]Gerardo Canfora, Darren Dalcher
In memory of Manny Lehman, 'Father of Software Evolution'. J. Softw. Maintenance Res. Pract. 23(3): 137-144 (2011) - [c35]Greg Michaelson, Gudmund Grov:
Reasoning about Multi-process Systems with the Box Calculus. CEFP 2011: 279-338 - 2010
- [j27]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Cost-driven autonomous mobility. Comput. Lang. Syst. Struct. 36(1): 34-59 (2010) - [j26]Gudmund Grov, Greg Michaelson:
Hume box calculus: robust system development through software transformation. High. Order Symb. Comput. 23(2): 191-226 (2010)
2000 – 2009
- 2009
- [j25]Greg Michaelson:
Alison Cawsey. Comput. Linguistics 35(4): 475-481 (2009) - [j24]Allin Cottrell, W. Paul Cockshott, Greg Michaelson:
Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation. Int. J. Unconv. Comput. 5(3-4): 223-236 (2009) - [j23]Kevin Hammond
The Peter Landin prize. High. Order Symb. Comput. 22(4): 305-312 (2009) - [c34]Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl:
Towards Hume SIMD vectorisation. EUSIPCO 2009: 2683-2687 - [c33]Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson:
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA 2009: 67-83 - [c32]Abdallah Al Zain, Kevin Hammond
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36 - [c31]Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold:
Low Pain vs No Pain Multi-core Haskells. Trends in Functional Programming 2009: 49-64 - 2008
- [j22]Mikai Yang, Greg J. Michaelson, Rob Pooley:
Formal Action Semantics for a UML Action Language. J. Univers. Comput. Sci. 14(21): 3608-3624 (2008) - [j21]W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson:
Physical constraints on hypercomputation. Theor. Comput. Sci. 394(3): 159-174 (2008) - [j20]Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distributed Syst. 19(2): 219-233 (2008) - [c30]Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland:
Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127 - 2007
- [j19]W. Paul Cockshott, Greg Michaelson:
Are There New Models of Computation? Reply to Wegner and Eberbach. Comput. J. 50(2): 232-247 (2007) - [j18]Greg Michaelson:
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. J. Funct. Program. 17(3): 428-429 (2007) - [c29]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Automatically Costed Autonomous Mobility. IAT 2007: 95-101 - [c28]Gudmund Grov, Greg Michaelson, Andrew Ireland:
Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6 - [c27]Armelle Bonenfant, Zezhi Chen, Kevin Hammond
Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC 2007: 1307-1314 - [c26]Gudmund Grov, Greg Michaelson:
Towards a Box Calculus for Hierarchical Hume. Trends in Functional Programming 2007: 71-88 - 2006
- [j17]W. Paul Cockshott, Greg Michaelson:
Orthogonal parallel processing in vector Pascal. Comput. Lang. Syst. Struct. 32(1): 2-41 (2006) - [j16]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Autonomous mobility skeletons. Parallel Comput. 32(7-8): 463-478 (2006) - [j15]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Parallel Standard ML with Skeletons. Scalable Comput. Pract. Exp. 7(2) (2006) - [j14]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Empirical Parallel Performance Prediction From Semantics-Based Profiling. Scalable Comput. Pract. Exp. 7(3) (2006) - [j13]Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Managing Heterogeneity in a Grid Parallel Haskell. Scalable Comput. Pract. Exp. 7(3) (2006) - [c25]Greg Michaelson, W. Paul Cockshott:
Constraints on Hypercomputation. CiE 2006: 378-387 - [c24]Xiao Yan Deng, Philip W. Trinder, Greg Michaelson:
Autonomous Mobile Programs. IAT 2006: 177-186 - [c23]Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107 - [c22]Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace:
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006 - 2005
- [j12]Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife:
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17(1): 38-57 (2005) - [j11]Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow:
A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15(4): 615-650 (2005) - [c21]Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson:
Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) 2005: 746-754 - [c20]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Empirical Parallel Performance Prediction from Semantics-Based Profiling. International Conference on Computational Science (2) 2005: 781-789 - [c19]Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace:
The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210 - [e4]Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder:
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3474, Springer 2005, ISBN 3-540-26094-3 [contents] - 2004
- [c18]Greg Michaelson, Kevin Hammond, Jocelyn Sérot:
FSM-Hume: programming resource-limited systems using bounded automata. SAC 2004: 1455-1461 - [e3]Philip W. Trinder, Greg Michaelson, Ricardo Pena:
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5 [contents] - 2003
- [j10]Hans-Wolfgang Loidl, Fernando Rubio
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16(3): 203-251 (2003) - [c17]Kevin Hammond
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation 2003: 127-142 - [c16]Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson:
Applied NLG system evaluation: FlexyCAT. ENLG@EACL 2003 - [c15]Kevin Hammond, Greg Michaelson:
Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE 2003: 37-56 - [c14]Greg Michaelson, Kevin Hammond, Jocelyn Sérot:
FSM-Hume is finite state. Trends in Functional Programming 2003: 19-28 - [p4]Greg Michaelson, Norman Scaife:
Skeleton Realisations from Functional Prototypes. Patterns and Skeletons for Parallel and Distributed Computing 2003: 129-153 - 2002
- [j9]Yang Jun, Greg Michaelson, Philip W. Trinder:
Explaining Polymorphic Types. Comput. J. 45(4): 436-452 (2002) - [c13]Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson:
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. AIMSA 2002: 122-131 - [c12]Kevin Hammond, Greg Michaelson:
Predictable Space Behaviour in FSM-Hume. IFL 2002: 1-16 - 2001
- [c11]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. IFL 2001: 138-154 - [c10]Andrew Cook, Andrew Ireland, Greg Michaelson:
Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310 - [c9]Yang Jun, Greg Michaelson, Phil Trinder:
Human and "human-like" type explanations. PPIG 2001: 13 - 2000
- [j8]Yang Jung, Greg Michaelson:
A visualisation of polymorphic type checking. J. Funct. Program. 10(1): 57-75 (2000) - [c8]Yang Jun, Greg Michaelson, Phil Trinder:
How do people check polymorphic types? PPIG 2000: 6 - [e2]Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999. Trends in Functional Programming 1, Intellect 2000, ISBN 1-84150-024-0 [contents]
1990 – 1999
- 1999
- [c7]Mohammad Hamdan, Greg J. Michaelson, Peter King:
A framework for nesting algorithmic skeletons. PARCO 1999: 542-549 - [p3]Kevin Hammond, Greg Michaelson:
Introduction. Research Directions in Parallel Functional Programming 1999: 3-29 - [p2]Greg Michaelson, Kevin Hammond, Chris Clack:
Foundations. Research Directions in Parallel Functional Programming 1999: 31-61 - [p1]Greg Michaelson, Kevin Hammond:
Summary. Research Directions in Parallel Functional Programming 1999: 427-430 - [e1]Kevin Hammond, Greg Michaelson:
Research Directions in Parallel Functional Programming. Springer 1999, ISBN 978-1-85233-092-7 [contents] - 1998
- [j7]Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin:
A Dual Source, Parallel Architecture for Computer Vision. J. Supercomput. 12(1-2): 37-56 (1998) - 1997
- [j6]Sandra P. Foubister, Greg Michaelson, N. Tomes:
Automatic assessment of elementary Standard ML programs using Ceilidh. J. Comput. Assist. Learn. 13(2): 99-108 (1997) - 1996
- [c6]Greg Michaelson:
Automatic Analysis Of Functional Program Style. Australian Software Engineering Conference 1996: 38-46 - 1995
- [j5]Greg Michaelson:
Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator. Inf. Softw. Technol. 37(10): 547-555 (1995) - [j4]Greg Michaelson, Norman Scaife:
Prototyping a Parallel Vision System in Standard ML. J. Funct. Program. 5(3): 345-382 (1995) - [c5]Norman Scaife, Greg J. Michaelson, Andrew M. Wallace:
Prototyping Parallel Algorithms using Standard ML. BMVC 1995: 1-10 - 1994
- [c4]Greg Michaelson:
Women and Men in Computer Cartoons from Punch: 1946 to 1982. WWC 1994: 171-184 - 1993
- [b2]Gregory John Michaelson:
Interpreter prototypes from formal language definitions. Heriot-Watt University, Edinburgh, UK, 1993 - [c3]Greg Michaelson, Tore A. Bratvold, David John Busvine, K. G. Waugh:
Parallel Implementations from Functional Prototype Instrumentation. PARCO 1993: 631-634 - 1992
- [j3]Andrew M. Wallace
Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision. Computer 25(2): 43-53 (1992) - 1990
- [c2]D. Welch, Greg Michaelson:
The Edinburgh Woman in Computing Workshops. WiC 1990: 359-366
1980 – 1989
- 1989
- [b1]Greg J. Michaelson:
An introduction to functional programming through lambda calculus. International computer science series, Addison-Wesley 1989, ISBN 978-0-201-17812-8, pp. I-XV, 1-320 - [j2]S. Hopkins, Greg Michaelson, Andrew M. Wallace
Parallel imperative and functional approaches to visual scene labelling. Image Vis. Comput. 7(3): 178-193 (1989) - [c1]Greg Michaelson:
Grammars and Implementation Independent Structure Representation. POS 1989: 19-28 - 1986
- [j1]Greg Michaelson:
Interpreters From Functions and Grammars. Comput. Lang. 11(2): 85-104 (1986)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-28 23:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: