Greg Michaelson

2008
45	EE	Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland: Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127
44	EE	Abdallah 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)
43	EE	W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson: Physical constraints on hypercomputation. Theor. Comput. Sci. 394(3): 159-174 (2008)
2007
42	EE	Xiao Yan Deng, Greg Michaelson, Philip W. Trinder: Automatically Costed Autonomous Mobility. IAT 2007: 95-101
41	EE	Gudmund Grov, Greg Michaelson, Andrew Ireland: Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6
40	EE	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. SAC 2007: 1307-1314
39	EE	W. Paul Cockshott, Greg Michaelson: Are There New Models of Computation? Reply to Wegner and Eberbach. Comput. J. 50(2): 232-247 (2007)
38	EE	Greg Michaelson: Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. J. Funct. Program. 17(3): 428-429 (2007)
2006
37	EE	Greg Michaelson, W. Paul Cockshott: Constraints on Hypercomputation. CiE 2006: 378-387
36	EE	Xiao Yan Deng, Philip W. Trinder, Greg Michaelson: Autonomous Mobile Programs. IAT 2006: 177-186
35	EE	Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland: Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107
34	EE	Kevin 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
33	EE	W. Paul Cockshott, Greg Michaelson: Orthogonal parallel processing in vector Pascal. Computer Languages, Systems & Structures 32(1): 2-41 (2006)
32	EE	Xiao 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
30	EE	Abdallah 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
29	EE	Norman 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
27	EE	Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife: Discovering applications of higher order functions through proof planning. Formal Asp. Comput. 17(1): 38-57 (2005)
26	EE	Norman 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
24	EE	Greg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume: programming resource-limited systems using bounded automata. SAC 2004: 1455-1461
2003
23	EE	Kevin 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
22	EE	Kevin 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
20	EE	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 Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
2002
19	EE	Nestor Miliaev, Alison Cawsey, Greg Michaelson: Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. AIMSA 2002: 122-131
18	EE	Kevin Hammond, Greg Michaelson: Predictable Space Behaviour in FSM-Hume. IFL 2002: 1-16
17	EE	Yang Jun, Greg Michaelson, Philip W. Trinder: Explaining Polymorphic Types. Comput. J. 45(4): 436-452 (2002)
2001
16	EE	Andrew Cook, Andrew Ireland, Greg Michaelson: Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310
15	EE	Norman 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
12	EE	Andrew 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
11	EE	Sandra 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
10	EE	Greg Michaelson: Automatic Analysis Of Functional Program Style. ASYNC 1996: 38-46
9	EE	Greg 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
3	EE	Greg Michaelson: Grammars and Implementation Independent Structure Representation. POS 1989: 19-28
2	EE	S. 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

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

Colors in the list of coauthors