Siebertz, Sebastian

Recent Publications

First-Order Model Checking on Structurally Sparse Graph Classes
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 567-580, 2023, Association for Computing Machinery.
Combinatorial and Algorithmic Aspects of Monadic Stability
33rd International Symposium on Algorithms and Computation (ISAAC 2022) (Bae, Sang Won and Park, Heejin), volume 248 of Leibniz International Proceedings in Informatics (LIPIcs), pages 11:1-11:17, 2022, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.