- PVAIR: Partial Variable Assignment InterpolatoR2016 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- Transition Power Abstractions for Deep Counterexample Detection2022 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Farkas-Based Tree Interpolation2020 | Matematicko-fyzikální fakulta
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- On Interpolants and Variable Assignments2014 | Matematicko-fyzikální fakulta
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta