Thierry Martinez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2016
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CPAIOR | A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. | Thierry Martinez, Franois Fages, Abder Aggoun |
| 2015 | FASE | Composing Message Translators and Inferring Their Data Types Using Tree Automata. | Emil Andriescu, Thierry Martinez, Valrie Issarny |
| 2015 | PPDP | Search by constraint propagation. | Thierry Martinez, Franois Fages, Sylvain Soliman |
| 2012 | CP | A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. | Faten Nabli, Franois Fages, Thierry Martinez, Sylvain Soliman |
| 2010 | ICLP | Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints. | Thierry Martinez |
| 2010 | PPDP | Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. | Thierry Martinez |