Laurent Henocque

Publication Activity (10 Years)

Years Active: 1993-2008
Publications (10 Years): 0

Publications

Patrick Albert, Laurent Henocque, Mathias Kleiner
Ant Colony Optimization for Configuration. ICTAI (1) (2008)
Patrick Albert, Laurent Henocque, Mathias Kleiner
An End-to-End Configuration-Based Framework for Automatic SWS Composition. ICTAI (1) (2008)
Gilles Audemard, Belaid Benhamou, Laurent Henocque
Predicting and Detecting Symmetries in FOL Finite Model Search. J. Autom. Reason. 36 (3) (2006)
Patrick Albert, Laurent Henocque, Mathias Kleiner
Configuration-Based Workflow Composition. ICWS (2005)
Patrick Albert, Laurent Henocque, Mathias Kleiner
A Constrained Object Model for Configuration Based Workflow Composition. Business Process Management Workshops (2005)
Laurent Henocque, Mathias Kleiner, Nicolas Prcovic
Advances in Polytime Isomorph Elimination for Configuration. CP (2005)
Patrick Albert, Laurent Henocque, Mathias Kleiner
A Constrained Object Model for Configuration Based Workflow Composition CoRR (2005)
Mathieu Estratat, Laurent Henocque
Application des programmes de contraintes orientés objet à l'analyse du langage naturel. TALN (Articles longs) (2004)
Laurent Henocque, Nicolas Prcovic
Practically Handling Some Configuration Isomorphisms. ICTAI (2004)
Mathieu Estratat, Laurent Henocque
Parsing Languages with a Configurator. ECAI (2004)
Mathieu Estratat, Laurent Henocque
An Intuitive Tool for Constraint Based Grammars. CSLP (2004)
Laurent Henocque
Modeling Object Oriented Constraint Programs in Z CoRR (2003)
Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic
A Canonicity Test for Configuration. CP (2003)
Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic
Pruning Isomorphic Structural Sub-problems in Configuration CoRR (2003)
Gilles Audemard, Laurent Henocque
The eXtended Least Number Heuristic. IJCAR (2001)
Gilles Audemard, Belaid Benhamou, Laurent Henocque
Two Techniques to Improve Finite Model Search. CADE (2000)
Belaid Benhamou, Laurent Henocque
A Hybrid Method for Finite Model Search in Equational Theories. Fundam. Informaticae 39 (1-2) (1999)
Belaid Benhamou, Laurent Henocque
Finite Model Search for Equational Theories (FMSET). AISC (1998)
Laurent Henocque
Model search with equality: a language and incremental proof procedure for discourse analysis. JFPL (1993)