Manuel Eberl

Identifiers

No identifiers captured yet.

Papers (2)

1. A Verified Compiler for Probability Density Functions cs.PL · 2017 · author #1
2. Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving cs.GT · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Christian Geist 1 shared papers
• Felix Brandt 1 shared papers
• Florian Brandl 1 shared papers
• Johannes H\"olzl 1 shared papers
• Tobias Nipkow 1 shared papers