Approximation Schemes for First−Order Definable Optimisation Problems od Dawar, S, Grohe, M

Computing Excluded Minors od Adler, I, Grohe, M, Kreutzer, S

Locally Excluding a Minor od Dawar, A, Grohe, M, Kreutzer, S

The Expressive Power of Two−Variable Least Fixed−Point Logics od Grohe, M, Kreutzer, S, Schweikardt, N

Hypertree width and related hypergraph invariants od Adler, I, Gottlob, G, Grohe, M

Model theory makes formulas large od Dawar, A, Grohe, M, Kreutzer, S, Schweikardt, N

The surprising power of graph neural networks with random node initialization od Abboud, R, Ceylan, II, Grohe, M, Lukasiewicz, T

A Complexity Dichotomy for Partition Functions with Mixed Signs od Goldberg, L, Grohe, M, Jerrum, M, Thurley, M

Hypertree Decompositions: Structure‚ Algorithms‚ and Applications od Gottlob, G, Grohe, M, Musliu, N, Samer, M, Scarcello, F