Nikolas Mählmann

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Automated Verification

Linear Temporal Logic

Top Venues

Publications

Jan Dreier, Nikolas Mählmann, Szymon Torunczyk
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes. STOC (2024)
Jan Dreier, Nikolas Mählmann, Szymon Torunczyk
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes. CoRR (2024)
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes. ICALP (2023)
Jakub Gajarský, Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michal Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokolowski, Szymon Torunczyk
Flipper games for monadically stable graph classes. CoRR (2023)
Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk
First-Order Model Checking on Monadically Stable Graph Classes. CoRR (2023)
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
First-Order Model Checking on Structurally Sparse Graph Classes. CoRR (2023)
Jakub Gajarský, Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michal Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokolowski, Szymon Torunczyk
Flipper Games for Monadically Stable Graph Classes. ICALP (2023)
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
First-Order Model Checking on Structurally Sparse Graph Classes. STOC (2023)
Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. LICS (2022)
Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
Combinatorial and Algorithmic Aspects of Monadic Stability. CoRR (2022)
Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. CoRR (2022)
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Torunczyk
Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes. CoRR (2022)
Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
Combinatorial and Algorithmic Aspects of Monadic Stability. ISAAC (2022)
Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny
Recursive Backdoors for SAT. CoRR (2021)
Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny
Recursive Backdoors for SAT. MFCS (2021)
Georg Volkmar, Nikolas Mählmann, Rainer Malaka
Procedural Content Generation in Competitive Multiplayer Platform Games. ICEC-JCSG (2019)