dblp.uni-trier.dewww.uni-trier.de

Laurent Henocque

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEPatrick Albert, Laurent Henocque, Mathias Kleiner: Ant Colony Optimization for Configuration. ICTAI (1) 2008: 247-254
18EEPatrick Albert, Laurent Henocque, Mathias Kleiner: An End-to-End Configuration-Based Framework for Automatic SWS Composition. ICTAI (1) 2008: 351-358
2006
17EEGilles Audemard, Belaid Benhamou, Laurent Henocque: Predicting and Detecting Symmetries in FOL Finite Model Search. J. Autom. Reasoning 36(3): 177-212 (2006)
2005
16EEPatrick Albert, Laurent Henocque, Mathias Kleiner: A Constrained Object Model for Configuration Based Workflow Composition. Business Process Management Workshops 2005: 102-115
15EELaurent Henocque, Mathias Kleiner, Nicolas Prcovic: Advances in Polytime Isomorph Elimination for Configuration. CP 2005: 301-313
14EEPatrick Albert, Laurent Henocque, Mathias Kleiner: Configuration-Based Workflow Composition. ICWS 2005: 285-292
13EEPatrick Albert, Laurent Henocque, Mathias Kleiner: A Constrained Object Model for Configuration Based Workflow Composition CoRR abs/cs/0506031: (2005)
2004
12EEMathieu 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
10EELaurent Henocque, Nicolas Prcovic: Practically Handling Some Configuration Isomorphisms. ICTAI 2004: 90-97
2003
9EEStéphane Grandcolas, Laurent Henocque, Nicolas Prcovic: A Canonicity Test for Configuration. CP 2003: 853-857
8EEStéphane Grandcolas, Laurent Henocque, Nicolas Prcovic: Pruning Isomorphic Structural Sub-problems in Configuration CoRR cs.AI/0306135: (2003)
7EELaurent 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
5EEGilles 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
2EEBelaid 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

Coauthor Index

1Patrick Albert [13] [14] [16] [18] [19]
2Gilles Audemard [4] [5] [17]
3Belaid Benhamou [2] [3] [4] [6] [17]
4Jacques Calmet [6]
5Olga Caprotti [6]
6Mathieu Estratat [11] [12]
7Stéphane Grandcolas [8] [9]
8Mathias Kleiner [13] [14] [15] [16] [18] [19]
9Nicolas Prcovic [8] [9] [10] [15]
10Volker Sorge [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)