Greg Michaelson

Computer Science · Physical Sciences

19h-index1.5kcitations162works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(43), Logic, programming, and type systems(32), Embedded Systems Design Techniques(23), Formal Methods in Verification(22), Distributed and Parallel Computing Systems(21)

Publications162 total

Defending Materialism
Bloomsbury Publishing Plc eBooks·2024
Alice Roberts, illustrated by James Weston Lewis. 2020. Human journey. London: Red Shed; 978-1-4052-9145-3 paperback £12.99.
Antiquity·2023
Review of <i>Formal Methods: An Appetizer</i>
Formal Aspects of Computing·2022Open Access
Trends in Functional Programming
Lecture notes in computer science·2021· 6 cited
Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches
Formal Aspects of Computing·2019
Verifying parallel dataflow transformations with model checking and its application to FPGAs
Journal of Systems Architecture·2019· 5 citedOpen Access
Graphical program transformations for embedded systems
2019· 2 cited
Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing
Journal of Imaging·2019· 30 citedOpen Access
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell
Lecture notes in computer science·2019· 1 cited
Parallel Mean Shift Accuracy and Performance Trade-Offs
2018
Expressiveness, meanings and machines
Computability·2018· 2 cited
RIPL
ACM Transactions on Reconfigurable Technology and Systems·2018· 23 citedOpen Access
Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems
Lecture notes in computer science·2018· 4 cited
Microworlds, Objects First, Computational Thinking and Programming
2018· 6 cited
Napier's Bones
2017
Power efficient dataflow design for a heterogeneous smart camera architecture
2017· 6 cited
Computer usage and attitudes among Saudi Arabian undergraduate students
Computers & Education·2017· 40 citedOpen Access
Are there Domain Specific Languages?
2016
A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs
Lecture notes in computer science·2016· 10 cited
Profile Guided Dataflow Transformation for FPGAs and CPUs
Journal of Signal Processing Systems·2015· 12 cited
page 1 of 9Next →

Frequent Co-authors

Kevin Hammond(11), Phil Trinder(9), Andrew Wallace(9), Norman Scaife(5), Deepayan Bhowmik(5), Robert Stewart(5), Paul Cockshott(4), Paulo Garcia(4), Gudmund Grov(4), Andrew Ireland(3), Allin Cottrell(2), Hans Loidl(2), S. Horiguchi(2), Paul Bristow(2), Peter J. B. King(2), H‐W. Loidl(2), W.J. Austin(2), Xiao Yan Deng(2), Fernando Rubio(1), Ulrike Klusik(1)