Manuel Eberl

Universität Innsbruck - Innsbruck / Austria

Engineering & Technology / Computer Science

AD Scientific Index ID: 4885272

University of Innsbruck

Registration, Add Profile,
Premium Membership

Get Your Global Impact Certificate

Manuel Eberl's MOST POPULAR ARTICLES

1-) Proving the incompatibility of efficiency and strategyproofness via SMT solving Journal of the ACM (JACM) 65 (2), 1-28, 2018

2-) A Verified Compiler for Probability Density Functions Technische Universität München, 2014

3-) Proving divide and conquer complexities in Isabelle/HOL Journal of Automated Reasoning 58, 483-508, 2017

4-) Fisher-yates shuffle Arch. Formal Proofs 2016, 19, 2016

5-) Verified Analysis of Random Binary Tree Structures

ARTICLES

Add your articles