Mählmann, Nikolas

Recent Publications

First-Order Model Checking on Monadically Stable Graph Classes

2024

Flip-breakability: A combinatorial dichotomy for monadically dependent graph classes

2024

First-Order Model Checking on Structurally Sparse Graph Classes

2023

Combinatorial and Algorithmic Aspects of Monadic Stability

2022

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

2022