Curriculum Vitae
(english version)
Logiciels
- clp2zinc (et le langage de modélisation ClpZinc)
- Un compilateur de stratégies de recherche en modèles Zinc.
- SiLCC
- Langage de programmation avec contraintes en logique linéaire.
- EMoP
- Modules existentiels pour Prolog.
- CHRat
- CHR modulaire avec ask et tell.
- FO-CTL(ℝlin)
- Résolution de contraintes de logique temporelle du premier ordre en arithmétique linéaire sur les réels.
Publications
-
Faten Nabli,
François Fages,
Thierry Martinez,
Sylvain Soliman,
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri-nets,
CP'2012, 18th International Conference on Principles and Practice of Constraint Programming,
Québec (Canada), 2012.
[PDF]
-
Thierry Martinez,
Angelic CHR,
Eighth Workshop on Constraint Handling Rules,
Cairo (Egypt), 2011.
[PDF]
-
Thierry Martinez,
Semantics-preserving translations between Linear Concurrent Constraint Programming and Constraint Handling Rules,
Principles and Practice of Declarative Programming
12th International ACM SIGPLAN Symposium, Hagenberg (Austria), 2010.
[PDF]
-
Thierry Martinez,
Design and implementation of a concurrent
programming language with constraints
in linear logic
,
Doctoral Consortium of International Logic Programming Conference, Edinburgh (United Kingdom), 2010.
[PDF]
-
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
- 10 mars 2010 (PDF)
- Sémantique angélique pour SiLCC
- 18 novembre 2009 (PDF)
- Le système de type de Cream
- 7 juillet 2009 (PDF)
- Sur les liens entre CHR et LCC
- 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).
Ressources