 | 2008 |
|---|
| 19 |       | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
Ant Colony Optimization for Configuration.
ICTAI (1) 2008: 247-254 |
| 18 | | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
An End-to-End Configuration-Based Framework for Automatic SWS Composition.
ICTAI (1) 2008: 351-358 |
| 2006 |
|---|
| 17 | | 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 | | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
A Constrained Object Model for Configuration Based Workflow Composition.
Business Process Management Workshops 2005: 102-115 |
| 15 | | Laurent Henocque,
Mathias Kleiner,
Nicolas Prcovic:
Advances in Polytime Isomorph Elimination for Configuration.
CP 2005: 301-313 |
| 14 | | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
Configuration-Based Workflow Composition.
ICWS 2005: 285-292 |
| 13 | | Patrick Albert,
Laurent Henocque,
Mathias Kleiner:
A Constrained Object Model for Configuration Based Workflow Composition
CoRR abs/cs/0506031: (2005) |
| 2004 |
|---|
| 12 | | 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 | | Laurent Henocque,
Nicolas Prcovic:
Practically Handling Some Configuration Isomorphisms.
ICTAI 2004: 90-97 |
| 2003 |
|---|
| 9 | | Stéphane Grandcolas,
Laurent Henocque,
Nicolas Prcovic:
A Canonicity Test for Configuration.
CP 2003: 853-857 |
| 8 | | Stéphane Grandcolas,
Laurent Henocque,
Nicolas Prcovic:
Pruning Isomorphic Structural Sub-problems in Configuration
CoRR cs.AI/0306135: (2003) |
| 7 | | 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 | | 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 | | 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 |
