- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Faculty of Mathematics and Physics
- Exploiting partial variable assignment in interpolation-based model checking2019 | Faculty of Mathematics and Physics
- Challenge Benchmarks for Verification of Real-time Programs2010 | Faculty of Mathematics and Physics
- On Interpolants and Variable Assignments2014 | Faculty of Mathematics and Physics
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Faculty of Mathematics and Physics
- Function Summarization Modulo Theories2018 | Faculty of Mathematics and Physics