2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.GT2022★ 2 cited
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections
Théo Delemazure, Tom Demeulemeester, Manuel Eberl +2
In party-approval multiwinner elections the goal is to allocate the seats of a fixed-size committee to parties based on the approval ballots of the voters over the parties. In part…
cs.PL2017
A Verified Compiler for Probability Density Functions
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Bhat et al. developed an inductive compiler that computes density functions for probability spaces described by programs in a simple probabilistic functional language. In this work…