| 2008 | ||
|---|---|---|
| 7 | EE | Barnaby Martin: First-Order Model Checking Problems Parameterized by the Model. CiE 2008: 417-427 |
| 6 | EE | Hubie Chen, Florent R. Madelaine, Barnaby Martin: Quantified Constraints and Containment Problems. LICS 2008: 317-328 |
| 2007 | ||
| 5 | EE | Barnaby Martin, Florent R. Madelaine: Hierarchies in Fragments of Monadic Strict NP. CiE 2007: 542-550 |
| 4 | EE | Stefan S. Dantchev, Barnaby Martin, Stefan Szeider: Parameterized Proof Complexity. FOCS 2007: 150-160 |
| 3 | EE | Barnaby Martin: On the Complexity of a Derivative Chess Problem CoRR abs/cs/0701049: (2007) |
| 2006 | ||
| 2 | EE | Barnaby Martin, Florent R. Madelaine: Towards a Trichotomy for Quantified H-Coloring. CiE 2006: 342-352 |
| 1 | EE | Barnaby Martin: Dichotomies and Duality in First-order Model Checking Problems CoRR abs/cs/0609022: (2006) |
| 1 | Hubie Chen | [6] |
| 2 | Stefan S. Dantchev | [4] |
| 3 | Florent R. Madelaine | [2] [5] [6] |
| 4 | Stefan Szeider | [4] |