Manuel Eberl | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Tobias Nipkow
8 publications
Jonas Israel
8 publications
Theo Delemazure
6 publications
Patrick Lederer
6 publications
Tom Demeulemeester
3 publications
Johannes Hölzl
2 publications

research

∙ 11/24/2022

Strategyproofness and Proportionality in Party-Approval Multiwinner Elections

In party-approval multiwinner elections the goal is to allocate the seat...

0 Theo Delemazure, et al. ∙

research

∙ 07/21/2017

A Verified Compiler for Probability Density Functions

Bhat et al. developed an inductive compiler that computes density functi...

0 Manuel Eberl, et al. ∙

Success!

An error occurred