| 2024 | ITP | Distributed Parallel Build for the Isabelle Archive of Formal Proofs. | Fabian Huch, Makarius Wenzel |
| 2022 | ICCHP | Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover. | Bernhard Stger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr |
| 2022 | ITP | Seventeen Provers Under the Hammer. | Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel |
| 2021 | CADE | The Isabelle/Naproche Natural Language Proof Assistant. | Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schtz, Makarius Wenzel |
| 2019 | ITP | Virtualization of HOL4 in Isabelle. | Fabian Immler, Jonas Rdle, Makarius Wenzel |
| 2014 | ITP | An Isabelle Proof Method Language. | Daniel Matichuk, Makarius Wenzel, Toby C. Murray |
| 2014 | ITP | Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. | Makarius Wenzel |
| 2013 | ICFEM | The Circus Testing Theory Revisited in Isabelle/HOL. | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
| 2013 | ITP | Shared-Memory Multiprocessing for Interactive Theorem Proving. | Makarius Wenzel |
| 2012 | AISC | Isabelle/jEdit - A Prover IDE within the PIDE Framework. | Makarius Wenzel |
| 2010 | POPL | Efficient parallel programming in Poly/ML and Isabelle/ML. | David C. J. Matthews, Makarius Wenzel |
| 2008 | AISC | Logic-Free Reasoning in Isabelle/Isar. | Stefan Berghofer, Makarius Wenzel |