Scholar
Manuel Eberl
Google Scholar ID: K_Y2OrkAAAAJ
University of Innsbruck
decision procedures
interactive theorem proving
formalised mathematics
verification
Isabelle
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
442
H-index
12
i10-index
12
Publications
20
Co-authors
7
list available
Publications
1 items
The Impossibility of Strategyproof Rank Aggregation
2026
Cited
0
Co-authors
2 total
Felix Brandt
Professor of Computer Science, Technische Universität München
Florian Brandl
University of Bonn
