| Proving the incompatibility of efficiency and strategyproofness via SMT solving F Brandl, F Brandt, M Eberl, C Geist Journal of the ACM (JACM) 65 (2), 1-28, 2018 | 53 | 2018 |
| Proving divide and conquer complexities in Isabelle/HOL M Eberl Journal of Automated Reasoning 58 (4), 483-508, 2017 | 31 | 2017 |
| A Verified Compiler for Probability Density Functions M Eberl Technische Universität München, 2014 | 30 | 2014 |
| Verified Analysis of Random Binary Tree Structures M Eberl, MW Haslbeck, T Nipkow | 22* | 2018 |
| A decision procedure for univariate real polynomials in Isabelle/HOL M Eberl Proceedings of the 2015 Conference on Certified Programs and Proofs, 75-83, 2015 | 21 | 2015 |
| Verified Textbook Algorithms: a Biased Survey T Nipkow, M Eberl, MPL Haslbeck International Symposium on Automated Technology for Verification and …, 2020 | 18 | 2020 |
| Verified real asymptotics in Isabelle/HOL M Eberl Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 15 | 2019 |
| Fisher-yates shuffle M Eberl Arch. Formal Proofs 2016, 2016 | 10 | 2016 |
| Nine chapters of analytic number theory in Isabelle/HOL M Eberl 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 8 | 2019 |
| Functional Algorithms, Verified T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ... | 7 | 2021 |
| Verified solving and asymptotics of linear recurrences M Eberl Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019 | 7 | 2019 |
| The incompatibility of Fishburnstrategyproofness and Pareto-efficiency F Brandt, M Eberl, C Saile, C Stricker Archive of Formal Proofs, 2018 | 7 | 2018 |
| Randomised social choice theory M Eberl Archive of Formal Proofs, 2016 | 6 | 2016 |
| The Archive of Formal Proofs M Eberl, G Klein, T Nipkow, L Paulson, R Thiemann Online Journal. URL: https://www. isa-afp. org, 1994 | 6 | 1994 |
| Strategyproofness and proportionality in party-approval multiwinner elections T Delemazure, T Demeulemeester, M Eberl, J Israel, P Lederer Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 5591-5599, 2023 | 5 | 2023 |
| Basic geometric properties of triangles M Eberl Archive of Formal Proofs, 2015 | 5 | 2015 |
| The prime number theorem M Eberl, LC Paulson Archive of Formal Proofs, 2018 | 4 | 2018 |
| The incompatibility of SD-efficiency and SD-strategy-proofness M Eberl Archive of Formal Proofs, formal proof development, 2016 | 4 | 2016 |
| Efficient and verified computation of simulation relations on NFAs M Eberl Bachelor's thesis, Technische Universität München, 2012 | 4 | 2012 |
| The Catalan Numbers and Pi JA Ewell Mathematics Magazine 65 (1), 36-37, 1992 | 4 | 1992 |
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
