A Set-Theoretic Framework for Assume-Guarantee Reasoning. - Patrick Maier 001 (ICALP, 2001)

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. - Patrick Maier 001 (FoSSaCS, 2003)

A lattice-theoretic framework for circular assume-guarantee reasoning. - Patrick Maier 001 (2003)

Intuitionistic LTL and a New Characterization of Safety and Liveness. - Patrick Maier 001 (CSL, 2004)

Bounded Model Checking of Pointer Programs. - Witold Charatonik; Lilia Georgieva; Patrick Maier 001 (CSL, 2005)

Towards Using Description Logics for Symbolic Shape Analysis. - Lilia Georgieva; Patrick Maier 001 (Description Logics, 2005)

Model-Checking of Specifications Integrating Processes, Data and Time. - Jochen Hoenicke; Patrick Maier 001 (FM, 2005)

Description Logics for Shape Analysis. - Lilia Georgieva; Patrick Maier 001 (SEFM, 2005)

Safety Guarantees from Explicit Resource Management. - David Aspinall 001; Patrick Maier 001; Ian Stark (FMCO, 2007)

Monitoring External Resources in Java MIDP. - David Aspinall 001; Patrick Maier 001; Ian Stark (REM@ESORICS, 2007)

Inductive Reasoning for Shape Invariants. - Lilia Georgieva; Patrick Maier 001 (FTP, 2009)

Deciding Extensions of the Theories of Vectors and Bags. - Patrick Maier 001 (VMCAI, 2009)

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

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell. - Patrick Maier 001; Philip W. Trinder (IFL, 2011)

Supervised Workpools for Reliable Massively Parallel Computing. - Robert J. Stewart 001; Phil Trinder; Patrick Maier 001 (Trends in Functional Programming, 2012)

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

The HdpH DSLs for scalable reliable computation. - Patrick Maier 001; Robert J. Stewart 001; Phil Trinder (Haskell, 2014)

Reliable scalable symbolic computation: The design of SymGridPar2. - Patrick Maier 001; Robert J. Stewart 001; Philip W. Trinder (Comput. Lang. Syst. Struct., 2014)

Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming. - Patrick Maier 001 (RWDSL@CGO, 2016)

JIT costing adaptive skeletons for performance portability. - Patrick Maier 001; John Magnus Morton; Phil Trinder (FHPC@ICFP, 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)

JIT-Based Cost Analysis for Dynamic Program Transformations. - John Magnus Morton; Patrick Maier 001; Phil Trinder (RAC@ETAPS, 2016)

Transparent fault tolerance for scalable functional computation. - Robert J. Stewart 001; Patrick Maier 001; Phil Trinder (J. Funct. Program., 2016)

Towards Generic Scalable Parallel Combinatorial Search. - Blair Archibald; Patrick Maier 001; Robert J. Stewart 001; Phil Trinder; Jan De Beule (PASCO@ISSAC, 2017)

Replicable parallel branch and bound search. - Blair Archibald; Patrick Maier 001; Ciaran McCreesh; Robert J. Stewart 001; Phil Trinder (J. Parallel Distributed Comput., 2018)

Implementing YewPar: A Framework for Parallel Tree Search. - Blair Archibald; Patrick Maier 001; Robert J. Stewart 001; Phil Trinder (Euro-Par, 2019)

YewPar: skeletons for exact combinatorial search. - Blair Archibald; Patrick Maier 001; Rob Stewart 001; Phil Trinder (PPoPP, 2020)

Evolutionary optimisation of antibiotic dosing regimens for bacteria with different levels of resistance. - Mila Goranova; Gabriela Ochoa; Patrick Maier 001; Andrew Hoyle (Artif. Intell. Medicine, 2022)