- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Matematicko-fyzikální fakulta
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- CORES OVER RAMSEY STRUCTURES2021 | Matematicko-fyzikální fakulta
- Subspace method for the estimation of large-scale structured real stability radius2022 | Matematicko-fyzikální fakulta
- CONSTRAINT SATISFACTION PROBLEMS FOR REDUCTS OF HOMOGENEOUS GRAPHS2019 | Matematicko-fyzikální fakulta
- The universal homogeneous binary tree2018 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- Time discretizations for evolution problems2017 | Matematicko-fyzikální fakulta
- Smooth Approximations and Relational Width Collapses2021 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Hrushovski's Encoding and ω-Categorical CSP Monsters2020 | Matematicko-fyzikální fakulta
- WHEN SYMMETRIES ARE NOT ENOUGH: A HIERARCHY OF HARD CONSTRAINT SATISFACTION PROBLEMS2022 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě