- Theory-Specific Proof Steps Witnessing Correctness of SMT Executions2021 | Faculty of Mathematics and Physics
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- SolCMC: Solidity Compiler's Model Checker2022 | Faculty of Mathematics and Physics
- Function Summarization Modulo Theories2018 | Faculty of Mathematics and Physics
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- SMT-based verification of program changes through summary repair2023 | Faculty of Mathematics and Physics
- CHC Model Validation with Proof Guarantees2024 | Faculty of Mathematics and Physics