Jonas Krämer

According to our database, Jonas Krämer authored at least 2 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Inferring Interval-Valued Floating-Point Preconditions.

Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2019

Verified Construction of Fair Voting Rules.

Karsten Diekhoff, Michael Kirsten, Jonas Krämer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019