| 2020 | PPoPP | YewPar: skeletons for exact combinatorial search. | Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder |
| 2019 | EuroPar | Implementing YewPar: A Framework for Parallel Tree Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder |
| 2017 | ISSAC | Towards Generic Scalable Parallel Combinatorial Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule |
| 2016 | CGO | Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming. | Patrick Maier |
| 2016 | ICFP | JIT costing adaptive skeletons for performance portability. | Patrick Maier, John Magnus Morton, Phil Trinder |
| 2014 | EuroPar | High-Performance Computer Algebra: A Hecke Algebra Case Study. | Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder |
| 2014 | HASKELL | The HdpH DSLs for scalable reliable computation. | Patrick Maier, Robert J. Stewart, Phil Trinder |
| 2013 | CSEDU | Evaluation of an Augmented-Reality-based 3D User Interface to Enhance the 3D-Understanding of Molecular Chemistry. | Patrick Maier, Gudrun Klinker |
| 2013 | Mobiquitous | Gestyboard BackTouch 1.0: Two-Handed Backside Blind-Typing on Mobile Touch-Sensitive Surfaces. | Tayfur Coskun, Christoph Bruns, Amal Benzina, Manuel J. Huber, Patrick Maier, Marcus Tnnis, Gudrun Klinker |
| 2013 | SAC | Reliable scalable symbolic computation: the design of SymGridPar2. | Patrick Maier, Robert J. Stewart, Philip W. Trinder |
| 2012 | EGVE | An Empiric Evaluation of Confirmation Methods for Optical See-Through Head-Mounted Display Calibration. | Patrick Maier, Arindam Dey, Christian A. L. Waechter, Christian Sandor, Marcus Tnnis, Gudrun Klinker |
| 2011 | ISMAR | An empiric evaluation of confirmation methods for optical see-through head-mounted display calibration. | Patrick Maier, Arindam Dey, Christian A. L. Waechter, Christian Sandor, Marcus Tnnis, Gudrun Klinker |
| 2010 | HASKELL | Seq no more: better strategies for parallel Haskell. | Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder |
| 2010 | ISMAR | Designing and comparing two-handed gestures to confirm links between user controlled objects. | Patrick Maier, Marcus Tnnis, Gudrun Klinker |
| 2009 | VMCAI | Deciding Extensions of the Theories of Vectors and Bags. | Patrick Maier |
| 2005 | CSL | Bounded Model Checking of Pointer Programs. | Witold Charatonik, Lilia Georgieva, Patrick Maier |
| 2005 | FM | Model-Checking of Specifications Integrating Processes, Data and Time. | Jochen Hoenicke, Patrick Maier |
| 2005 | SEFM | Description Logics for Shape Analysis. | Lilia Georgieva, Patrick Maier |
| 2004 | CSL | Intuitionistic LTL and a New Characterization of Safety and Liveness. | Patrick Maier |
| 2003 | FOSSACS | Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. | Patrick Maier |
| 2001 | ICALP | A Set-Theoretic Framework for Assume-Guarantee Reasoning. | Patrick Maier |