| 2008 |
| 5 | EE | Alan M. Frisch,
Warwick Harvey,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
Essence : A constraint language for specifying combinatorial problems.
Constraints 13(3): 268-306 (2008) |
| 2007 |
| 4 | EE | Alan M. Frisch,
Matthew Grum,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
IJCAI 2007: 80-87 |
| 2005 |
| 3 | EE | Bernadette Martínez Hernández,
Alan M. Frisch:
Towards the Systematic Generation of Channelling Constraints.
CP 2005: 859 |
| 2 | EE | Alan M. Frisch,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Rules of Constraint Modelling.
IJCAI 2005: 109-116 |
| 2003 |
| 1 | EE | Carlos Areces,
Patrick Blackburn,
Bernadette Martínez Hernández,
Maarten Marx:
Handling Boolean A Boxes.
Description Logics 2003 |