Nikolas Mählmann

27 papers A* 8B 2Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A note on constructive canonical splitter strategies in nowhere dense graph classes.
Inf. Process. Lett.
Janne Fuchser, Nikolas Mählmann, Sebastian Siebertz
2026 J jnl
Existential Positive Transductions of Sparse Graphs.
CoRR
Nikolas Mählmann, Sebastian Siebertz
2026 J jnl
Flips and Merge-Width in Sparse Graphs.
CoRR
Karolina Drabik, Maël Dumas, Nikolas Mählmann, Wojciech Przybyszewski, Szymon Torunczyk
2026 J jnl
The Parameterized Complexity of Independent Set and More when Excluding a Half-Graph, Co-Matching, or Matching.
CoRR
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
2025 J jnl
A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes.
CoRR
Janne Fuchser, Nikolas Mählmann, Sebastian Siebertz
2025 A* conf
Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO.
ICALP
Nikolas Mählmann
2025 J jnl
Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO.
CoRR
Nikolas Mählmann
2025 A* conf
Separability Properties of Monadically Dependent Graph Classes.
ICALP
Édouard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mählmann, Michal Pilipczuk, Wojciech Przybyszewski, Szymon Torunczyk
2025 J jnl
Separability Properties of Monadically Dependent Graph Classes.
CoRR
Édouard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mählmann, Michal Pilipczuk, Wojciech Przybyszewski, Szymon Torunczyk
2024 A* conf
First-Order Model Checking on Monadically Stable Graph Classes.
FOCS
Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk
2024 A* conf
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes.
STOC
Jan Dreier, Nikolas Mählmann, Szymon Torunczyk
2024 J jnl
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes.
CoRR
Jan Dreier, Nikolas Mählmann, Szymon Torunczyk
2024 — —
Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems
Nikolas Mählmann
2023 J jnl
First-Order Model Checking on Monadically Stable Graph Classes.
CoRR
Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk
2023 A* conf
First-Order Model Checking on Structurally Sparse Graph Classes.
STOC
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
2023 J jnl
First-Order Model Checking on Structurally Sparse Graph Classes.
CoRR
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
2023 A* conf
Flipper Games for Monadically Stable Graph Classes.
ICALP
Jakub Gajarský, Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michal Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokolowski, Szymon Torunczyk
2023 J jnl
Flipper games for monadically stable graph classes.
CoRR
Jakub Gajarský, Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michal Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokolowski, Szymon Torunczyk
2023 A* conf
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes.
ICALP
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk
2022 B conf
Combinatorial and Algorithmic Aspects of Monadic Stability.
ISAAC
Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
2022 J jnl
Combinatorial and Algorithmic Aspects of Monadic Stability.
CoRR
Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
2022 J jnl
Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes.
CoRR
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk
2022 A* conf
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth.
LICS
Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
2022 J jnl
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth.
CoRR
Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
2021 B conf
Recursive Backdoors for SAT.
MFCS
Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny
2021 J jnl
Recursive Backdoors for SAT.
CoRR
Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny
2019 — conf
Procedural Content Generation in Competitive Multiplayer Platform Games.
ICEC-JCSG
Georg Volkmar, Nikolas Mählmann, Rainer Malaka