 | 2009 |
|---|
| 11 |       | Florent R. Madelaine,
Barnaby Martin:
The Complexity of Positive First-order Logic without Equality.
LICS 2009: 429-438 |
| 10 | | Florent R. Madelaine:
Universal Structures and the logic of Forbidden Patterns
Logical Methods in Computer Science 5(2): (2009) |
| 2008 |
|---|
| 9 | | Hubie Chen,
Florent R. Madelaine,
Barnaby Martin:
Quantified Constraints and Containment Problems.
LICS 2008: 317-328 |
| 8 | | Florent R. Madelaine,
Iain A. Stewart:
Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies.
Discrete Mathematics 308(18): 4144-4164 (2008) |
| 2007 |
|---|
| 7 | | Barnaby Martin,
Florent R. Madelaine:
Hierarchies in Fragments of Monadic Strict NP.
CiE 2007: 542-550 |
| 6 | | Florent R. Madelaine,
Iain A. Stewart:
Constraint Satisfaction, Logic and Forbidden Patterns.
SIAM J. Comput. 37(1): 132-163 (2007) |
| 2006 |
|---|
| 5 | | Florent R. Madelaine:
Universal Structures and the Logic of Forbidden Patterns.
CSL 2006: 471-485 |
| 4 | | Stefan S. Dantchev,
Florent R. Madelaine:
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.
CSR 2006: 159-170 |
| 3 | | Barnaby Martin,
Florent R. Madelaine:
Towards a Trichotomy for Quantified H-Coloring.
CiE 2006: 342-352 |
| 2004 |
|---|
| 2 | | Tomás Feder,
Florent R. Madelaine,
Iain A. Stewart:
Dichotomies for classes of homomorphism problems involving unary functions.
Theor. Comput. Sci. 314(1-2): 1-43 (2004) |
| 2003 |
|---|
| 1 |  | Florent R. Madelaine,
Iain A. Stewart:
Some problems not definable using structure homomorphisms.
Ars Comb. 67: (2003) |
