Publications

Google Scholar  ·  DBLP  ·  ORCID

2026
Intl. Workshop on Satisfiability Modulo Theories- SMT CEUR-WS 2026
PDF
Intl. Joint Conf. on Automated Reasoning - IJCAR Springer 2026
PDF
Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems - TACAS Springer 2026
PDF
2025
Intl. Conf. on Principles and Practice of Constraint Programming - CP LIPIcs 2025
Intl. Workshop on Satisfiability Checking and Symbolic Computation - SC² CEUR-WS 2025
PDF
SAT Competition 2025: Solver and Benchmark Descriptions TU Wien Academic Press 2025
Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems - TACAS Springer 2025
2024
Intl. Conf. on Verified Software: Theories, Tools, and Experiments - VSTTE Springer 2024
Intl. Joint Conf. on Automated Reasoning - IJCAR Springer 2024
Intl. Journal of Computer Languages Elsevier 2024
DOI
Pragmatics of SAT 2023 2024
2023
Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning - LPAR EPiC 2023
Intl. Journal on Software Tools for Technology Transfer - STTT Springer 2023
2022
Intl. Conf. on Model and Data Engineering - MEDI — Best Paper Award Springer 2022
Intl. Conf. on Tests and Proofs - TAP Springer 2022
it-Information Technology De Gruyter 2022
Design, Automation and Test in Europe - DATE IEEE 2022
Formal Methods in System Design - FMSD Springer 2022
2021
Ausgezeichnete Informatikdissertationen 2020 LIPIcs 2021
PDF
14th Intl. Workshop on Boolean Problems - IWSBP Springer 2021
Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems - TACAS Springer 2021
2020
Intl. Conf. on Formal Methods in Computer-Aided Design - FMCAD TU Wien Academic Press 2020
Archive of Formal Proofs - AFP 2020
Computer Algebra in Scientific Computing - CASC Springer 2020
PhD Thesis, Johannes Kepler University Linz 2020
PDF
Design, Automation and Test in Europe - DATE IEEE 2020
PhD Forum, Design, Automation and Test in Europe - DATE 2020
PDF
Vampire 2018 and Vampire 2019 — The 5th and 6th Vampire Workshops EPiC 2020
Formal Methods in System Design - FMSD Springer 2020
2019
Student Forum, Intl. Conf. on Formal Methods in Computer-Aided Design - FMCAD 2019
PDF
Intl. Conf. on Formal Methods in Computer-Aided Design - FMCAD IEEE 2019
SAT Race 2019 - Solver and Benchmark Descriptions University of Helsinki 2019
PDF
2018
Intl. Workshop on Satisfiability Checking and Symbolic Computation - SC² CEUR-WS 2018
Design, Automation and Test in Europe - DATE IEEE 2018
2017
Intl. Symp. on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC IEEE 2017
Intl. Conf. on Formal Methods in Computer-Aided Design - FMCAD — Best Paper Award IEEE 2017