The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. - Oliver Matz; Wolfgang Thomas (LICS, 1997)

Regular Expressions and Context-Free Grammars for Picture Languages. - Oliver Matz (STACS, 1997)

The Automata Theory Package omega. - Jens Vöge; S. Ulbrand; Oliver Matz; Nils Buhrke (Workshop on Implementing Automata, 1997)

On Piecewise Testable, Starfree, and Recognizable Picture Languages. - Oliver Matz (FoSSaCS, 1998)

One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures. - Oliver Matz (MFCS, 1998)

Dot-Depth and Monadic Quantifier Alternation over Pictures - Extended Abstract. - Oliver Matz (Ausgezeichnete Informatikdissertationen, 1999)

Dot-depth and monadic quantifier alternation over pictures. - Oliver Matz (1999)

The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. - Oliver Matz; Nicole Schweikardt; Wolfgang Thomas (Inf. Comput., 2002)

Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures. - Oliver Matz (Theor. Comput. Sci., 2002)

Recognizable vs. Regular Picture Languages. - Oliver Matz (CAI, 2007)

Expressive power of monadic logics on words, trees, pictures, and graphs. - Oliver Matz; Nicole Schweikardt (Logic and Automata, 2008)

First-Order Quantifiers and the Syntactic Monoid of Height Fragments of Picture Languages - Oliver Matz (CoRR, 2012)