| 2009 |
|---|
| 10 | EE | Stefan S. Dantchev,
Barnaby Martin,
Mark Rhodes:
Tight rank lower bounds for the Sherali-Adams proof system.
Theor. Comput. Sci. 410(21-23): 2054-2063 (2009) |
| 2008 |
|---|
| 9 | EE | Barnaby Martin:
First-Order Model Checking Problems Parameterized by the Model.
CiE 2008: 417-427 |
| 8 | EE | Hubie Chen,
Florent R. Madelaine,
Barnaby Martin:
Quantified Constraints and Containment Problems.
LICS 2008: 317-328 |
| 7 | EE | Barnaby Martin:
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
CoRR abs/0808.0647: (2008) |
| 2007 |
|---|
| 6 | EE | Barnaby Martin,
Florent R. Madelaine:
Hierarchies in Fragments of Monadic Strict NP.
CiE 2007: 542-550 |
| 5 | EE | Stefan S. Dantchev,
Barnaby Martin,
Stefan Szeider:
Parameterized Proof Complexity.
FOCS 2007: 150-160 |
| 4 | EE | Barnaby Martin:
On the Complexity of a Derivative Chess Problem
CoRR abs/cs/0701049: (2007) |
| 3 | EE | Stefan S. Dantchev,
Barnaby Martin,
Stefan Szeider:
Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution.
Electronic Colloquium on Computational Complexity (ECCC) 14(001): (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) |
