Thierry Martinez

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