2009 |
10 | EE | Florent R. Madelaine:
Universal Structures and the logic of Forbidden Patterns
CoRR abs/0904.2521: (2009) |
2008 |
9 | EE | Hubie Chen,
Florent R. Madelaine,
Barnaby Martin:
Quantified Constraints and Containment Problems.
LICS 2008: 317-328 |
8 | EE | 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 | EE | Barnaby Martin,
Florent R. Madelaine:
Hierarchies in Fragments of Monadic Strict NP.
CiE 2007: 542-550 |
6 | EE | Florent R. Madelaine,
Iain A. Stewart:
Constraint Satisfaction, Logic and Forbidden Patterns.
SIAM J. Comput. 37(1): 132-163 (2007) |
2006 |
5 | EE | Florent R. Madelaine:
Universal Structures and the Logic of Forbidden Patterns.
CSL 2006: 471-485 |
4 | EE | Stefan S. Dantchev,
Florent R. Madelaine:
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.
CSR 2006: 159-170 |
3 | EE | Barnaby Martin,
Florent R. Madelaine:
Towards a Trichotomy for Quantified H-Coloring.
CiE 2006: 342-352 |
2004 |
2 | EE | 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) |