Eva Maria Wagner
Projektass.in Dipl.-Ing.in / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
- Synthesis of Recursive Programs in Saturation / 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. https://doi.org/10.1007/978-3-031-63498-7_10
-
Program synthesis of provable recursive functions
/
Wagner, E. M. (2024). Program synthesis of provable recursive functions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120500
Download: PDF (1.18 MB)