dblp.uni-trier.dewww.uni-trier.de

Greg Michaelson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
45EEGudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland: Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127
44EEAbdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl: Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distrib. Syst. 19(2): 219-233 (2008)
43EEW. Paul Cockshott, Lewis Mackenzie, Greg Michaelson: Physical constraints on hypercomputation. Theor. Comput. Sci. 394(3): 159-174 (2008)
2007
42EEXiao Yan Deng, Greg Michaelson, Philip W. Trinder: Automatically Costed Autonomous Mobility. IAT 2007: 95-101
41EEGudmund Grov, Greg Michaelson, Andrew Ireland: Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6
40EEArmelle 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. SAC 2007: 1307-1314
39EEW. Paul Cockshott, Greg Michaelson: Are There New Models of Computation? Reply to Wegner and Eberbach. Comput. J. 50(2): 232-247 (2007)
38EEGreg Michaelson: Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. J. Funct. Program. 17(3): 428-429 (2007)
2006
37EEGreg Michaelson, W. Paul Cockshott: Constraints on Hypercomputation. CiE 2006: 378-387
36EEXiao Yan Deng, Philip W. Trinder, Greg Michaelson: Autonomous Mobile Programs. IAT 2006: 177-186
35EEKevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland: Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107
34EEKevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
33EEW. Paul Cockshott, Greg Michaelson: Orthogonal parallel processing in vector Pascal. Computer Languages, Systems & Structures 32(1): 2-41 (2006)
32EEXiao Yan Deng, Greg Michaelson, Philip W. Trinder: Autonomous mobility skeletons. Parallel Computing 32(7-8): 463-478 (2006)
2005
31 Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers Springer 2005
30EEAbdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson: Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) 2005: 746-754
29EENorman Scaife, Greg Michaelson, Susumu Horiguchi: Empirical Parallel Performance Prediction from Semantics-Based Profiling. International Conference on Computational Science (2) 2005: 781-789
28 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). Trends in Functional Programming 2005: 195-210
27EEAndrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife: Discovering applications of higher order functions through proof planning. Formal Asp. Comput. 17(1): 38-57 (2005)
26EENorman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow: A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15(4): 615-650 (2005)
2004
25 Philip W. Trinder, Greg Michaelson, Ricardo Pena: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers Springer 2004
24EEGreg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume: programming resource-limited systems using bounded automata. SAC 2004: 1455-1461
2003
23EEKevin Hammond, Greg Michaelson: The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation 2003: 127-142
22EEKevin Hammond, Greg Michaelson: Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE 2003: 37-56
21 Greg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume is finite state. Trends in Functional Programming 2003: 19-28
20EEHans-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 Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
2002
19EENestor Miliaev, Alison Cawsey, Greg Michaelson: Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. AIMSA 2002: 122-131
18EEKevin Hammond, Greg Michaelson: Predictable Space Behaviour in FSM-Hume. IFL 2002: 1-16
17EEYang Jun, Greg Michaelson, Philip W. Trinder: Explaining Polymorphic Types. Comput. J. 45(4): 436-452 (2002)
2001
16EEAndrew Cook, Andrew Ireland, Greg Michaelson: Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310
15EENorman Scaife, Greg Michaelson, Susumu Horiguchi: Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. IFL 2001: 138-154
2000
14 Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl: Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 Intellect 2000
13 Yang Jung, Greg Michaelson: A visualisation of polymorphic type checking. J. Funct. Program. 10(1): 57-75 (2000)
1998
12EEAndrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin: A Dual Source, Parallel Architecture for Computer Vision. The Journal of Supercomputing 12(1-2): 37-56 (1998)
1997
11EESandra P. Foubister, Greg Michaelson, N. Tomes: Automatic assessment of elementary Standard ML programs using Ceilidh. J. Comp. Assisted Learning 13(2): 99-108 (1997)
1996
10EEGreg Michaelson: Automatic Analysis Of Functional Program Style. ASYNC 1996: 38-46
9EEGreg Michaelson: Automatic Analysis Of Functional Program Style. Australian Software Engineering Conference 1996: 38-46
1995
8 Greg Michaelson, Norman Scaife: Prototyping a Parallel Vision System in Standard ML. J. Funct. Program. 5(3): 345-382 (1995)
1994
7 Greg Michaelson: Women and Men in Computer Cartoons from Punch: 1946 to 1982. Woman, Work and Computerization 1994: 171-184
1993
6 Greg Michaelson, Tore Bratvold, David Busvine, K. G. Waugh: Parallel Implementations from Functional Prototype Instrumentation. PARCO 1993: 631-634
1992
5 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. IEEE Computer 25(2): 43-53 (1992)
1990
4 D. Welch, Greg Michaelson: The Edinburgh Woman in Computing Workshops. Woman into Computing 1990: 359-366
1989
3EEGreg Michaelson: Grammars and Implementation Independent Structure Representation. POS 1989: 19-28
2EES. Hopkins, Greg Michaelson, Andrew M. Wallace: Parallel imperative and functional approaches to visual scene labelling. Image Vision Comput. 7(3): 178-193 (1989)
1986
1 Greg Michaelson: Interpreters From Functions and Grammars. Comput. Lang. 11(2): 85-104 (1986)

Coauthor Index

1W. J. Austin [5] [12]
2Armelle Bonenfant [40]
3Tore Bratvold [6]
4Paul Bristow [26]
5David Busvine [6]
6Alison Cawsey [19]
7Zezhi Chen [40]
8W. Paul Cockshott [33] [37] [39] [43]
9Andrew Cook [16] [27]
10Xiao Yan Deng [32] [36] [42]
11Roy Dyckhoff [28] [34]
12Christian Ferdinand [28] [34]
13Sandra P. Foubister [11]
14Clemens Grelck [31]
15Gudmund Grov [35] [41] [45]
16Kevin Hammond [18] [20] [21] [22] [23] [24] [28] [34] [35] [40]
17Reinhold Heckmann [28] [34]
18Martin Hofmann [28] [34]
19S. Hopkins [2]
20Susumu Horiguchi [15] [20] [26] [29]
21Frank Huch [31]
22Andrew Ireland [16] [27] [35] [41] [45]
23Steffen Jost [28] [34]
24Yang Jun [17]
25Yang Jung [13]
26Ulrike Klusik [20]
27Hans-Wolfgang Loidl [14] [20] [28] [30] [34] [44]
28Rita Loogen [20]
29Lewis Mackenzie [43]
30P. McAndrew [5]
31Nestor Miliaev [19]
32Ricardo Peña-Marí (Ricardo Pena) [20] [25]
33Robert F. Pointon [28] [34] [45]
34Álvaro J. Rebón Portillo [20]
35Steffen Priebe [20]
36Fernando Rubio [20]
37Norman Scaife [8] [12] [15] [20] [26] [27] [28] [29] [34]
38Jocelyn Sérot [21] [24] [28] [34]
39N. Tomes [11]
40Philip W. Trinder [14] [17] [20] [25] [30] [31] [32] [36] [42] [44]
41Andrew M. Wallace [2] [5] [12] [40]
42Andy Wallace [28] [34]
43Iain Wallace [40]
44K. G. Waugh [5] [6]
45D. Welch [4]
46Abdallah Al Zain [30] [44]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)