Thierry Martinez

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 6

Top Venues

CMSB

CoRR

IEEE ACM Trans. Comput. Biol. Bioinform.

FASE

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Systems vs Reaction Systems. CMSB (2016)
Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints An Int. J. 21 (2) (2016)
Thierry Martinez, François Fages, Abder Aggoun
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. CPAIOR (2016)
Emil Andriescu, Thierry Martinez, Valérie Issarny
Composing Message Translators and Inferring Their Data Types Using Tree Automata. FASE (2015)
Thierry Martinez, François Fages, Sylvain Soliman
Search by constraint propagation. PPDP (2015)
Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
On the subgraph epimorphism problem. Discret. Appl. Math. 162 (2014)
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri CoRR (2013)
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP (2012)
Thierry Martinez
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. PPDP (2010)
Thierry Martinez
Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints. ICLP (Technical Communications) (2010)
Julien Martin, Thierry Martinez, François Fages
Static Expansion in Modelling Languages for Constraint Programming. CSCLP (2009)
Vincent Louis, Thierry Martinez
An Operational Model for the FIPA-ACL Semantics. AC (2006)
Vincent Louis, Thierry Martinez
Un cadre d'interprétation de la sémantique de FIPA-ACL dans JADE. JFSMA (2005)
Philippe Bretier, Vincent Louis, Thierry Martinez
Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent. Tech. Sci. Informatiques 22 (4) (2003)

Thierry Martinez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thierry Martinez