| No. |
Title |
Author |
Year |
| 1 |
Differential Games, Locality, and Model Checking for FO Logic of Graphs |
Gajarský, Jakub et al. |
2022 |
| 2 |
Taming Graphs with No Large Creatures and Skinny Ladders |
Gajarský, Jakub et al. |
2022 |
| 3 |
Twin-Width and Types |
Gajarský, Jakub et al. |
2022 |
| 4 |
Computing Shrub-Depth Decompositions |
Gajarský, Jakub et al. |
2020 |
| 5 |
First-Order Interpretations of Bounded Expansion Classes |
Gajarský, Jakub et al. |
2018 |
| 6 |
Recovering Sparse Graphs |
Gajarský, Jakub et al. |
2018 |
| 7 |
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences |
Gajarsky, Jakub et al. |
2012 |
