Greg Michaelson
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Embedded Systems Design Techniques, Formal Methods in Verification, Distributed and Parallel Computing Systems
Most-Cited Works
- → Concepts of programming languages(1990)119 cited
- → Testing Marx: Some new results from UK data(1995)96 cited
- → Hume: a domain-specific language for real-time embedded systems(2003)96 cited
- → Research Directions in Parallel Functional Programming(1999)93 cited
- → Comparing Parallel Functional Languages: Programming and Performance(2003)74 cited
- → Code or (not code)(2014)52 cited
- An Introduction to Functional Programming Through Lambda Calculus(1989)
- → NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS(2001)44 cited
- → Are There New Models of Computation? Reply to Wegner and Eberbach †(2007)42 cited