| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Laurent HENOCQUE
|
 |
|
|
|
Membre de l'équipe INCA |
| |
| Fonction : |
Maître de conférences (MCF) |
| UFR : |
Université de la Méditerranée (U2) |
| |
| Tél. : |
04 91 28 27 40 |
| E-mail : |
laurent henocque univmedfr |
| Web : |
http://www.esil.univ-mrs.fr/~henocque/ |
| |
| Adresse : |
LSIS - UMR CNRS 6168
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20 |
|
PUBLICATIONS
|
|
@inproceedings {EstratatHenocque07,
audience = {nationale},
author = {M. Estratat and L. Henocque},
title = {Les Grammaires de Configuration : un cadre grammatical moderne},
booktitle = {Troisi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes - JFPC'07},
pages = {111--120},
month = {Juin},
year = {2007},
equipe = {INCA}
}
|
|
|
@incollection {HenocqueKleiner06,
author = {Laurent Henocque and Mathias Kleiner},
title = {Composition - Combining Web Service Functionality in Composite Orchestrations},
booktitle = {Semantic Web Services},
editor = {Springer Berlin Heidelberg},
chapter = {Composition - Combining Web Service Functionality in Composite Orchestrations},
pages = {245--286},
publisher = {Lecture notes in Computer Science},
month = {mai},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {HenocqueKleiner06a,
audience = {nationale},
author = {Laurent Henocque and Mathias Kleiner},
title = {Language de Requ\^{e}te Configurable pour la Composition de Services Web Semantiques - article jeune chercheur},
booktitle = {proceedings des Deuxi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC06) (2006)},
pages = {369--378},
year = {2006},
equipe = {INCA}
}
|
|
|
@article {NPHK06,
audience = {internationale},
author = {Barry Norton and Carlos Pedrinacci and Laurent Henocque and Mathias Kleiner},
title = {3-level behavioural models for semantic web services},
journal = {Multi-Agent and Grid Systems},
year = {2006},
equipe = {INCA}
}
|
|
|
@article {AudemardBenhamouHenocque06,
audience = {internationale},
author = {Gilles Audemard and Bela\"{i}d Benhamou and Laurent Henocque},
title = {Predicting and detecting Symmetry in FOL Finite Model search},
journal = {Journal of Automated Reasoning},
month = {juillet},
year = {2006},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {EstratatHenocque06,
audience = {nationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {Traduction automatique de grammaires de traits en un probl\`{e}me de configuration syntaxique},
booktitle = {Deuxi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes, JFPC'2006},
pages = {139 - 148},
address = {Ecole des Mines d'Ales - site EERIE, N\^{i}mes},
month = {juin},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {AlbertHenocqueKleiner05,
audience = {internationale},
author = {Patrick Albert and Laurent Henocque and Mathias Kleiner},
title = {A constrained object model for configuration based workflow composition},
booktitle = {Revised and Selected Papers, Business Process Management - BPM 2005 Workshops},
editor = {Bussler C. et Al},
series = {Lecture Notes in Computer Science},
volume = {3812},
number = {3--540-32595--6},
pages = {102--115},
publisher = {Springer},
month = {janvier},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {HenocqueKleinerPrcovic05,
audience = {nationale},
author = {L. Henocque and M. Kleiner and N. Prcovic},
title = {Une procedure generale d'elimination d'isomorphismes pour les problemes de configuration},
booktitle = {Premieres Journees Francophones de Programmation par Contraintes (JFPC'05)},
pages = {335--344},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {AlbertHenocqueKleiner05c,
audience = {nationale},
author = {Patrick Albert and Laurent Henocque and Mathias Kleiner},
title = {Composition de Workflows \`{a} l'aide de la Configuration},
booktitle = {proceedings of premi\`{e}res Journ\'{e}es Francophones de Programmation par Contraintes, JFPC'05},
editor = {AFPC},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {EstratatHenocque05a,
audience = {internationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {An Intuitive Tool for Constraint Based Grammars},
booktitle = {Revised Selected and Invited Papers, Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1--3},
editor = {Henning Christiansen and Peter Rossen Skadhauge and J\orgen Villadsen},
organization = {CSLP},
series = {Lecture Notes in Computer Science},
volume = {3438},
pages = {121--139},
publisher = {Springer},
year = {2005},
note = {isbn 3--540-26165--6},
equipe = {INCA}
}
|
|
|
@inproceedings {AlbertHenocqueKleiner05d,
audience = {internationale},
author = {Patrick Albert and Laurent Henocque and Mathias Kleiner},
title = {Configuration-Based Workflow Composition},
booktitle = {in proceedings of IEEE International Conference on Web Services (ICWS'05)},
organization = {IEEE},
pages = {285--292},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {HenocqueKleinerPrcovic05a,
audience = {internationale},
author = {Laurent Henocque and Mathias Kleiner and Nicolas Prcovic},
title = {Advances in Polytime Isomorph Elimination for Configuration},
booktitle = {proceedings of Principles and Practice of Constraint Programming - CP 2005,},
pages = {301--313},
publisher = {Springer},
address = {Sitges Barcelona, Spain},
year = {2005},
equipe = {INCA}
}
|
|
|
@conference {AlbertHenocqueKleiner05b,
author = {Patrick Albert and Laurent Henocque and Mathias Kleiner},
title = {A constrained object model for configuration based workflow composition},
booktitle = {proceeding of the 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, BPM'05},
address = {Nancy, France},
month = {septembre},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {EstratatHenocque05,
audience = {nationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {Comprendre des Descriptions Simples \`{a} l'aide d'un Configurateur},
booktitle = {Premi\`{e}res Journ\'{e}es Francophones de Programmation par Contraintes, JFPC'2005},
pages = {325--334},
address = {Universit\'{e} d'Artois, Lens},
month = {Juin},
year = {2005},
equipe = {INCA}
}
|
|
|
@article {Henocque04a,
audience = {internationale},
author = {Laurent Henocque},
title = {Modeling Object Oriented Constraint Programs in Z},
journal = {RACSAM (Revista de la Real Academia De Ciencias serie A Mathematicas)},
volume = {special issue on Symbolic Computation in Logic and Artificial Intelligence},
number = {98 (1--2)},
pages = {127--152},
year = {2004},
equipe = {INCA}
}
|
|
|
@article {GrancolasHenocquePrcovic03a,
audience = {nationale},
author = {Stephane Grandcolas and Laurent Henocque and Nicolas Prcovic},
title = {Un test de canonicit\'{e} pour \'{e}liminer des configurations redondantes},
journal = {Journal Electronique d'Intelligence Artificielle (JEDAI)},
volume = {2},
number = {2},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {PrcovicHenocque04,
audience = {internationale},
author = {Laurent Henocque and Nicolas Prcovic},
title = {Practically Handling Configuration Automorphisms},
booktitle = {proceedings of ICTAI 2004, The 16th IEEE Internatioanl Conference on Tools for Artificial Intelligence},
address = {Boca Raton, Florida},
month = {November 15--17},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {EstratatHenocque04b,
audience = {internationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {An Intuitive Tool for Constraint Based Grammars},
booktitle = {Workshop on Constraint Solving and Language Processing, CSLP 2004},
editor = {Henning Christiansen and Peter Rossen Skadhauge and Jorgen Villadsen},
pages = {74--87},
address = {Roskilde University, Copenhagen},
month = {September},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {EstratatHenocque04,
audience = {internationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {Parsing languages with a configurator},
booktitle = {proceedings of the European Conference for Artificial Intelligence ECAI 2004},
pages = {591--595},
address = {Valencia, Spain},
month = {August},
year = {2004},
equipe = {INCA}
}
|
|
|
@mastersthesis {Henocque04b,
author = {L. Henocque},
title = {M\'{e}thodes \'{e}num\'{e}ratives pour l'intelligence artificielle},
school = {Universit\'{e} d'Aix-Marseille 3},
month = {juillet},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {EstratatHenocque04a,
audience = {nationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {Parser des languages avec un configurateur},
booktitle = {Proceedings of the 10 i\`{e}mes journ\'{e}es Nationales sur la r\'{e}solution pratique des probl\`{e}mes NP-complets, JNPC'04},
pages = {155--167},
address = {Angers, France},
month = {June},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {PrcovicHenocque04a,
audience = {nationale},
author = {Laurent Henocque and Nicolas Prcovic},
title = {Exploiter les automorphismes des configurations},
booktitle = {Proceedings of the 10 i\`{e}mes journ\'{e}es Nationales sur la r\'{e}solution pratique des probl\`{e}mes NP-complets, JNPC'04},
address = {Angers, France},
month = {June},
year = {2004},
equipe = {INCA}
}
|
|
|
@techreport {AudemardBenhamouHenocque04,
author = {Gilles Audemard and Bela\"{i}d Benhamou and Laurent Henocque},
title = {Predecting and detecting symmetry in Finite Model Search},
institution = {LSIS},
number = {LSIS.RR.2004.003},
month = {Juin},
year = {2004},
note = {(Accepted for publication in JAR)},
equipe = {INCA}
}
|
|
|
@inproceedings {Estratat04,
audience = {nationale},
author = {Mathieu Estratat and Laurent Henocque},
title = {Application des OOCP \`{a} l'analyse du langage naturel},
booktitle = {TALN '04},
pages = {163--172},
address = {F\`{e}s, Maroc},
month = {avril},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {GrandcolasHenocquePrcovic03,
audience = {internationale},
author = {S. Grandcolas and L. Henocque and N. Prcovic},
title = {A Canonicity Test for Configuration},
booktitle = {Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP-2003)},
pages = {853-857},
year = {2003},
equipe = {INCA}
}
|
|
|
@inproceedings {GrandcolasHenocquePrcovic03a,
audience = {nationale},
author = {S. Grandcolas and L. Henocque and N. Prcovic},
title = {Un test de canonicité pour éliminer des configurations redondantes},
booktitle = {Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets (JNPC'03)},
pages = {145-159},
year = {2003},
equipe = {INCA}
}
|
|
|
@inproceedings {HenocqueRenpar02,
audience = {internationale},
author = {Laurent Henocque},
title = {Efficient limited redundancy concurrent search},
booktitle = {Workshop sans actes : Rencontres internationales sur le parall\'elisme - RenPar 14},
address = {Tunisia},
year = {2002},
equipe = {INCA}
}
|
|
|
@techreport {AudHen02,
author = {Gilles Audemard and Laurent Henocque},
title = {Predictive Symmetry Elimination in Finite Model Search},
type = {Rapport de Recherche},
institution = {Laboratoire des Sciences de l'Information et des Syst\`{e}mes},
number = {LSIS.RR.2002.009},
month = {Septembre},
year = {2002},
equipe = {INCA}
}
|
|
|
@techreport {FarHen02,
author = {H\'el\`ene Fargier and Laurent Henocque},
title = {Configuration à Base de Contraintes},
institution = {Laboratoire des Sciences de l'Information et des Systèmes, LSIS, (UMR CNRS 6168)},
number = {LSIS.RR.2002.010},
month = {September},
year = {2002},
equipe = {INCA}
}
|
|
|
@techreport {Hen02a,
author = {L. Henocque},
title = {Limited Redundancy Concurrent Search},
type = {Rapport de Recherche},
institution = {Laboratoire des Sciences de l'Information et des Syst\`{e}mes},
number = {LSIS.RR.2002.004},
month = {mars},
year = {2002},
equipe = {INCA}
}
|
|
|
@techreport {Hen02,
author = {L. Henocque},
title = {The prime Normal Form of Boolean Formulas},
type = {Rapport de Recherche},
institution = {Laboratoire des Sciences de l'Information et des Syst\`{e}mes},
number = {LSIS.RR.2002.003},
month = {f\'{e}vrier},
year = {2002},
equipe = {INCA}
}
|
|
|
@inproceedings {AudHen01,
audience = {internationale},
author = {G. Audemard and L. Henocque},
title = {The eXtended Least Number Heuristic},
booktitle = {Proceedings of the First International Joint Conference, IJCAR, Sienne, Italie},
editor = {Rajeev Gor{\'e} and Alexander Leitsch and Tobias Nipkow},
series = {Lecture Notes in Computer Science},
volume = {2083",},
pages = {427--442},
publisher = {Springer},
month = {juin},
year = {2001},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemarBenhamouHenocque00,
audience = {internationale},
author = {G. Audemard and B. Benhamou and L. Henocque},
title = {Two techniques to improve Finite Model Search},
booktitle = {17th International Conference on Automated Deduction CADE17},
pages = {302--308},
address = {Pittsburgh},
year = {2000},
equipe = {INCA}
}
|
|
|
@inproceedings {AudHen00,
audience = {nationale},
author = {G. Audemard and L. Henocque},
title = {Sur la g\'{e}n\'{e}ration de mod\`{e}les finis non isomorphes},
booktitle = {proceedings of 6\`emes Journ\'ees Nationales sur la r\'esolution pratique de probl\`emes NP-Complets, JNPC'00, Marseille, France},
pages = {57-66},
month = {juin},
year = {2000},
equipe = {INCA}
}
|
|
|
@article {BenhamouHenocque99,
audience = {internationale},
author = {B. Benhamou and L. Henocque},
title = {A Hybrid Method for finite Model Search in Equational theories},
journal = {Fundamenta Informaticae},
number = {39},
pages = {21-38},
year = {1999},
equipe = {INCA}
}
|
|
|
@inproceedings {BouquetHenocqueJegou99,
audience = {nationale},
author = {F. Bouquet and L. Henocque and P. J\'{e}gou},
title = {Enum\'{e}ration et repr\'{e}sentation d'impliquants premiers},
booktitle = {Actes de la V\`{e}me Conf\'{e}rence Nationale sur la R\'{e}solution de Probl\`{e}mes NP-Complets -- JNPC'99},
pages = {179--188},
address = {Lyon},
year = {1999},
equipe = {INCA}
}
|
|
|
@techreport {AudBenHen99,
author = {G. Audemard and B. Benhamou and L. Henocque},
title = {Two techniques to improve Finite Model Search.},
type = {Rapport de recherche},
institution = {Laboratoire d'Informatique de Marseille},
number = {339},
year = {1999},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouHenocque98a,
audience = {internationale},
author = {B. Benhamou and L. Henocque},
title = {Finite model search for equational theories},
booktitle = {4th International Conference Artificial Intelligence and Symbolic Computation, AISC'98},
series = {LNCS},
pages = {84--93},
publisher = {Springer Verlag},
address = {Plattsburgh, USA},
year = {1998},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouHenocque98,
audience = {nationale},
author = {B. Benhamou and L. Henocque},
title = {Vers un syst\`eme de recherche de mod\`eles finis pour les th\'eories \'equationnelles},
booktitle = {4\`emes journ\'ees Nationales R\'esolution Pratique de Probl\`emes NP-complets, JNPC'98},
pages = {47--54},
address = {Nantes},
year = {1998},
equipe = {INCA}
}
|
|
|
@conference {BenhamouHenocque98b,
author = {B. Benhamou and L. Henocque},
title = {A Finite model search for equational theories and Applications},
booktitle = {2th International Theorem Workshop},
address = {Linz, Austria},
year = {1998},
equipe = {INCA}
}
|
|
|
@techreport {BenhamouHenocque98c,
author = {B. Benhamou and L. Henocque},
title = {Study of a finite model search system for equational theories and applications},
type = {Rapport de Recherche},
institution = {LIM},
year = {1998},
equipe = {INCA}
}
|
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
