Eva Maria Wagner

According to our database, Eva Maria Wagner authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

Completeness of Synthesis under Realizability Assumptions using Superposition.

Márton Hajdú, Petra Hozzová, Laura Kovács, Eva Maria Wagner

CoRR, May, 2026

2025

Synthesis Benchmarks for Automated Reasoning.

Petra Hozzová, Márton Hajdú, Laura Kovács, Eva Maria Wagner, Richard Steven Zilincík, Andrei Voronkov

Dataset, August, 2025

Synthesis Benchmarks for Automated Reasoning.

Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Zilincík

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2024

Synthesis of Recursive Programs in Saturation.

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner

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