Thierry Martinez

According to our database, Thierry Martinez authored at least 16 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors.

François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

2016

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.

Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman

Constraints An Int. J., 2016

A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems.

Thierry Martinez, François Fages, Abder Aggoun

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Influence Systems vs Reaction Systems.

François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 2016

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

PhD thesis, 2015

Search by constraint propagation.

Thierry Martinez, François Fages, Sylvain Soliman

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Composing Message Translators and Inferring Their Data Types Using Tree Automata.

Emil Andriescu, Thierry Martinez, Valérie Issarny

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

On the subgraph epimorphism problem.

Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon

Discret. Appl. Math., 2014

2013

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman

CoRR, 2013

2012

A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman

Proceedings of the Principles and Practice of Constraint Programming, 2012

2010

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules.

Thierry Martinez

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints.

Thierry Martinez

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

Procedural Code Generation <i>vs</i> Static Expansion in Modelling Languages for Constraint Programming.

Julien Martin, Thierry Martinez, François Fages

Proceedings of the Recent Advances in Constraints, 2009

2006

An Operational Model for the FIPA-ACL Semantics.

Vincent Louis, Thierry Martinez

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005

Un cadre d'interprétation de la sémantique de FIPA-ACL dans JADE.

Vincent Louis, Thierry Martinez

Proceedings of the Systèmes Multi-Agents, 2005

2003

Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent.

Philippe Bretier, Vincent Louis, Thierry Martinez

Tech. Sci. Informatiques, 2003