- SMT-based verification of program changes through summary repair2023 | Faculty of Mathematics and Physics
- Farkas-Based Tree Interpolation2020 | Faculty of Mathematics and Physics
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- Theory-Specific Proof Steps Witnessing Correctness of SMT Executions2021 | Faculty of Mathematics and Physics
- Finding Minimum Satisfying Assignments of Boolean FormulasPublication without faculty affiliation
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics