Petra Hozzová

Orcid: 0000-0003-0845-5811

According to our database1, Petra Hozzová authored at least 12 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Induction in Saturation.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Synthesis of Recursive Programs in Saturation.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Program Synthesis in Saturation.
Proceedings of the Automated Deduction - CADE 29, 2023

2022
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper).
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

Getting Saturated with Induction.
Proceedings of the Principles of Systems Design, 2022

2021
Automated Generation of Exam Sheets for Automated Deduction.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Inductive Benchmarks for Automated Reasoning.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Induction with Recursive Definitions in Superposition.
Proceedings of the Formal Methods in Computer Aided Design, 2021

Integer Induction in Saturation.
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Towards Higher-order OWL.
Künstliche Intell., 2020

Induction with Generalization in Superposition Reasoning.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020


  Loading...