Éléanore Meyer

According to our database, Éléanore Meyer authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Deciding Termination of Simple Randomized Loops.

Éléanore Meyer, Jürgen Giesl

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Targeting Completeness: Automated Complexity Analysis of Integer Programs.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

CoRR, 2024

Control-Flow Refinement for Probabilistic Programs in KoAT.

Nils Lommen, Éléanore Meyer, Jürgen Giesl

CoRR, 2024

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).

Nils Lommen, Éléanore Meyer, Jürgen Giesl

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version).

Nils Lommen, Eleanore Meyer, Jürgen Giesl

CoRR, 2023