First-order model checking on structurally sparse graph classes J Dreier, N Mählmann, S Siebertz Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 567-580, 2023 | 28 | 2023 |
A logic-based algorithmic meta-theorem for mim-width B Bergougnoux, J Dreier, L Jaffke Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2023 | 26 | 2023 |
Twin-width and generalized coloring numbers J Dreier, J Gajarský, Y Jiang, PO de Mendez, JF Raymond Discrete Mathematics 345 (3), 112746, 2022 | 25 | 2022 |
Model checking on interpretations of classes of bounded local cliquewidth É Bonnet, J Dreier, J Gajarský, S Kreutzer, N Mählmann, P Simon, ... Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 23 | 2022 |
First-order model checking on monadically stable graph classes J Dreier, I Eleftheriadis, N Mählmann, R McCarty, M Pilipczuk, ... 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 21-30, 2024 | 20 | 2024 |
Indiscernibles and flatness in monadically stable and monadically NIP classes J Dreier, N Mählmann, S Siebertz, S Toruńczyk 50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023 | 19* | 2023 |
Flip-breakability: A combinatorial dichotomy for monadically dependent graph classes J Dreier, N Mählmann, S Toruńczyk Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 1550-1560, 2024 | 16 | 2024 |
Treelike decompositions for transductions of sparse graphs J Dreier, J Gajarský, S Kiefer, M Pilipczuk, S Toruńczyk Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 13 | 2022 |
Lacon-, shrub-and parity-decompositions: Characterizing transductions of bounded expansion classes J Dreier Logical Methods in Computer Science 19, 2023 | 12* | 2023 |
Complexity of independency and cliquy trees K Casel, J Dreier, H Fernau, M Gobbert, P Kuinke, FS Villaamil, ... Discrete Applied Mathematics 272, 2-15, 2020 | 11 | 2020 |
Approximate evaluation of first-order counting queries J Dreier, P Rossmanith Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA …, 2021 | 10 | 2021 |
Overlapping communities in social networks J Dreier, P Kuinke, R Przybylski, F Reidl, P Rossmanith, S Sikdar arXiv preprint arXiv:1412.4973, 2014 | 8 | 2014 |
SAT backdoors: Depth beats size J Dreier, S Ordyniak, S Szeider Journal of Computer and System Sciences 142, 103520, 2024 | 7 | 2024 |
Local structure theorems for erdős–rényi graphs and their algorithmic applications J Dreier, P Kuinke, BL Xuan, P Rossmanith SOFSEM 2018: Theory and Practice of Computer Science: 44th International …, 2018 | 7 | 2018 |
CSP beyond tractable constraint languages J Dreier, S Ordyniak, S Szeider # PLACEHOLDER_PARENT_METADATA_VALUE# 235, 1-17, 2022 | 5 | 2022 |
Combinatorial and Algorithmic Aspects of Monadic Stability J Dreier, N Mählmann, AE Mouawad, S Siebertz, A Vigny arXiv preprint arXiv:2206.14509, 2022 | 5 | 2022 |
Advice for online knapsack with removable items HJ Böckenhauer, J Dreier, F Frei, P Rossmanith arXiv preprint arXiv:2005.01867, 2020 | 5 | 2020 |
The complexity of packing edge-disjoint paths J Dreier, J Fuchs, TA Hartmann, P Kuinke, P Rossmanith, B Tauer, ... arXiv preprint arXiv:1910.00440, 2019 | 5 | 2019 |
Motif counting in preferential attachment graphs J Dreier, P Rossmanith 39th IARCS Annual Conference on Foundations of Software Technology and …, 2019 | 4 | 2019 |
First-order model-checking in random graphs and complex networks J Dreier, P Kuinke, P Rossmanith arXiv preprint arXiv:2006.14488, 2020 | 3 | 2020 |