Petra Hozzova
Projektass.in Mgr.
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
-
Program Synthesis in Saturation
/
Hozzova, P., Kovács, L., Norman, C., & Voronkov, A. (2023). Program Synthesis in Saturation. In B. Pientka & C. Tinelli (Eds.), Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (pp. 307–324). Springer. https://doi.org/10.1007/978-3-031-38499-8_18
Download: PDF (528 KB)
Projects: ARTIST (2021–2026) / DK - Logic (2014–2023) -
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
/
Hozzová, P., Bendík, J., Nutz, A., & Rodeh, Y. (2023). Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. In R. Piskac & A. Voronkov (Eds.), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 257–269). EasyChair. https://doi.org/10.29007/h4p7
Download: PDF (464 KB)
Projects: ARTIST (2021–2026) / DK - Logic (2014–2023) -
Getting Saturated with Induction
/
Hajdu, M., Hozzová, P., Kovács, L., Reger, G., & Voronkov, A. (2022). Getting Saturated with Induction. In J.-F. Raskin, K. Chatterjee, L. Doyen, & R. Majumdar (Eds.), Principles of Systems Design (Vol. 13660, pp. 306–322). Springer Cham. https://doi.org/10.1007/978-3-031-22337-2_15
Download: PDF (446 KB)
Projects: ARTIST (2021–2026) / DK - Logic (2014–2023) -
Reuse of Introduced Symbols in Automatic Theorem Provers
/
Rawson, M., Suda, M., Hozzova, P., & Reger, G. (2022). Reuse of Introduced Symbols in Automatic Theorem Provers. In B. Konev, C. Schon, & A. Steen (Eds.), PAAR 2022. Practical Aspects of Automated Reasoning 2022. Proceedings of the Workshop on Practical Aspects of Automated Reasoning. CEUR-WS.org. https://doi.org/10.34726/4343
Download: PDF (859 KB)
Project: ARTIST (2021–2026) -
Induction with Recursive Definitions in Superposition
/
Hajdu, M., Hozzova, P., Kovacs, L., & Voronkov, A. (2021). Induction with Recursive Definitions in Superposition. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (Vol. 2, pp. 246–255). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
Download: PDF (350 KB) -
Inductive Benchmarks for Automated Reasoning
/
Hajdu, M., Hozzova, P., Kovacs, L., Schoisswohl, J., & Voronkov, A. (2021). Inductive Benchmarks for Automated Reasoning. In Intelligent Computer Mathematics. 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings (pp. 124–129). Springer. https://doi.org/10.34726/1563
Download: PDF (216 KB)
Projects: ARTIST (2021–2026) / Symcar (2016–2021) -
Automated Generation of Exam Sheets for Automated Deduction
/
Hozzova, P., Kovacs, L., & Rath, J. (2021). Automated Generation of Exam Sheets for Automated Deduction. In Intelligent Computer Mathematics. 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings (pp. 185–196). Springer. https://doi.org/10.34726/1562
Download: PDF (458 KB)
Projects: ARTIST (2021–2026) / Symcar (2016–2021) -
Integer Induction in Saturation
/
Hozzova, P., Kovacs, L., & Voronkov, A. (2021). Integer Induction in Saturation. In Proceedings of CADE 2021 (pp. 361–377). Springer, Cham. https://doi.org/10.34726/1561
Download: Preprint submitted for publication as it is (345 KB)
Projects: ARTIST (2021–2026) / Symcar (2016–2021) -
Induction with Generalization in Superposition Reasoning
/
Hajdú, M., Hozzova, P., Kovacs, L., Schoisswohl, J., & Voronkov, A. (2020). Induction with Generalization in Superposition Reasoning. In Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM) (pp. 123–137). Springer. https://doi.org/10.34726/961
Download: Postprint was published at CICM 2020. (300 KB)
Projects: DoS-IoT (2019–2020) / Symcar (2016–2021) / SYMELS (2019–2020) - Towards Higher-order OWL / Homola, M., Kľuka, J., Hozzová, P., Svátek, V., & Vacura, M. (2020). Towards Higher-order OWL. Kuenstliche Intelligenz, 34, 417–421. https://doi.org/10.1007/s13218-020-00665-8