Eva Maria Wagner On leave
Univ.Ass. Dipl.-Ing.in / BSc
Research Areas
- Logic, Formal Methods, Automated Deduction, Automated theorem proving, Automated Reasoning, Computational Logic
Role
- PreDoc Researcher
on leave
Formal Methods in Systems Engineering, E192-04
Contact
- eva.maria.wagner@tuwien.ac.at
- 1040 Wien, Favoritenstrasse 9 / Room HA0305
- vCard from TISS
Courses
Publications
- Hajdu, M., Hozzová, P., Kovács, L., Wagner, E. M. (2026). Completeness of Synthesis Under Realizability Assumptions Using Superposition. In A. Biere, C. Lutz, S. Negri (Eds.), Automated Reasoning : 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I (pp. 22–40). Springer Cham. Peer-reviewed.
- Hajdu, M., Hozzová, P., Kovács, L., Voronkov, A., Wagner, E. M., Žilinčík, R. S. (2025). Synthesis Benchmarks for Automated Reasoning. In V. de Paiva P. Koepke (Eds.), Intelligent Computer Mathematics [CICM 2025] (pp. 21–28). Springer Nature Link. Peer-reviewed.
- Hozzová, P., Amrollahi, D., Hajdu, M., Kovács, L., Voronkov, A., Wagner, E. M. (2024). Synthesis of Recursive Programs in Saturation. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (pp. 154–171). Springer International Publishing. Peer-reviewed.
Theses
- Wagner, E. M. (2024). Program synthesis of provable recursive functions [Diploma Thesis, Technische Universität Wien]. reposiTUm.DOI: 10.34726/hss.2024.120500 / Download: PDF
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Eva Maria’s research profile in TISS.