Verified Construction of Fair Voting Rules. - Karsten Diekhoff; Michael Kirsten; Jonas Krämer (LOPSTR, 2019)

Inferring Interval-Valued Floating-Point Preconditions. - Jonas Krämer; Lionel Blatter; Eva Darulova; Mattias Ulbrich (TACAS (1), 2022)