Citizen-centered democratic innovation: Understanding citizen preferences for participatory budgeting algorithms
Dauer: 48 Monate, Fördersumme: € 594.596
Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
Dauer: 96 Monate, Fördersumme: € 1.599.620
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000