2008 |
19 | EE | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
Ant Colony Optimization for Configuration.
ICTAI (1) 2008: 247-254 |
18 | EE | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
An End-to-End Configuration-Based Framework for Automatic SWS Composition.
ICTAI (1) 2008: 351-358 |
2006 |
17 | EE | Gilles Audemard,
Belaid Benhamou,
Laurent Henocque:
Predicting and Detecting Symmetries in FOL Finite Model Search.
J. Autom. Reasoning 36(3): 177-212 (2006) |
2005 |
16 | EE | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
A Constrained Object Model for Configuration Based Workflow Composition.
Business Process Management Workshops 2005: 102-115 |
15 | EE | Laurent Henocque,
Mathias Kleiner,
Nicolas Prcovic:
Advances in Polytime Isomorph Elimination for Configuration.
CP 2005: 301-313 |
14 | EE | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
Configuration-Based Workflow Composition.
ICWS 2005: 285-292 |
13 | EE | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
A Constrained Object Model for Configuration Based Workflow Composition
CoRR abs/cs/0506031: (2005) |
2004 |
12 | EE | Mathieu Estratat,
Laurent Henocque:
An Intuitive Tool for Constraint Based Grammars.
CSLP 2004: 121-139 |
11 | | Mathieu Estratat,
Laurent Henocque:
Parsing Languages with a Configurator.
ECAI 2004: 591-595 |
10 | EE | Laurent Henocque,
Nicolas Prcovic:
Practically Handling Some Configuration Isomorphisms.
ICTAI 2004: 90-97 |
2003 |
9 | EE | Stéphane Grandcolas,
Laurent Henocque,
Nicolas Prcovic:
A Canonicity Test for Configuration.
CP 2003: 853-857 |
8 | EE | Stéphane Grandcolas,
Laurent Henocque,
Nicolas Prcovic:
Pruning Isomorphic Structural Sub-problems in Configuration
CoRR cs.AI/0306135: (2003) |
7 | EE | Laurent Henocque:
Modeling Object Oriented Constraint Programs in Z
CoRR cs.AI/0312020: (2003) |
2002 |
6 | | Jacques Calmet,
Belaid Benhamou,
Olga Caprotti,
Laurent Henocque,
Volker Sorge:
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings
Springer 2002 |
2001 |
5 | EE | Gilles Audemard,
Laurent Henocque:
The eXtended Least Number Heuristic.
IJCAR 2001: 427-442 |
2000 |
4 | | Gilles Audemard,
Belaid Benhamou,
Laurent Henocque:
Two Techniques to Improve Finite Model Search.
CADE 2000: 302-308 |
1999 |
3 | | Belaid Benhamou,
Laurent Henocque:
A Hybrid Method for Finite Model Search in Equational Theories.
Fundam. Inform. 39(1-2): 21-38 (1999) |
1998 |
2 | EE | Belaid Benhamou,
Laurent Henocque:
Finite Model Search for Equational Theories (FMSET).
AISC 1998: 84-93 |
1993 |
1 | | Laurent Henocque:
Model search with equality: a language and incremental proof procedure for discourse analysis.
JFPL 1993: 109-125 |