- A Dynamic Data Structure for Counting Subgraphs in Sparse Graphs2013 | Matematicko-fyzikální fakulta
- A Dynamic Data Structure for MSO Properties in Graphs with Bounded Tree-Depth2014 | Matematicko-fyzikální fakulta
- Lower Bounds for Semi-adaptive Data Structures via Corruption2020 | Matematicko-fyzikální fakulta
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
- Data-flow Analysis of Programs with Associative Arrays2014 | Matematicko-fyzikální fakulta
- Framework for Static Analysis of PHP Applications2015 | Matematicko-fyzikální fakulta
- Testing first-order properties for subclasses of sparse graphs2013 | Matematicko-fyzikální fakulta