Matthias Hetzenberger

Projektass.(FWF) Dipl.-Ing. / BSc

Role

The Vampire Diary / Bártek, F., Bhayat, A., Coutelier, R., Hajdu, M., Hetzenberger, M., Hozzová, P., Kovács, L., Rath, J., Rawson, M., Reger, G., Suda, M., Schoisswohl, J., & Voronkov, A. (2025). The Vampire Diary. In R. Piskac & Zvonimir Rakamarić (Eds.), Computer Aided Verification (pp. 57–71). Springer. https://doi.org/10.1007/978-3-031-98682-6_4
Projects: ARTIST (2021–2026) / ForSmart (2023–2027) / LEARN (2025–2026) / QuAT (2024–2025) / SFB SPyCoDe (2023–2030)
Constraint superposition for higher-order logic / Hetzenberger, M. (2023). Constraint superposition for higher-order logic [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108280
Download: PDF (1.3 MB)