Thierry Martinez

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

Centre de Recherche INRIA Paris–Rocquencourt — Bureau 814
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.

Publications

François Fages, Cleyton Mario de Oliveira Rodrigues, Thierry Martinez, Modular CHR with ask and tell., Fifth Workshop on Constraint Handling Rules, 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).