Follow
Petra Hozzová
Petra Hozzová
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
Induction with generalization in superposition reasoning
M Hajdú, P Hozzová, L Kovács, J Schoisswohl, A Voronkov
Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020
292020
Integer induction in saturation
P Hozzová, L Kovács, A Voronkov
Automated Deduction – CADE 28 12699, 2021
152021
Induction with recursive definitions in superposition
M Hajdu, P Hozzová, L Kovács, A Voronkov
2021 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2021
142021
Expressive description logic with instantiation metamodelling
P Kubincová, J Kľuka, M Homola
Fifteenth International Conference on the Principles of Knowledge …, 2016
122016
Towards expressive metamodelling with instantiation
P Kubincová, J Kl’uka, M Homola
28thInternational Workshop on Description Logics, 233, 2015
102015
Inductive benchmarks for automated reasoning
M Hajdu, P Hozzová, L Kovács, J Schoisswohl, A Voronkov
Intelligent Computer Mathematics: 14th International Conference, CICM 2021 …, 2021
72021
Automated generation of exam sheets for automated deduction
P Hozzová, L Kovács, J Rath
International Conference on Intelligent Computer Mathematics, 185-196, 2021
52021
Getting saturated with induction
M Hajdu, P Hozzová, L Kovács, G Reger, A Voronkov
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
42022
Vampire 4.7-SMT System Description
G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ...
32022
Higher-Order Description Logics for Metamodelling
P Kubincová
Comenius University in Bratislava, 2016
32016
Program synthesis in saturation
P Hozzová, L Kovács, C Norman, A Voronkov
International Conference on Automated Deduction, 307-324, 2023
12023
Mapping between genomes
P Kubincová
Bachelor thesis, Comenius University, Slovakia Supervised by Broňa Brejová, 2014
12014
Synthesis of Recursive Programs in Saturation
P Hozzová, D Amrollahi, M Hajdu, L Kovács, A Voronkov, EM Wagner
EasyChair, 2024
2024
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
P Hozzová, J Bendík, A Nutz, Y Rodeh
arXiv preprint arXiv:2402.10174, 2024
2024
Reuse of Introduced Symbols in Automatic Theorem Provers
M Rawson, M Suda, P Hozzová, G Reger
# PLACEHOLDER_PARENT_METADATA_VALUE# 3201, 2022
2022
Towards Synthesis in Superposition
P Hozzová, L Kovács, A Voronkov
EasyChair, 2022
2022
Towards higher-order OWL
M Homola, J Kľuka, P Hozzová, V Svátek, M Vacura
KI-Künstliche Intelligenz 34 (3), 417-421, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–17