Search the dblp DataBase
Greg Michaelson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Nestor Miliaev , Alison Cawsey , Greg Michaelson Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. [Citation Graph (0, 0)][DBLP ] AIMSA, 2002, pp:122-131 [Conf ] Greg Michaelson Automatic Analysis Of Functional Program Style. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 1996, pp:38-46 [Conf ] Greg Michaelson Automatic Analysis Of Functional Program Style. [Citation Graph (0, 0)][DBLP ] ASYNC, 1996, pp:38-46 [Conf ] Greg Michaelson , W. Paul Cockshott Constraints on Hypercomputation. [Citation Graph (0, 0)][DBLP ] CiE, 2006, pp:378-387 [Conf ] Kevin Hammond , Greg Michaelson The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. [Citation Graph (0, 0)][DBLP ] Domain-Specific Program Generation, 2003, pp:127-142 [Conf ] Kevin Hammond , Greg Michaelson Hume: A Domain-Specific Language for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP ] GPCE, 2003, pp:37-56 [Conf ] Xiao Yan Deng , Philip W. Trinder , Greg Michaelson Autonomous Mobile Programs. [Citation Graph (0, 0)][DBLP ] IAT, 2006, pp:177-186 [Conf ] Norman Scaife , Greg Michaelson , Susumu Horiguchi Empirical Parallel Performance Prediction from Semantics-Based Profiling. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2005, pp:781-789 [Conf ] Abdallah Al Zain , Philip W. Trinder , Hans-Wolfgang Loidl , Greg Michaelson Managing Heterogeneity in a Grid Parallel Haskell. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2005, pp:746-754 [Conf ] Greg Michaelson Women and Men in Computer Cartoons from Punch: 1946 to 1982. [Citation Graph (0, 0)][DBLP ] Woman, Work and Computerization, 1994, pp:171-184 [Conf ] Kevin Hammond , Greg Michaelson Predictable Space Behaviour in FSM-Hume. [Citation Graph (0, 0)][DBLP ] IFL, 2002, pp:1-16 [Conf ] Norman Scaife , Greg Michaelson , Susumu Horiguchi Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. [Citation Graph (0, 0)][DBLP ] IFL, 2001, pp:138-154 [Conf ] Andrew Cook , Andrew Ireland , Greg Michaelson Higher Order Function Synthesis Through Proof Planning. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:307-310 [Conf ] Greg Michaelson , Tore Bratvold , David Busvine , K. G. Waugh Parallel Implementations from Functional Prototype Instrumentation. [Citation Graph (0, 0)][DBLP ] PARCO, 1993, pp:631-634 [Conf ] Greg Michaelson Grammars and Implementation Independent Structure Representation. [Citation Graph (0, 0)][DBLP ] POS, 1989, pp:19-28 [Conf ] Greg Michaelson , Kevin Hammond , Jocelyn Sérot FSM-Hume: programming resource-limited systems using bounded automata. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:1455-1461 [Conf ] Armelle Bonenfant , Zezhi Chen , Kevin Hammond , Greg Michaelson , Andrew M. Wallace , Iain Wallace Towards resource-certified software: a formal cost model for time and its application to an image-processing example. [Citation Graph (0, 0)][DBLP ] SAC, 2007, pp:1307-1314 [Conf ] D. Welch , Greg Michaelson The Edinburgh Woman in Computing Workshops. [Citation Graph (0, 0)][DBLP ] Woman into Computing, 1990, pp:359-366 [Conf ] Yang Jun , Greg Michaelson , Philip W. Trinder Explaining Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Comput. J., 2002, v:45, n:4, pp:436-452 [Journal ] W. Paul Cockshott , Greg Michaelson Orthogonal parallel processing in vector Pascal. [Citation Graph (0, 0)][DBLP ] Computer Languages, Systems & Structures, 2006, v:32, n:1, pp:2-41 [Journal ] Greg Michaelson Interpreters From Functions and Grammars. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1986, v:11, n:2, pp:85-104 [Journal ] Andrew M. Wallace , Greg Michaelson , P. McAndrew , K. G. Waugh , W. J. Austin Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1992, v:25, n:2, pp:43-53 [Journal ] Andrew Cook , Andrew Ireland , Greg Michaelson , Norman Scaife Discovering applications of higher order functions through proof planning. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2005, v:17, n:1, pp:38-57 [Journal ] S. Hopkins , Greg Michaelson , Andrew M. Wallace Parallel imperative and functional approaches to visual scene labelling. [Citation Graph (0, 0)][DBLP ] Image Vision Comput., 1989, v:7, n:3, pp:178-193 [Journal ] Sandra P. Foubister , Greg Michaelson , N. Tomes Automatic assessment of elementary Standard ML programs using Ceilidh. [Citation Graph (0, 0)][DBLP ] J. Comp. Assisted Learning, 1997, v:13, n:2, pp:99-108 [Journal ] Yang Jung , Greg Michaelson A visualisation of polymorphic type checking. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2000, v:10, n:1, pp:57-75 [Journal ] Greg Michaelson , Norman Scaife Prototyping a Parallel Vision System in Standard ML. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:3, pp:345-382 [Journal ] Norman Scaife , Susumu Horiguchi , Greg Michaelson , Paul Bristow A parallel SML compiler based on algorithmic skeletons. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2005, v:15, n:4, pp:615-650 [Journal ] Hans-Wolfgang Loidl , Fernando Rubio , Norman Scaife , Kevin Hammond , Susumu Horiguchi , Ulrike Klusik , Rita Loogen , Greg Michaelson , Ricardo Pena , Steffen Priebe , Álvaro J. Rebón Portillo , Philip W. Trinder Comparing Parallel Functional Languages: Programming and Performance [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2003, v:16, n:3, pp:203-251 [Journal ] Xiao Yan Deng , Greg Michaelson , Philip W. Trinder Autonomous mobility skeletons. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 2006, v:32, n:7-8, pp:463-478 [Journal ] Andrew M. Wallace , Greg Michaelson , Norman Scaife , W. J. Austin A Dual Source, Parallel Architecture for Computer Vision. [Citation Graph (0, 0)][DBLP ] The Journal of Supercomputing, 1998, v:12, n:1-2, pp:37-56 [Journal ] Kevin Hammond , Gudmund Grov , Greg Michaelson , Andrew Ireland Low-Level Programming in Hume: An Exploration of the HW-Hume Level. [Citation Graph (0, 0)][DBLP ] IFL, 2006, pp:91-107 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] Trends in Functional Programming, 2005, pp:195-210 [Conf ] Greg Michaelson , Kevin Hammond , Jocelyn Sérot FSM-Hume is finite state. [Citation Graph (0, 0)][DBLP ] Trends in Functional Programming, 2003, pp:19-28 [Conf ] W. Paul Cockshott , Greg Michaelson Are There New Models of Computation? Reply to Wegner and Eberbach. [Citation Graph (0, 0)][DBLP ] Comput. J., 2007, v:50, n:2, pp:232-247 [Journal ] Automatically Costed Autonomous Mobility. [Citation Graph (, )][DBLP ] Formal verification of concurrent scheduling strategies using TLA. [Citation Graph (, )][DBLP ] Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. [Citation Graph (, )][DBLP ] Preserving coordination properties when transforming concurrent system components. [Citation Graph (, )][DBLP ] Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP ] Cost-driven autonomous mobility. [Citation Graph (, )][DBLP ] Alison Cawsey. [Citation Graph (, )][DBLP ] Search in 0.114secs, Finished in 0.115secs