E-LIB Suche - Ergebnisse für: Mählmann, Nikolas

1

Flip-Breakability: A Combinatorial Dichotomy for Monadicall..:

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

Dreier, Jan ; Mählmann, Nikolas ; Toruńczyk, Szymon - p. 1550-1560 , 2024

Link: https://dl.acm.org/doi/1..

2

First-Order Model Checking on Structurally Sparse Graph Cla..:

, In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing,

Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian - p. 567-580 , 2023

Link: https://dl.acm.org/doi/1..

3

Model Checking on Interpretations of Classes of Bounded Loc..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub... - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

4

Procedural Content Generation in Competitive Multiplayer Pl..:

, In: Entertainment Computing and Serious Games; Lecture Notes in Computer Science,

Volkmar, Georg ; Mählmann, Nikolas ; Malaka, Rainer - p. 228-234 , 2019

Link: https://doi.org/10.1007/..

5

First-Order Model Checking on Monadically Stable Graph Clas..:

Dreier, Jan ; Eleftheriadis, Ioannis ; Mählmann, Nikolas...
http://arxiv.org/abs/2311.18740. , 2023

Link: http://arxiv.org/abs/231..

6

Flipper games for monadically stable graph classes:

Gajarský, Jakub ; Mählmann, Nikolas ; McCarty, Rose...
http://arxiv.org/abs/2301.13735. , 2023

Link: http://arxiv.org/abs/230..

7

First-Order Model Checking on Structurally Sparse Graph Cla..:

Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian
http://arxiv.org/abs/2302.03527. , 2023

Link: http://arxiv.org/abs/230..

8

Indiscernibles and Flatness in Monadically Stable and Monad..:

Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian.
http://arxiv.org/abs/2206.13765. , 2022

Link: http://arxiv.org/abs/220..

9

Model Checking on Interpretations of Classes of Bounded Loc..:

Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub...
http://arxiv.org/abs/2202.13014. , 2022

Link: http://arxiv.org/abs/220..

10

Combinatorial and Algorithmic Aspects of Monadic Stability:

Dreier, Jan ; Mählmann, Nikolas ; Mouawad, Amer E..
http://arxiv.org/abs/2206.14509. , 2022

Link: http://arxiv.org/abs/220..

11

Model Checking on Interpretations of Classes of Bounded Loc..:

Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3531130.3533367. , 2022

Link: https://hal.science/hal-..

12

Model Checking on Interpretations of Classes of Bounded Loc..:

Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3531130.3533367. , 2022

Link: https://hal.science/hal-..

13

Recursive Backdoors for SAT:

Mählmann, Nikolas ; Siebertz, Sebastian ; Vigny, Alexandre
http://arxiv.org/abs/2102.04707. , 2021

Link: http://arxiv.org/abs/210..

14

Procedural Content Generation in Competitive Multiplayer Pl..:

Volkmar, Georg ; Mählmann, Nikolas ; Malaka, Rainer
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-34644-7_18. , 2019

Link: https://hal.inria.fr/hal..

15

Procedural Content Generation in Competitive Multiplayer Pl..:

Volkmar, Georg ; Mählmann, Nikolas ; Malaka, Rainer
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-34644-7_18. , 2019

Link: https://hal.inria.fr/hal..