Curriculum Vitae
(version française)
Software
- clp2zinc (and the ClpZinc modeling language)
- A front-end to compile CLP specifications of search strategies into Zinc models.
- SiLCC
- SiLCC is Linear Logic Concurrent Constraint.
- EMoP
- Existential Modules for Prolog.
- CHRat
- Modular CHR with ask and tell.
- FO-CTL(ℝlin)
- First-order Computation Tree Logic solver on linear arithmetic over the reals.
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]
-
François Fages,
Julien Martin,
Thierry Martinez,
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming, Recent Advances in Constraints, 2010.
-
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]
Talks for the Internal Seminar of
Contraintes Project
- 10 March 2010 (PDF)
- Angelic semantics for SiLCC
- 18 November 2009 (PDF)
- The Cream type system
- 7 July 2009 (PDF)
- On connections between CHR and LCC
- 21 July 2008
(PDF, TeX)
- Constraint Grammars. Introduction to a syntactic description schema for sets of constraints.
- 16 June 2008
(PDF, Tar-GZ)
- Modular CHR with ask and tell. Presentation of the CHRat article.
- 26 May 2008
(PDF, TeX)
- Disjoint-set Data Structure for Equality Theory. Union-find algorithm and optimal code generation for entailment checking.
- 17 March 2008
(PDF)
- About Feature Trees.
- 7 January 2008
(PDF)
- About my understanding of what is a
labelled
graph constraint system
: Prolog term
processing predicates as constraints /
Generalization: starting from terms as labelled
arrays of subterms to go to
maps from terms to terms
/
Maps and association graphs (graphs each
edge of which is labelled by a vertex,
link with composition laws).
Resources