Preserving coordination properties when transforming concurrent system components. - Grov, Gudmund; Pointon, Robert F.; Michaelson, Greg; Ireland, Andrew (2008)

Automatic Amortised Worst-Case Execution Time Analysis. - Herrmann, Christoph A.; Bonenfant, Armelle; Hammond, Kevin; Jost, Steffen; Loidl, Hans-Wolfgang; Pointon, Robert F. (2007)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Hammond, Kevin; Ferdinand, Christian; Heckmann, Reinhold; Dyckhoff, Roy; Hofmann, Martin; Jost, Steffen; Loidl, Hans-Wolfgang; Michaelson, Greg; Pointon, Robert F.; Scaife, Norman; Sérot, Jocelyn; Wallace, Andy (2006)

The Embounded project (project start paper). - Hammond, Kevin; Dyckhoff, Roy; Ferdinand, Christian; Heckmann, Reinhold; Hofmann, Martin; Jost, Steffen; Loidl, Hans-Wolfgang; Michaelson, Greg; Pointon, Robert F.; Scaife, Norman; Sérot, Jocelyn; Wallace, Andy (2005)

Parallel and Distributed Haskells. - Trinder, Philip W.; Loidl, Hans-Wolfgang; Pointon, Robert F. (J. Funct. Program., 2002)

Implementing Declarative Parallel Bottom-Avoiding Choice. - Bois, André Rauber Du; Pointon, Robert F.; Loidl, Hans-Wolfgang; Trinder, Philip W. (2002)

Functional Vs Object-Oriented Distributed Languages. - Pointon, Robert F.; Priebe, Steffen; Loidl, Hans-Wolfgang; Loogen, Rita; Trinder, Philip W. (2001)

The Design and Implementation of Glasgow Distributed Haskell. - Pointon, Robert F.; Trinder, Philip W.; Loidl, Hans-Wolfgang (2000)

Runtime system level fault tolerance for a distributed functional language. - Trinder, Philip W.; Pointon, Robert F.; Loidl, Hans-Wolfgang (2000)