Search - Aix-Marseille Université Access content directly

Filter your results

23 Results
authFullName_s : Laurent Henocque
Image document

Language de Requête Configurable pour la Composition de Services Web Semantiques

Laurent Henocque , Mathias Kleiner
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers inria-00085798v1
Image document

Comprendre des Descriptions Simples à l'aide d'un Configurateur

Mathieu Estratat , Laurent Henocque
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.325-334
Conference papers inria-00000057v1
Image document

Génération rapide et filtrage de configurations canoniques

Laurent Henocque , Nicolas Prcovic
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France
Conference papers inria-00151237v1

Handling Configuration Isomorphisms - Extended research report, pp 1―37

Stéphane Grandcolas , Laurent Henocque , Mathias Kleiner , Nicolas Prcovic
[Rapport de recherche] LSIS.RR.2008.005, LSIS InCA. 2008
Reports hal-01488815v1

Modeling Object Oriented Constraint Programs in Z

Laurent Henocque
RACSAM. Real Academia de Ciencias. Serie A, Matemáticas - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas, 2004, special issue on Symbolic Computation in Logic and Artificial Intelligence (98 (1--2)), pp.127--152
Journal articles hal-01479589v1
Image document

Traduction automatique de grammaires à base de traits en un problème de configuration syntaxique

Mathieu Estratat , Laurent Henocque
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers inria-00085813v1

A constrained request language for SWS Composition

Laurent Henocque , Mathias Kleiner
[Rapport de recherche] LSIS.RR.2007.013, LSIS InCA. 2007
Reports hal-01488821v1

Predicting and Detecting Symmetries in FOL Finite Model Search

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
Journal of Automated Reasoning, 2006, 36 (3), pp.177-212
Journal articles hal-00448785v1

Predecting and detecting symmetry in Finite Model Search

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
[Rapport de recherche] LSIS.RR.2004.003, LSIS. 2004
Reports hal-01488871v1

A Hybrid Method for finite Model Search in Equational theories

Belaïd Benhamou , Laurent Henocque
Fundamenta Informaticae, 1999, 39, pp.21-38
Journal articles hal-01479604v1

Handling Configuration Isomorphisms

Stéphane Grandcolas , Laurent Henocque , Nicolas Prcovic
[Rapport de recherche] LSIS.RR.2007.014, LSIS InCA. 2007
Reports hal-01488825v1

Procédé de vérification de l'intégrité d'un bloc de données numériques

Laurent Henocque
Région indéterminée, N° de brevet: WO2014114861. 2014
Patents hal-01488745v1

Formally Defining Constrained Object Models

Laurent Henocque
[Rapport de recherche] LSIS.RR.2007.011, LSIS InCA. 2007
Reports hal-01488819v1

Un test de canonicité pour éliminer des configurations redondantes

Stéphane Grandcolas , Laurent Henocque , Nicolas Prcovic
Journal Electronique d'Intelligence Artificielle (JEDAI), 2004, 2 (2)
Journal articles hal-01479587v1
Image document

Les grammaires de configuration : un cadre grammatical moderne

Mathieu Estratat , Laurent Henocque
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers inria-00151128v1

Base de fichiers relationnelle et interface graphique de gestion d'une telle base

Laurent Henocque
Région indéterminée, N° de brevet: WO 2015173500. 2015
Patents hal-01488741v1

A Formal Specification of UML Core Basic and Applications

Laurent Henocque
[Rapport de recherche] LSIS.RR.2007.010, LSIS InCA. 2007
Reports hal-01488824v1
Image document

Composition de Workflows à l'aide de la Configuration

Patrick Albert , Laurent Henocque , Mathias Kleiner
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.345-354
Conference papers inria-00000079v1
Image document

3-Level Behavioural Models for Semantic Web Services

Barry Norton , Carlos Pedrinaci , Laurent Henocque , Mathias Kleiner
International Transactions on Systems Science and Applications, 2008, pp.340-355
Journal articles hal-00784364v1

Sur la génération des groupes finis non isomorphes

Gilles Audemard , Laurent Henocque
Actes des sixièmes Journées Nationales des problèmes NP complets (JNPC 00), 2000, Marseille, France. pp.57-66
Conference papers hal-03299521v1

Predicting and detecting Symmetry in FOL Finite Model search

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
Journal of Automated Reasoning, 2006
Journal articles hal-01479575v1

Using the Z specification language to describe logics and constraint systems

Laurent Henocque
[Rapport de recherche] LSIS.RR.2007.012, LSIS InCA. 2007
Reports hal-01488818v1
Image document

Optimisation par colonie de fourmis pour la configuration

Patrick Albert , Laurent Henocque , Mathias Kleiner
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.49-58
Conference papers inria-00290770v1