Jonas Krämer

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 2

Top Topics

Interval Valued Fuzzy Sets

Aggregation Operators

Top Venues

Publications

Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich
Inferring Interval-Valued Floating-Point Preconditions. TACAS (1) (2022)
Karsten Diekhoff, Michael Kirsten, Jonas Krämer
Verified Construction of Fair Voting Rules. LOPSTR (2019)