| 2008 | ICTAI | Ant Colony Optimization for Configuration. | Patrick Albert, Laurent Henocque, Mathias Kleiner |
| 2008 | ICTAI | An End-to-End Configuration-Based Framework for Automatic SWS Composition. | Patrick Albert, Laurent Henocque, Mathias Kleiner |
| 2005 | BPM | A Constrained Object Model for Configuration Based Workflow Composition. | Patrick Albert, Laurent Henocque, Mathias Kleiner |
| 2005 | CP | Advances in Polytime Isomorph Elimination for Configuration. | Laurent Henocque, Mathias Kleiner, Nicolas Prcovic |
| 2005 | ICWS | Configuration-Based Workflow Composition. | Patrick Albert, Laurent Henocque, Mathias Kleiner |
| 2004 | ECAI | Parsing Languages with a Configurator. | Mathieu Estratat, Laurent Henocque |
| 2004 | ICTAI | Practically Handling Some Configuration Isomorphisms. | Laurent Henocque, Nicolas Prcovic |
| 2003 | CP | A Canonicity Test for Configuration. | Stphane Grandcolas, Laurent Henocque, Nicolas Prcovic |
| 2001 | CADE | The eXtended Least Number Heuristic. | Gilles Audemard, Laurent Henocque |
| 2000 | CADE | Two Techniques to Improve Finite Model Search. | Gilles Audemard, Belaid Benhamou, Laurent Henocque |
| 1998 | AISC | Finite Model Search for Equational Theories (FMSET). | Belaid Benhamou, Laurent Henocque |