Books

• Functional Data Structures and Algorithms. A Proof Assistant Approach
  edited by Tobias Nipkow

Journal Articles

• Verified Analysis of Random Binary Tree Structures (extended journal version)
  by Manuel Eberl, Max W. Haslbeck, and Tobias Nipkow
  In: Journal of Automated Reasoning (2020)
• Prov­ing the In­com­pat­ib­il­ity of Ef­fi­ciency and Strategy­proof­ness via SMT Solv­ing
  by Florian Brandl, Felix Brandt, Manuel Eberl, and Christian Geist
  In: Journal of the ACM (2018)
• Prov­ing Di­vide and Con­quer Com­plex­it­ies in Isa­belle/­HOL
  by Manuel Eberl
  In: Journal of Auto­mated Reas­on­ing (2016)

Conference Articles

• Strategyproofness and Proportionality in Party-Approval Multiwinner Elections
  by Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, and Patrick Lederer
  In: Proceedings of AAAI 2023
• Verified Textbook Algorithms. A Biased Survey (invited paper)
  by Tobias Nipkow, Manuel Eberl, and Maximilian P. L. Haslbeck
  In: Proceedings of ATVA 2020
• Verifying Randomised Social Choice
  by Manuel Eberl
  In: Proceedings of FroCoS 2019
• Nine Chapters of Analytic Number Theory in Isabelle/HOL
  by Manuel Eberl
  In: Proceedings of ITP 2019
• Verified Real Asymptotics in Isabelle/HOL
  by Manuel Eberl
  In: Proceedings of ISSAC 2019
• Verified Solving and Asymptotics of Linear Recurrences
  by Manuel Eberl
  In: Proceedings of CPP 2019
• Verified Analysis of Random Binary Tree Structures
  by Manuel Eberl, Max W. Haslbeck, and Tobias Nipkow
  In: Proceedings of ITP 2018
• A Ver­i­fied Com­piler for Prob­a­bil­ity Den­sity Func­tions
  by Manuel Eberl, Johannes Hölzl, and Tobias Nipkow
  In: Pro­ceed­ings of ESOP 2015
• A De­ci­sion Pro­ce­dure for Uni­vari­ate Real Poly­no­mi­als in Isa­belle/​HOL
  by Manuel Eberl
  In: Pro­ceed­ings of CPP 2015

Theses

• Asymptotic Reasoning in a Proof Assistant
  PhD thesis at the Technical University of Munich (2020)
• A Formal Proof of the Incompatibility of SD-Efficiency and SD-Strategy-Proofness
  Bachelor's thesis at the Technical University of Munich (2016)
• A Verified Compiler for Probability Density Functions
  Master's thesis at the Technical University of Munich (2014)
• Efficient and Verified Computation of Simulation Preorders on NFAs
  Bachelor's thesis at the Technical University of Munich (2012)