Laurent Henocque

20 papers A 6B 1Misc 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2008 — conf
An End-to-End Configuration-Based Framework for Automatic SWS Composition.
ICTAI (1)
Patrick Albert, Laurent Henocque, Mathias Kleiner
2008 — conf
Ant Colony Optimization for Configuration.
ICTAI (1)
Patrick Albert, Laurent Henocque, Mathias Kleiner
2006 J jnl
Predicting and Detecting Symmetries in FOL Finite Model Search.
J. Autom. Reason.
Gilles Audemard, Belaid Benhamou, Laurent Henocque
2005 J jnl
A Constrained Object Model for Configuration Based Workflow Composition
CoRR
Patrick Albert, Laurent Henocque, Mathias Kleiner
2005 — conf
A Constrained Object Model for Configuration Based Workflow Composition.
Business Process Management Workshops
Patrick Albert, Laurent Henocque, Mathias Kleiner
2005 A conf
Advances in Polytime Isomorph Elimination for Configuration.
CP
Laurent Henocque, Mathias Kleiner, Nicolas Prcovic
2005 A conf
Configuration-Based Workflow Composition.
ICWS
Patrick Albert, Laurent Henocque, Mathias Kleiner
2004 — conf
An Intuitive Tool for Constraint Based Grammars.
CSLP
Mathieu Estratat, Laurent Henocque
2004 — conf
Application des programmes de contraintes orientés objet à l'analyse du langage naturel.
TALN (Articles longs)
Mathieu Estratat, Laurent Henocque
2004 A conf
Parsing Languages with a Configurator.
ECAI
Mathieu Estratat, Laurent Henocque
2004 B conf
Practically Handling Some Configuration Isomorphisms.
ICTAI
Laurent Henocque, Nicolas Prcovic
2003 A conf
A Canonicity Test for Configuration.
CP
Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic
2003 J jnl
Modeling Object Oriented Constraint Programs in Z
CoRR
Laurent Henocque
2003 J jnl
Pruning Isomorphic Structural Sub-problems in Configuration
CoRR
Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic
2002 Misc ed.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings
AISC
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
2001 A conf
The eXtended Least Number Heuristic.
IJCAR
Gilles Audemard, Laurent Henocque
2000 A conf
Two Techniques to Improve Finite Model Search.
CADE
Gilles Audemard, Belaid Benhamou, Laurent Henocque
1999 J jnl
A Hybrid Method for Finite Model Search in Equational Theories.
Fundam. Informaticae
Belaid Benhamou, Laurent Henocque
1998 Misc conf
Finite Model Search for Equational Theories (FMSET).
AISC
Belaid Benhamou, Laurent Henocque
1993 — conf
Model search with equality: a language and incremental proof procedure for discourse analysis.
JFPL
Laurent Henocque