Greg J. Michaelson
Orcid: 0000-0002-3437-6570Affiliations:
- Heriot-Watt University, School of Mathematical & Computer Sciences, UK
According to our database1,
Greg J. Michaelson
authored at least 96 papers
between 1986 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
Review of <i>Formal Methods: An Appetizer</i>: <i>By Flemming Nielson and Hanne Riis Nielson</i> 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., 2022
2020
Art Sci. Eng. Program., 2020
2019
Verifying parallel dataflow transformations with model checking and its application to FPGAs.
J. Syst. Archit., 2019
J. Imaging, 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).
Formal Aspects Comput., 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
2018
ACM Trans. Reconfigurable Technol. Syst., 2018
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell.
Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018
Proceedings of the 2018 IEEE International Conference on Image Processing, 2018
Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2018
2017
J. Signal Process. Syst., 2017
Comput. Educ., 2017
Proceedings of the 2017 Conference on Design and Architectures for Signal and Image Processing, 2017
2016
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016
Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016
2015
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015
2014
Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014
Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014
2013
<i>Learn You a Haskell for Great Good! A Beginner's Guide</i>, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp.
J. Funct. Program., 2013
IEEE J. Emerg. Sel. Topics Circuits Syst., 2013
Concurr. Comput. Pract. Exp., 2013
Proceedings of the 35th Communicating Process Architectures, 2013
2012
Accelerated People Tracking using Texture in a Camera Network.
Proceedings of the VISAPP 2012, 2012
Proceedings of the 11th IEEE International Conference on Trust, 2012
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012
2011
J. Softw. Maintenance Res. Pract., 2011
AI Soc., 2011
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011
2010
High. Order Symb. Comput., 2010
2009
Int. J. Unconv. Comput., 2009
Low Pain vs No Pain Multi-core Haskells.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009
Characterising Effective Resource Analyses for Parallel and Distributed Coordination.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009
Proceedings of the 17th European Signal Processing Conference, 2009
2008
IEEE Trans. Parallel Distributed Syst., 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
2007
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741.
J. Funct. Program., 2007
Towards a Box Calculus for Hierarchical Hume.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007
Towards resource-certified software: a formal cost model for time and its application to an image-processing example.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007
2006
Scalable Comput. Pract. Exp., 2006
Scalable Comput. Pract. Exp., 2006
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006
Proceedings of the Implementation and Application of Functional Languages, 2006
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006
Proceedings of the Logical Approaches to Computational Barriers, 2006
2005
Formal Aspects Comput., 2005
The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005
2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
2003
High. Order Symb. Comput., 2003
FSM-Hume is finite state.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the 9th European Workshop on Natural Language Generation, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003
2002
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing.
Proceedings of the Artificial Intelligence: Methodology, 2002
2001
Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001
2000
Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, 2000
1999
A framework for nesting algorithmic skeletons.
Proceedings of the Parallel Computing: Fundamentals & Applications, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
1998
1997
J. Comput. Assist. Learn., 1997
1996
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996
1995
Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator.
Inf. Softw. Technol., 1995
Proceedings of the British Machine Vision Conference, 1995
1994
Women and Men in Computer Cartoons from Punch: 1946 to 1982.
Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries, 1994
1993
Parallel Implementations from Functional Prototype Instrumentation.
Proceedings of the Parallel Computing: Trends and Applications, 1993
1992
Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision.
Computer, 1992
1990
The Edinburgh Woman in Computing Workshops.
Proceedings of the Woman into Computing: Selected Papers 1988-1990, 1990
1989
Image Vis. Comput., 1989
Grammars and Implementation Independent Structure Representation.
Proceedings of the Persistent Object Systems, 1989
An introduction to functional programming through lambda calculus.
International computer science series, Addison-Wesley, ISBN: 978-0-201-17812-8, 1989
1986