| 2004 |
|---|
| 10 | EE | Markus Frick,
Martin Grohe:
The complexity of first-order and monadic second-order logic revisited.
Ann. Pure Appl. Logic 130(1-3): 3-31 (2004) |
| 9 | EE | Markus Frick:
Generalized Model-Checking over Locally Tree-Decomposable Classes.
Theory Comput. Syst. 37(1): 157-191 (2004) |
| 2003 |
|---|
| 8 | EE | Markus Frick,
Martin Grohe,
Christoph Koch:
Query Evaluation on Compressed Trees (Extended Abstract).
LICS 2003: 188- |
| 2002 |
|---|
| 7 | EE | Markus Frick,
Martin Grohe:
The Complexity of First-Order and Monadic Second-Order Logic Revisited.
LICS 2002: 215-224 |
| 6 | EE | Markus Frick:
Generalized Model-Checking over Locally Tree-Decomposable Classes.
STACS 2002: 632-644 |
| 5 | EE | Jörg Flum,
Markus Frick,
Martin Grohe:
Query evaluation via tree-decompositions.
J. ACM 49(6): 716-752 (2002) |
| 2001 |
|---|
| 4 | EE | Jörg Flum,
Markus Frick,
Martin Grohe:
Query Evaluation via Tree-Decompositions.
ICDT 2001: 22-38 |
| 3 | EE | Markus Frick,
Martin Grohe:
Deciding first-order properties of locally tree-decomposable structures.
J. ACM 48(6): 1184-1206 (2001) |
| 2000 |
|---|
| 2 | EE | Markus Frick,
Martin Grohe:
Deciding first-order properties of locally tree-decomposable structures
CoRR cs.DS/0004007: (2000) |
| 1999 |
|---|
| 1 | EE | Markus Frick,
Martin Grohe:
Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs.
ICALP 1999: 331-340 |
