Nikolas Mählmann

According to our database, Nikolas Mählmann authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems

Nikolas Mählmann

PhD thesis, 2024

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes.

Jan Dreier, Nikolas Mählmann, Szymon Torunczyk

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

First-Order Model Checking on Monadically Stable Graph Classes.

Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

2023

First-Order Model Checking on Structurally Sparse Graph Classes.

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 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, Szymon Torunczyk

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes.

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes.

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk

CoRR, 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

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Combinatorial and Algorithmic Aspects of Monadic Stability.

Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny

Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022

2021

Recursive Backdoors for SAT.

Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2019

Procedural Content Generation in Competitive Multiplayer Platform Games.

Georg Volkmar, Nikolas Mählmann, Rainer Malaka

Proceedings of the Entertainment Computing and Serious Games, 2019