| 2026 | ITP | From Weierstra to Dedekind via Jacobi: Formalising Foundations of Modular Forms. | Manuel Eberl, Wenda Li, Lawrence C. Paulson |
| 2025 | ITP | Verifying an Efficient Algorithm for Computing Bernoulli Numbers. | Manuel Eberl, Peter Lammich |
| 2024 | ITP | Formalising Half of a Graduate Textbook on Number Theory (Short Paper). | Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li |
| 2023 | AAAI | Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. | Tho Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer |
| 2020 | ATVA | Verified Textbook Algorithms - A Biased Survey. | Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck |
| 2019 | CPP | Verified solving and asymptotics of linear recurrences. | Manuel Eberl |
| 2019 | ISSAC | Verified Real Asymptotics in Isabelle/HOL. | Manuel Eberl |
| 2019 | ITP | Nine Chapters of Analytic Number Theory in Isabelle/HOL. | Manuel Eberl |
| 2018 | ITP | Verified Analysis of Random Binary Tree Structures. | Manuel Eberl, Max W. Haslbeck, Tobias Nipkow |
| 2015 | CPP | A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. | Manuel Eberl |
| 2015 | ESOP | A Verified Compiler for Probability Density Functions. | Manuel Eberl, Johannes Hlzl, Tobias Nipkow |