- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta