The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Greg Michaelson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Greg Michaelson
    Automatic Analysis Of Functional Program Style. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1996, pp:38-46 [Conf]
  3. Greg Michaelson
    Automatic Analysis Of Functional Program Style. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:38-46 [Conf]
  4. Greg Michaelson, W. Paul Cockshott
    Constraints on Hypercomputation. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:378-387 [Conf]
  5. 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]
  6. 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]
  7. Xiao Yan Deng, Philip W. Trinder, Greg Michaelson
    Autonomous Mobile Programs. [Citation Graph (0, 0)][DBLP]
    IAT, 2006, pp:177-186 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Kevin Hammond, Greg Michaelson
    Predictable Space Behaviour in FSM-Hume. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:1-16 [Conf]
  12. 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]
  13. Andrew Cook, Andrew Ireland, Greg Michaelson
    Higher Order Function Synthesis Through Proof Planning. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:307-310 [Conf]
  14. 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]
  15. Greg Michaelson
    Grammars and Implementation Independent Structure Representation. [Citation Graph (0, 0)][DBLP]
    POS, 1989, pp:19-28 [Conf]
  16. 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]
  17. 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]
  18. D. Welch, Greg Michaelson
    The Edinburgh Woman in Computing Workshops. [Citation Graph (0, 0)][DBLP]
    Woman into Computing, 1990, pp:359-366 [Conf]
  19. 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]
  20. 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]
  21. Greg Michaelson
    Interpreters From Functions and Grammars. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1986, v:11, n:2, pp:85-104 [Journal]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Automatically Costed Autonomous Mobility. [Citation Graph (, )][DBLP]


  37. Formal verification of concurrent scheduling strategies using TLA. [Citation Graph (, )][DBLP]


  38. Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. [Citation Graph (, )][DBLP]


  39. Preserving coordination properties when transforming concurrent system components. [Citation Graph (, )][DBLP]


  40. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP]


  41. Cost-driven autonomous mobility. [Citation Graph (, )][DBLP]


  42. Alison Cawsey. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002