| 2007 |
|---|
| 8 | EE | Oliver Matz:
Recognizable vs. Regular Picture Languages.
CAI 2007: 112-121 |
| 2002 |
|---|
| 7 | EE | Oliver Matz,
Nicole Schweikardt,
Wolfgang Thomas:
The Monadic Quantifier Alternation Hierarchy over Grids and Graphs.
Inf. Comput. 179(2): 356-383 (2002) |
| 6 | EE | Oliver Matz:
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures.
Theor. Comput. Sci. 270(1-2): 1-70 (2002) |
| 1998 |
|---|
| 5 | EE | Oliver Matz:
On Piecewise Testable, Starfree, and Recognizable Picture Languages.
FoSSaCS 1998: 203-210 |
| 4 | EE | Oliver Matz:
One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures.
MFCS 1998: 751-759 |
| 1997 |
|---|
| 3 | EE | Oliver Matz,
Wolfgang Thomas:
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite.
LICS 1997: 236-244 |
| 2 | | Oliver Matz:
Regular Expressions and Context-Free Grammars for Picture Languages.
STACS 1997: 283-294 |
| 1 | | Jens Vöge,
S. Ulbrand,
Oliver Matz,
Nils Buhrke:
The Automata Theory Package omega.
Workshop on Implementing Automata 1997: 228-231 |
