Skip to content

Nikolas Mhlmann

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2026LICSExistential Positive Transductions of Sparse Graphs.Nikolas Mhlmann, Sebastian Siebertz
2025ICALPSeparability Properties of Monadically Dependent Graph Classes.douard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mhlmann, Michal Pilipczuk, Wojciech Przybyszewski, Szymon Torunczyk
2025ICALPForbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO.Nikolas Mhlmann
2024FOCSFirst-Order Model Checking on Monadically Stable Graph Classes.Jan Dreier, Ioannis Eleftheriadis, Nikolas Mhlmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk
2024STOCFlip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes.Jan Dreier, Nikolas Mhlmann, Szymon Torunczyk
2023ICALPIndiscernibles and Flatness in Monadically Stable and Monadically NIP Classes.Jan Dreier, Nikolas Mhlmann, Sebastian Siebertz, Szymon Torunczyk
2023ICALPFlipper Games for Monadically Stable Graph Classes.Jakub Gajarsk, Nikolas Mhlmann, Rose McCarty, Pierre Ohlmann, Michal Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokolowski, Szymon Torunczyk
2023STOCFirst-Order Model Checking on Structurally Sparse Graph Classes.Jan Dreier, Nikolas Mhlmann, Sebastian Siebertz
2022ISAACCombinatorial and Algorithmic Aspects of Monadic Stability.Jan Dreier, Nikolas Mhlmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
2022LICSModel Checking on Interpretations of Classes of Bounded Local Cliquewidth.douard Bonnet, Jan Dreier, Jakub Gajarsk, Stephan Kreutzer, Nikolas Mhlmann, Pierre Simon, Szymon Torunczyk
2021MFCSRecursive Backdoors for SAT.Nikolas Mhlmann, Sebastian Siebertz, Alexandre Vigny