Procedural Content Generation in Competitive Multiplayer Platform Games. - Georg Volkmar; Nikolas Mählmann; Rainer Malaka (ICEC-JCSG, 2019)

Recursive Backdoors for SAT. - Nikolas Mählmann; Sebastian Siebertz; Alexandre Vigny (MFCS, 2021)

Combinatorial and Algorithmic Aspects of Monadic Stability. - Jan Dreier; Nikolas Mählmann; Amer E. Mouawad; Sebastian Siebertz; Alexandre Vigny (ISAAC, 2022)

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. - Édouard Bonnet; Jan Dreier; Jakub Gajarský; Stephan Kreutzer; Nikolas Mählmann; Pierre Simon; Szymon Torunczyk (LICS, 2022)

Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes. - Jan Dreier; Nikolas Mählmann; Sebastian Siebertz; Szymon Torunczyk (CoRR, 2022)

Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes. - Jan Dreier; Nikolas Mählmann; Sebastian Siebertz; Szymon Torunczyk (ICALP, 2023)

Flipper Games for Monadically Stable Graph Classes. - Jakub Gajarský; Nikolas Mählmann; Rose McCarty; Pierre Ohlmann; Michal Pilipczuk; Wojciech Przybyszewski; Sebastian Siebertz; Marek Sokolowski 001; Szymon Torunczyk (ICALP, 2023)

First-Order Model Checking on Structurally Sparse Graph Classes. - Jan Dreier; Nikolas Mählmann; Sebastian Siebertz (STOC, 2023)

First-Order Model Checking on Monadically Stable Graph Classes. - Jan Dreier; Ioannis Eleftheriadis; Nikolas Mählmann; Rose McCarty; Michal Pilipczuk; Szymon Torunczyk (FOCS, 2024)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes. - Jan Dreier; Nikolas Mählmann; Szymon Torunczyk (STOC, 2024)

Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems - Nikolas Mählmann (2024)

Separability Properties of Monadically Dependent Graph Classes. - Édouard Bonnet; Samuel Braunfeld; Ioannis Eleftheriadis; Colin Geniet; Nikolas Mählmann; Michal Pilipczuk; Wojciech Przybyszewski; Szymon Torunczyk (ICALP, 2025)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO. - Nikolas Mählmann (ICALP, 2025)