| 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
|
|
|
[1] M. Estratat, L. Henocque, “Les Grammaires de Configuration : un cadre grammatical moderne”, in: Troisièmes Journées Francophones de Programmation par Contraintes - JFPC'07, pp. 111-120, Juin 2007.[bib] |
|
|
|
[2] L. Henocque, M. Kleiner, “Composition - Combining Web Service Functionality in Composite Orchestrations”, in: Lecture notes in Computer Science (Ed.), ``Semantic Web Services'', Springer Berlin Heidelberg, ch. Composition - Combining Web Service Functionality in Composite Orchestrations, pp. 245-286, mai 2007.[bib] |
|
|
|
[3] L. Henocque, M. Kleiner, “Language de Requête Configurable pour la Composition de Services Web Semantiques - article jeune chercheur”, in: proceedings des Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06) (2006), pp. 369-378, 2006.[bib] |
|
|
|
[4] Barry Norton, Carlos Pedrinacci, L. Henocque, M. Kleiner, “3-level behavioural models for semantic web services”, in: Multi-Agent and Grid Systems, 2006.[bib] |
|
|
|
[5] Gilles Audemard, B. Benhamou, L. Henocque, “Predicting and detecting Symmetry in FOL Finite Model search”, in: Journal of Automated Reasoning, juillet 2006. à paraître.[bib] |
|
|
|
[6] M. Estratat, L. Henocque, “Traduction automatique de grammaires de traits en un problème de configuration syntaxique”, in: Deuxièmes Journées Francophones de Programmation par Contraintes, JFPC'2006, pp. 139 - 148, Ecole des Mines d'Ales - site EERIE, Nîmes, juin 2006.[bib] |
|
|
|
[7] Patrick Albert, L. Henocque, M. Kleiner, “A constrained object model for configuration based workflow composition”, in: Revised and Selected Papers, Business Process Management - BPM 2005 Workshops, Bussler C. et Al, Lecture Notes in Computer Science, vol. 3812, n° 3-540-32595-6, pp. 102-115, Springer, janvier 2006.[bib] |
|
|
|
[8] L. Henocque, M. Kleiner, N. Prcovic, “Une procedure generale d'elimination d'isomorphismes pour les problemes de configuration”, in: Premieres Journees Francophones de Programmation par Contraintes (JFPC'05), pp. 335-344, 2005.[bib] |
|
|
|
[9] Patrick Albert, L. Henocque, M. Kleiner, “Composition de Workflows à l'aide de la Configuration”, in: proceedings of premières Journées Francophones de Programmation par Contraintes, JFPC'05, AFPC, 2005.[bib] |
|
|
|
[10] M. Estratat, L. Henocque, “An Intuitive Tool for Constraint Based Grammars”, in: Revised Selected and Invited Papers, Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, Henning Christiansen and Peter Rossen Skadhauge and Jørgen Villadsen, CSLP, Lecture Notes in Computer Science, vol. 3438, pp. 121-139, Springer, 2005. isbn 3-540-26165-6.[bib] |
|
|
|
[11] Patrick Albert, L. Henocque, M. Kleiner, “Configuration-Based Workflow Composition”, in: in proceedings of IEEE International Conference on Web Services (ICWS'05), IEEE, pp. 285-292, 2005.[bib] |
|
|
|
[12] L. Henocque, M. Kleiner, N. Prcovic, “Advances in Polytime Isomorph Elimination for Configuration”, in: proceedings of Principles and Practice of Constraint Programming - CP 2005,, pp. 301-313, Springer, Sitges Barcelona, Spain, 2005.[bib] |
|
|
|
[13] Patrick Albert, L. Henocque, M. Kleiner, “A constrained object model for configuration based workflow composition”, in: proceeding of the 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, BPM'05, Nancy, France, septembre 2005.[bib] |
|
|
|
[14] M. Estratat, L. Henocque, “Comprendre des Descriptions Simples à l'aide d'un Configurateur”, in: Premières Journées Francophones de Programmation par Contraintes, JFPC'2005, pp. 325-334, Université d'Artois, Lens, Juin 2005.[bib] |
|
|
|
[15] L. Henocque, “Modeling Object Oriented Constraint Programs in Z”, in: RACSAM (Revista de la Real Academia De Ciencias serie A Mathematicas), vol. special issue on Symbolic Computation in Logic and Artificial Intelligence, n° 98 (1-2), pp. 127-152, 2004.[bib] |
|
|
|
[16] Stephane Grandcolas, L. Henocque, N. Prcovic, “Un test de canonicité pour éliminer des configurations redondantes”, in: Journal Electronique d'Intelligence Artificielle (JEDAI), vol. 2, n° 2, 2004.[bib] |
|
|
|
[17] L. Henocque, N. Prcovic, “Practically Handling Configuration Automorphisms”, in: proceedings of ICTAI 2004, The 16th IEEE Internatioanl Conference on Tools for Artificial Intelligence, Boca Raton, Florida, November 15-17 2004.[bib] |
|
|
|
[18] M. Estratat, L. Henocque, “An Intuitive Tool for Constraint Based Grammars”, in: Workshop on Constraint Solving and Language Processing, CSLP 2004, Henning Christiansen and Peter Rossen Skadhauge and Jorgen Villadsen, pp. 74-87, Roskilde University, Copenhagen, September 2004.[bib] |
|
|
|
[19] M. Estratat, L. Henocque, “Parsing languages with a configurator”, in: proceedings of the European Conference for Artificial Intelligence ECAI 2004, pp. 591-595, Valencia, Spain, August 2004.[bib] |
|
|
|
[20] L. Henocque, HDR : “Méthodes énumératives pour l'intelligence artificielle”, Université d'Aix-Marseille 3, juillet 2004.[bib] |
|
|
|
[21] M. Estratat, L. Henocque, “Parser des languages avec un configurateur”, in: Proceedings of the 10 ièmes journées Nationales sur la résolution pratique des problèmes NP-complets, JNPC'04, pp. 155-167, Angers, France, June 2004.[bib] |
|
|
|
[22] L. Henocque, N. Prcovic, “Exploiter les automorphismes des configurations”, in: Proceedings of the 10 ièmes journées Nationales sur la résolution pratique des problèmes NP-complets, JNPC'04, Angers, France, June 2004.[bib] |
|
|
|
[23] Gilles Audemard, B. Benhamou, L. Henocque, “Predecting and detecting symmetry in Finite Model Search”, LSIS, n° LSIS.RR.2004.003, Juin 2004. (Accepted for publication in JAR).[bib] |
|
|
|
[24] M. Estratat, L. Henocque, “Application des OOCP à l'analyse du langage naturel”, in: TALN '04, pp. 163-172, Fès, Maroc, avril 2004.[bib][pdf] |
|
|
|
[25] S. Grandcolas, L. Henocque, N. Prcovic, “A Canonicity Test for Configuration”, in: Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP-2003), pp. 853-857, 2003.[bib] |
|
|
|
[26] S. Grandcolas, L. Henocque, N. Prcovic, “Un test de canonicité pour éliminer des configurations redondantes”, in: Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets (JNPC'03), pp. 145-159, 2003.[bib] |
|
|
|
[27] L. Henocque, “Efficient limited redundancy concurrent search”, in: Workshop sans actes : Rencontres internationales sur le parallélisme - RenPar 14, Tunisia, 2002.[bib] |
|
|
|
[28] Gilles Audemard, L. Henocque, “Predictive Symmetry Elimination in Finite Model Search”, Rapport de Recherche, Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2002.009, Septembre 2002.[bib][ps][pdf] |
|
|
|
[29] Hélène Fargier, L. Henocque, “Configuration à Base de Contraintes”, Laboratoire des Sciences de l'Information et des Systèmes, LSIS, (UMR CNRS 6168), n° LSIS.RR.2002.010, September 2002.[bib][pdf][ps] |
|
|
|
[30] L. Henocque, “Limited Redundancy Concurrent Search”, Rapport de Recherche, Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2002.004, mars 2002.[bib][pdf][ps] |
|
|
|
[31] L. Henocque, “The prime Normal Form of Boolean Formulas”, Rapport de Recherche, Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2002.003, février 2002.[bib][pdf][ps] |
|
|
|
[32] G. Audemard, L. Henocque, “The eXtended Least Number Heuristic”, in: Proceedings of the First International Joint Conference, IJCAR, Sienne, Italie, Rajeev Goré and Alexander Leitsch and Tobias Nipkow, Lecture Notes in Computer Science, vol. 2083",, pp. 427-442, Springer, juin 2001.[bib] |
|
|
|
[33] G. Audemard, B. Benhamou, L. Henocque, “Two techniques to improve Finite Model Search”, in: 17th International Conference on Automated Deduction CADE17, pp. 302-308, Pittsburgh, 2000.[bib] |
|
|
|
[34] G. Audemard, L. Henocque, “Sur la génération de modèles finis non isomorphes”, in: proceedings of 6èmes Journées Nationales sur la résolution pratique de problèmes NP-Complets, JNPC'00, Marseille, France, pp. 57-66, juin 2000.[bib] |
|
|
|
[35] B. Benhamou, L. Henocque, “A Hybrid Method for finite Model Search in Equational theories”, in: Fundamenta Informaticae, n° 39, pp. 21-38, 1999.[bib] |
|
|
|
[36] F. Bouquet, L. Henocque, P. Jégou, “Enumération et représentation d'impliquants premiers”, in: Actes de la Vème Conférence Nationale sur la Résolution de Problèmes NP-Complets - JNPC'99, pp. 179-188, Lyon, 1999.[bib] |
|
|
|
[37] G. Audemard, B. Benhamou, L. Henocque, “Two techniques to improve Finite Model Search.”, Rapport de recherche, Laboratoire d'Informatique de Marseille, n° 339, 1999.[bib] |
|
|
|
[38] B. Benhamou, L. Henocque, “Finite model search for equational theories”, in: 4th International Conference Artificial Intelligence and Symbolic Computation, AISC'98, LNCS, pp. 84-93, Springer Verlag, Plattsburgh, USA, 1998.[bib] |
|
|
|
[39] B. Benhamou, L. Henocque, “Vers un système de recherche de modèles finis pour les théories équationnelles”, in: 4èmes journées Nationales Résolution Pratique de Problèmes NP-complets, JNPC'98, pp. 47-54, Nantes, 1998.[bib] |
|
|
|
[40] B. Benhamou, L. Henocque, “A Finite model search for equational theories and Applications”, in: 2th International Theorem Workshop, Linz, Austria, 1998.[bib] |
|
|
|
[41] B. Benhamou, L. Henocque, “Study of a finite model search system for equational theories and applications”, Rapport de Recherche, LIM, 1998.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
