Greg Michaelson

	2012
59		Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder: Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) 2012: 105-120
58		Wasit Limprasert, Andrew M. Wallace, Greg Michaelson: Accelerated People Tracking using Texture in a Camera Network. VISAPP (2) 2012: 225-234
	2011
57		Greg Michaelson, Ruth Aylett: Special issue on social impact of AI: killer robots or friendly fridges. AI Soc. 26(4): 317-318 (2011)
56		Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Darren Dalcher, Peter Ross, Paul Wernick, Dewayne E. Perry: In memory of Manny Lehman, 'Father of Software Evolution'. Journal of Software Maintenance 23(3): 137-144 (2011)
	2010
55		Xiao Yan Deng, Greg Michaelson, Philip W. Trinder: Cost-driven autonomous mobility. Computer Languages, Systems & Structures 36(1): 34-59 (2010)
54		Gudmund Grov, Greg Michaelson: Hume box calculus: robust system development through software transformation. Higher-Order and Symbolic Computation 23(2): 191-226 (2010)
	2009
53		Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad: Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36
52		Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson: Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA 2009: 67-83
51		Greg Michaelson: Alison Cawsey. Computational Linguistics 35(4): 475-481 (2009)
50		Kevin Hammond, Greg Michaelson: The Peter Landin prize. Higher-Order and Symbolic Computation 22(4): 305-312 (2009)
49		Allin Cottrell, W. Paul Cockshott, Greg Michaelson: Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation. IJUC 5(3-4): 223-236 (2009)
	2008
48		Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland: Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127
47		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)
46		W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson: Physical constraints on hypercomputation. Theor. Comput. Sci. 394(3): 159-174 (2008)
	2007
45		Xiao Yan Deng, Greg Michaelson, Philip W. Trinder: Automatically Costed Autonomous Mobility. IAT 2007: 95-101
44		Gudmund Grov, Greg Michaelson, Andrew Ireland: Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6
43		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
42		W. Paul Cockshott, Greg Michaelson: Are There New Models of Computation? Reply to Wegner and Eberbach. Comput. J. 50(2): 232-247 (2007)
41		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
40		Greg Michaelson, W. Paul Cockshott: Constraints on Hypercomputation. CiE 2006: 378-387
39		Xiao Yan Deng, Philip W. Trinder, Greg Michaelson: Autonomous Mobile Programs. IAT 2006: 177-186
38		Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland: Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107
37		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
36		W. Paul Cockshott, Greg Michaelson: Orthogonal parallel processing in vector Pascal. Computer Languages, Systems & Structures 32(1): 2-41 (2006)
35		Xiao Yan Deng, Greg Michaelson, Philip W. Trinder: Autonomous mobility skeletons. Parallel Computing 32(7-8): 463-478 (2006)
34		Norman Scaife, Greg Michaelson, Susumu Horiguchi: Parallel Standard ML with Skeletons. Scalable Computing: Practice and Experience 7(2): (2006)
33		Norman Scaife, Greg Michaelson, Susumu Horiguchi: Empirical Parallel Performance Prediction From Semantics-Based Profiling. Scalable Computing: Practice and Experience 7(3): (2006)
32		Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl: Managing Heterogeneity in a Grid Parallel Haskell. Scalable Computing: Practice and Experience 7(3): (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		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		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		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		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		Greg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume: programming resource-limited systems using bounded automata. SAC 2004: 1455-1461
	2003
23		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		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		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		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		Kevin Hammond, Greg Michaelson: Predictable Space Behaviour in FSM-Hume. IFL 2002: 1-16
17		Yang Jun, Greg Michaelson, Philip W. Trinder: Explaining Polymorphic Types. Comput. J. 45(4): 436-452 (2002)
	2001
16		Andrew Cook, Andrew Ireland, Greg Michaelson: Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310
15		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		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		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		Greg Michaelson: Automatic Analysis Of Functional Program Style. ASYNC 1996: 38-46
9		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		Greg Michaelson: Grammars and Implementation Independent Structure Representation. POS 1989: 19-28
2		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	Mustafa Aswad	[53]
2	W. J. Austin	[5] [12]
3	Ruth Aylett	[57]
4	Victor R. Basili	[56]
5	Evgenij Belikov	[59]
6	Keith H. Bennett	[56]
7	Jost Berthold	[53]
8	Barry W. Boehm	[56]
9	Armelle Bonenfant	[43]
10	Tore Bratvold	[6]
11	Paul Bristow	[26]
12	Elizabeth Burd (Liz Burd)	[56]
13	David Busvine	[6]
14	Gerardo Canfora	[56]
15	Alison Cawsey	[19]
16	Zezhi Chen	[43]
17	W. Paul Cockshott	[36] [40] [42] [46] [49]
18	Murray Cole	[52]
19	Andrew Cook	[16] [27]
20	Allin Cottrell	[49]
21	Darren Dalcher	[56]
22	Xiao Yan Deng	[35] [39] [45] [55]
23	Sophia Drossopoulou	[56]
24	Roy Dyckhoff	[28] [37]
25	Susan Eisenbach	[56]
26	Christian Ferdinand	[28] [37]
27	Juan Fernández-Ramil (Juan F. Ramil)	[56]
28	Sandra P. Foubister	[11]
29	Clemens Grelck	[31]
30	Gudmund Grov	[38] [44] [48] [54]
31	Kevin Hammond	[18] [20] [21] [22] [23] [24] [28] [37] [38] [43] [50] [53]
32	Reinhold Heckmann	[28] [37]
33	Martin Hofmann	[28] [37]
34	S. Hopkins	[2]
35	Susumu Horiguchi	[15] [20] [26] [29] [33] [34]
36	Frank Huch	[31]
37	Andrew Ireland	[16] [27] [38] [44] [48]
38	Steffen Jost	[28] [37]
39	Yang Jun	[17]
40	Yang Jung	[13]
41	Ulrike Klusik	[20]
42	Wasit Limprasert	[58]
43	Hans-Wolfgang Loidl	[14] [20] [28] [30] [32] [37] [47] [52] [59]
44	Rita Loogen	[20]
45	Lewis Mackenzie	[46]
46	P. McAndrew	[5]
47	Nestor Miliaev	[19]
48	Malcolm Munro	[56]
49	Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena)	[20] [25]
50	Dewayne E. Perry	[56]
51	Robert F. Pointon	[28] [37] [48]
52	Álvaro J. Rebón Portillo	[20]
53	Steffen Priebe	[20]
54	David Raffo (David M. Raffo)	[56]
55	Václav Rajlich (Vaclav Rajlich)	[56]
56	Peter Ross	[56]
57	Fernando Rubio	[20]
58	Norman Scaife	[8] [12] [15] [20] [26] [27] [28] [29] [33] [34] [37]
59	Jocelyn Sérot	[21] [24] [28] [37]
60	N. Tomes	[11]
61	Philip W. Trinder	[14] [17] [20] [25] [30] [31] [32] [35] [39] [45] [47] [52] [53] [55] [59]
62	Andrew M. Wallace	[2] [5] [12] [43] [58]
63	Andy Wallace	[28] [37]
64	Iain Wallace	[43]
65	K. G. Waugh	[5] [6]
66	D. Welch	[4]
67	Paul Wernick	[56]
68	Abdallah Al Zain	[30] [32] [47] [53]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page