Rational Number Artihmetic by Parallel P-adic Algorithms. - Carla Limongelli; Hans-Wolfgang Loidl (ACPC, 1993)

Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. - Hoon Hong; Hans-Wolfgang Loidl (CONPAR, 1994)

Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. - Kevin Hammond; Hans-Wolfgang Loidl; Andrew S. Partridge (Functional Programming, 1994)

On the Granularity of Divide-and-Conquer Parallelism. - Hans-Wolfgang Loidl; Kevin Hammond (Functional Programming, 1995)

Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. - Hans-Wolfgang Loidl; Kevin Hammond (Implementation of Functional Languages, 1996)

Parallelising a Large Functional Program or: Keeping LOLITA Busy. - Hans-Wolfgang Loidl; Richard G. Morgan; Philip W. Trinder; Sanjay Poria; Chris Cooper; Simon L. Peyton Jones; Roberto Garigliano (Implementation of Functional Languages, 1997)

Engineering Large Parallel Functional Programs. - Hans-Wolfgang Loidl; Philip W. Trinder (Implementation of Functional Languages, 1997)

Algorithms + Strategy = Parallelism. - Philip W. Trinder; Kevin Hammond; Hans-Wolfgang Loidl; Simon L. Peyton Jones (J. Funct. Program., 1998)

Granularity in large-scale parallel functional programming. - Hans-Wolfgang Loidl (1998)

Large Scale Functional Applications. - Philip W. Trinder; Hans-Wolfgang Loidl; Kevin Hammond (Research Directions in Parallel Functional Programming, 1999)

Engineering parallel symbolic programs in GPH. - Hans-Wolfgang Loidl; Philip W. Trinder; Kevin Hammond; Sahalu B. Junaidu; Richard G. Morgan; Simon L. Peyton Jones (Concurr. Pract. Exp., 1999)

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). - Philip W. Trinder; Hans-Wolfgang Loidl; Ed. Barry Jr.; Kei Davis; Kevin Hammond; Ulrike Klusik; Simon L. Peyton Jones; Álvaro J. Rebón Portillo (Euro-Par, 2000)

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

GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. - Hans-Wolfgang Loidl; Ulrike Klusik; Kevin Hammond; Rita Loogen; Philip W. Trinder (Scottish Functional Programming Workshop, 2000)

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

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

Load Balancing in a Parallel Graph Reducer. - Hans-Wolfgang Loidl (Scottish Functional Programming Workshop, 2001)

Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. - Hans-Wolfgang Loidl; Philip W. Trinder; Carsten Butz (Parallel Process. Lett., 2001)

The Virtual Shared Memory Performance of a Parallel Graph Reduce. - Hans-Wolfgang Loidl (CCGRID, 2002)

Thread Migration in a Parallel Graph Reducer. - André Rauber Du Bois; Hans-Wolfgang Loidl; Philip W. Trinder (IFL, 2002)

Cost Analysis Using Automatic Size and Time Inference. - Álvaro J. Rebón Portillo; Kevin Hammond; Hans-Wolfgang Loidl; Pedro B. Vasconcelos (IFL, 2002)

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

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

Implementing Mobile Haskell. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (Trends in Functional Programming, 2003)

Comparing Parallel Functional Languages: Programming and Performance. - Hans-Wolfgang Loidl; Fernando Rubio 001; Norman Scaife; Kevin Hammond; Susumu Horiguchi; Ulrike Klusik; Rita Loogen; Greg Michaelson; Ricardo Pena; Steffen Priebe; Álvaro J. Rebón Portillo; Philip W. Trinder (High. Order Symb. Comput., 2003)

A Program Logic for Resource Verification. - David Aspinall 001; Lennart Beringer; Martin Hofmann 001; Hans-Wolfgang Loidl; Alberto Momigliano (TPHOLs, 2004)

Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. - Martin Lange; Hans-Wolfgang Loidl (PDMC, 2004)

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

Mobile Resource Guarantees (project evaluation paper). - Donald Sannella; Martin Hofmann 001; David Aspinall 001; Stephen Gilmore; Ian Stark; Lennart Beringer; Hans-Wolfgang Loidl; Kenneth MacKenzie; Alberto Momigliano; Olha Shkaravska (Trends in Functional Programming, 2005)

mHaskell: Mobile Computation in a Purely Functional Language. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (J. Univers. Comput. Sci., 2005)

Towards Mobility Skeletons. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (Parallel Process. Lett., 2005)

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

Strong Mobility in Mobile Haskell. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (J. Univers. Comput. Sci., 2006)

Managing Heterogeneity in a Grid Parallel Haskell. - Abdallah Al Zain; Philip W. Trinder; Greg Michaelson; Hans-Wolfgang Loidl (Scalable Comput. Pract. Exp., 2006)

Preface. - Martin Hofmann 001; Hans-Wolfgang Loidl (Theor. Comput. Sci., 2006)

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. - Abdallah Al Zain; Kevin Hammond; Philip W. Trinder; Steve Linton; Hans-Wolfgang Loidl; Marco Costanti (International Conference on Computational Science (2), 2007)

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

A program logic for resources. - David Aspinall 001; Lennart Beringer; Martin Hofmann 001; Hans-Wolfgang Loidl; Alberto Momigliano (Theor. Comput. Sci., 2007)

Scheduling Light-Weight Parallelism in ArTCoP. - Jost Berthold; Abyd Al Zain; Hans-Wolfgang Loidl (PADL, 2008)

Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. - Abdallah Al Zain; Philip W. Trinder; Greg Michaelson; Hans-Wolfgang Loidl (IEEE Trans. Parallel Distributed Syst., 2008)

Towards Hume SIMD vectorisation. - Abdallah Al Zain; Valerie Gibson; Greg J. Michaelson; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl (EUSIPCO, 2009)

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. - Steffen Jost; Hans-Wolfgang Loidl; Kevin Hammond; Norman Scaife; Martin Hofmann 001 (FM, 2009)

Improvements to a Resource Analysis for Hume. - Hans-Wolfgang Loidl; Steffen Jost (FOPARA, 2009)

Characterising Effective Resource Analyses for Parallel and Distributed Coordination. - Philip W. Trinder; Murray Cole; Hans-Wolfgang Loidl; Greg Michaelson (FOPARA, 2009)

A Proof-Carrying-Code Infrastructure for Resources. - Hans-Wolfgang Loidl; Kenneth MacKenzie; Steffen Jost; Lennart Beringer (LADC, 2009)

Seq no more: better strategies for parallel Haskell. - Simon Marlow; Patrick Maier 001; Hans-Wolfgang Loidl; Mustafa Aswad; Philip W. Trinder (Haskell, 2010)

Improving Your CASH Flow: The Computer Algebra SHell. - Christopher Brown 002; Hans-Wolfgang Loidl; Jost Berthold; Kevin Hammond (IFL, 2010)

Static determination of quantitative resource usage for higher-order programs. - Steffen Jost; Kevin Hammond; Hans-Wolfgang Loidl; Martin Hofmann 001 (POPL, 2010)

Comparing High Level MapReduce Query Languages. - Robert J. Stewart 001; Philip W. Trinder; Hans-Wolfgang Loidl (APPT, 2011)

Parallel Computing and Practical Constraints when applying the Standard POMDP Belief Update Formalism to Spoken Dialogue Management. - Paul A. Crook; Brieuc Roblin; Hans-Wolfgang Loidl; Oliver Lemon (IWSDS, 2011)

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. - Christopher Brown 002; Hans-Wolfgang Loidl; Kevin Hammond (Trends in Functional Programming, 2011)

Functional Languages. - Philip W. Trinder; Hans-Wolfgang Loidl; Kevin Hammond (Encyclopedia of Parallel Computing, 2011)

Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison. - Prabhat Totoo; Pantazis Deligiannis; Hans-Wolfgang Loidl (FHPC@ICFP, 2012)

Architecture-aware cost modelling for parallel performance portability. - Evgenij Belikov; Hans-Wolfgang Loidl; Greg Michaelson; Philip W. Trinder (Software Engineering (Workshops), 2012)

Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH). - Mustafa Aswad; Philip W. Trinder; Hans-Wolfgang Loidl (ICCS, 2012)

Reasoning About Resources in the Embedded Systems Language Hume. - Hans-Wolfgang Loidl; Gudmund Grov (FOPARA, 2013)

The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. - Malak Saleh Aljabri; Hans-Wolfgang Loidl; Philip W. Trinder (IFL, 2013)

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. - Vladimir Janjic; Christopher Brown 002; Max Neunhöffer; Kevin Hammond; Steve Linton; Hans-Wolfgang Loidl (PARCO, 2013)

Resource analyses for parallel and distributed coordination. - Philip W. Trinder; M. I. Cole; Kevin Hammond; Hans-Wolfgang Loidl; Greg Michaelson (Concurr. Comput. Pract. Exp., 2013)

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. - Steve Linton; Kevin Hammond; Alexander Konovalov 001; Christopher Brown 002; Philip W. Trinder; Hans-Wolfgang Loidl; Peter Horn; Dan Roozemond (J. Symb. Comput., 2013)

High-Performance Computer Algebra: A Hecke Algebra Case Study. - Patrick Maier 001; Daria Livesey; Hans-Wolfgang Loidl; Phil Trinder (Euro-Par, 2014)

Lazy data-oriented evaluation strategies. - Prabhat Totoo; Hans-Wolfgang Loidl (FHPC@ICFP, 2014)

Balancing Shared and Distributed Heaps on NUMA Architectures. - Malak Saleh Aljabri; Hans-Wolfgang Loidl; Phil Trinder (Trends in Functional Programming, 2014)

SICSA multicore challenge editorial preface. - Hans-Wolfgang Loidl; Jeremy Singer (Concurr. Comput. Pract. Exp., 2014)

Parallel Haskell implementations of the N-body problem. - Prabhat Totoo; Hans-Wolfgang Loidl (Concurr. Comput. Pract. Exp., 2014)

Design and Implementation of the Jomini Engine: Towards a Historical Massively Multiplayer Online Role-Playing Game. - David Bond; Hans-Wolfgang Loidl; Sandy Louchart (GALA, 2015)

Towards a Characterisation of Parallel Functional Applications. - Evgenij Belikov; Hans-Wolfgang Loidl; Greg J. Michaelson (Software Engineering (Workshops), 2015)

Editorial of Special Issue Trends in Functional Programming 2011/12. - Hans-Wolfgang Loidl; Ricardo Peña (Comput. Lang. Syst. Struct., 2015)

NsGTFA: A GUI Tool to Easily Measure Network Performance through the Ns2 Trace File. - Idris Skloul Ibrahim; Peter J. B. King; Hans-Wolfgang Loidl (J. Intell. Syst., 2015)

Transparently Resilient Task Parallelism for Chapel. - Konstantina Panagiotopoulou; Hans-Wolfgang Loidl (IPDPS Workshops, 2016)

HPC-GAP: engineering a 21st-century high-performance computer algebra system. - Reimer Behrends; Kevin Hammond; Vladimir Janjic; Alexander Konovalov 001; Steve Linton; Hans-Wolfgang Loidl; Patrick Maier 001; Phil Trinder (Concurr. Comput. Pract. Exp., 2016)

PAEAN: Portable and scalable runtime support for parallel Haskell dialects. - Jost Berthold; Hans-Wolfgang Loidl; Kevin Hammond (J. Funct. Program., 2016)

Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. - Evgenij Belikov; Hans-Wolfgang Loidl; Greg Michaelson (TFP, 2018)

A Playful Learning Exercise: Kashmir Crisis. - Charlie Murray; Hans-Wolfgang Loidl; Brian Train (GALA, 2021)

Improving GHC Haskell NUMA profiling. - Ruairidh MacGregor; Phil Trinder; Hans-Wolfgang Loidl (FHPNC@ICFP, 2021)

Benchmarking Parallelism in Unikernels. - Akilan Selvacoumar; Rob Stewart 001; Hans-Wolfgang Loidl; Ahmad Ryad Soobhany (Euro-Par Workshops, 2022)

F1TENTH: An Over-taking Algorithm Using Machine Learning. - Jiancheng Zhang; Hans-Wolfgang Loidl (ICAC, 2023)

Introducing and Interfacing with Cybersecurity - A Cards Approach. - Ryan Shah; Manuel Maarek; Shenando Stals; Lynne Baillie; Sheung Chi Chan; Robert J. Stewart 001; Hans-Wolfgang Loidl; Olga Chatzifoti (CoRR, 2023)

Communicating on Security within Software Development Issue Tracking. - Léon McGregor; Manuel Maarek; Hans-Wolfgang Loidl (CoRR, 2023)

Empower New Code Citizens to Reflect and Communicate on Code Security. - Manuel Maarek; Daisy Abbott; Olga Chatzifoti; Ryan Shah; Sheung Chi Chan; Hans-Wolfgang Loidl; Robert J. Stewart 001; Jamie Iona Ferguson; Sandy Louchart; Shenando Stals; Lynne Baillie (IEEE Secur. Priv., 2025)