- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Kognitivní funkce u poruch příjmu potravy2010 | 1. lékařská fakulta
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta
- SUPERVISED NONPARAMETRIC CLASSIFICATION IN THE CONTEXT OF REPLICATED POINT PATTERNS2022 | Matematicko-fyzikální fakulta
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- Techniques from functional data analysis adaptable for spatial point patterns2021 | Matematicko-fyzikální fakulta
- Incremental Verification by SMT-based Summary Repair2020 | Matematicko-fyzikální fakulta
- A cautionary note on the variance of empirical pair correlation function2021 | Matematicko-fyzikální fakulta