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