Nikolas Mählmann | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/nikolas-mahlmann/Nikolas MählmannHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngNikolas Mählmannhttps://ac.tuwien.ac.at/team/nikolas-mahlmann/First-Order Model Checking on Monadically Stable Graph Classeshttps://ac.tuwien.ac.at/publication/first-order-model-checking-on-monadically-stable-graph-classes/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/first-order-model-checking-on-monadically-stable-graph-classes/Flip-breakability: A combinatorial dichotomy for monadically dependent graph classeshttps://ac.tuwien.ac.at/publication/flip-breakability-a-combinatorial-dichotomy-for-monadically-dependent-graph-classes/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/flip-breakability-a-combinatorial-dichotomy-for-monadically-dependent-graph-classes/First-Order Model Checking on Structurally Sparse Graph Classeshttps://ac.tuwien.ac.at/publication/first-order-model-checking-on-structurally-sparse-graph-classes/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/first-order-model-checking-on-structurally-sparse-graph-classes/Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classeshttps://ac.tuwien.ac.at/publication/indiscernibles-and-flatness-in-monadically-stable-and-monadically-nip-classes/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/indiscernibles-and-flatness-in-monadically-stable-and-monadically-nip-classes/Combinatorial and Algorithmic Aspects of Monadic Stabilityhttps://ac.tuwien.ac.at/publication/combinatorial-and-algorithmic-aspects-of-monadic-stability/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/combinatorial-and-algorithmic-aspects-of-monadic-stability/Model Checking on Interpretations of Classes of Bounded Local Cliquewidthhttps://ac.tuwien.ac.at/publication/model-checking-on-interpretations-of-classes-of-bounded-local-cliquewidth/Sat, 01 Jan 2022 00:00:00 +0000https://ac.tuwien.ac.at/publication/model-checking-on-interpretations-of-classes-of-bounded-local-cliquewidth/