Thierry Martinez

Doctorant, Équipe–Projet Contraintes, Bâtiment 8

Centre de Recherche INRIA Paris–Rocquencourt — Bureau 809
Domaine de Voluceau
Rocquencourt – BP 105
78153 Le Chesnay Cedex – France

e-mail : Thierry.Martinez@inria.fr
Téléphone : +33 1 39 63 58 33
Mobile : +33 6 07 82 61 15

Page personnelle : http://www.normalesup.org/~martinez/

Sujet de thèse : Conception et implantation d'un langage de programmation logique avec contraintes en logique linéaire (directeur : François Fages)

Logiciels

CHRat: CHR modulaire avec ask et tell.

EMoP: Modules existentiels pour Prolog.

SiLCC: Langage de programmation avec contraintes en logique linéaire.

Publications

Julien Martin, Thierry Martinez, François Fages, On Specification of Search Tree Heuristics by Pattern-matching in a Rule-based Modelling Language, Eighth International Workshop on Constraint Modelling and Reformulation, Lisboa (Portugal), 2009. [PDF]
Thierry Martinez, On connections between CHR and LCC, Sixth Workshop on Constraint Handling Rules, Pasadena (USA), 2009. [PDF]
François Fages, Thierry Martinez, Cleyton Mario de Oliveira Rodrigues, CHR modulaire avec ask et tell, Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans (France), 2009. [PDF]
François Fages, Cleyton Mario de Oliveira Rodrigues, Thierry Martinez, Modular CHR with ask and tell, Fifth Workshop on Constraint Handling Rules, Hagenberg (Austria), 2008. [PDF]

Présentations au séminaire interne du projet Contraintes

21 juillet 2008 (PDF, TeX): Grammaires de contraintes. Introduction à un schéma de description syntaxique pour les ensembles de contraintes.
16 juin 2008 (PDF, Tar-GZ): CHR modulaire avec ask et tell. Présentation de l'article CHRat.
26 mai 2008 (PDF, TeX): Structure de données pour ensembles disjoints et théorie de l'égalité. Algorithme d'union-find et génération de code optimal pour test d'implication.
17 mars 2008 (PDF): À propos des arbres à attributs (feature trees).
7 janvier 2008 (PDF): À propos de ma compréhension de ce qu'est un système de constraintes de graphes étiquetés : Prédicats Prolog de manipulation de termes comme des contraintes / Généralisation : partir des termes comme tableaux étiquetés de sous-termes pour arriver aux associations depuis les termes vers les termes / Associations et graphes d'associations (graphes dont chaque arête est étiquetée par un sommet, lien avec les lois de composition).