Manuel Eberl

Manuel Eberl

Universität Innsbruck - Innsbruck / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 4885272
University of Innsbruck
person_outline Manuel Eberl's MOST POPULAR ARTICLES
1-) Proving the incompatibility of efficiency and strategyproofness via SMT solvingF Brandl, F Brandt, M Eberl, C GeistJournal of the ACM (JACM) 65 (2), 1-28, 2018502018
2-) A Verified Compiler for Probability Density FunctionsM EberlTechnische Universität München, 2014322014
3-) Proving divide and conquer complexities in Isabelle/HOLM EberlJournal of Automated Reasoning 58, 483-508, 2017312017
4-) Verified Analysis of Random Binary Tree StructuresM Eberl, MW Haslbeck, T Nipkow24*2018
5-) A decision procedure for univariate real polynomials in Isabelle/HOLM EberlProceedings of the 2015 Conference on Certified Programs and Proofs, 75-83, 2015212015