Siebertz, Sebastian

Recent Publications

First-Order Model Checking on Structurally Sparse Graph Classes
Jan Niclas Dreier, Mählmann, Nikolas, Siebertz, Sebastian
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 567-580, 2023, Association for Computing Machinery.
PDF Cite DOI
Combinatorial and Algorithmic Aspects of Monadic Stability
Jan Niclas Dreier, Mählmann, Nikolas, Mouawad, Amer E., Siebertz, Sebastian, Vigny, Alexandre
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.
PDF Cite DOI