Follow
Thierry Martinez
Thierry Martinez
Inria
Verified email at nsup.org
Title
Cited by
Cited by
Year
On the subgraph epimorphism problem
S Gay, F Fages, T Martinez, S Soliman, C Solnon
Discrete Applied Mathematics 162, 214-228, 2014
412014
An operational model for the FIPA-ACL semantics
V Louis, T Martinez
International Workshop on Agent Communication, 1-14, 2005
332005
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
F Nabli, T Martinez, F Fages, S Soliman
Constraints 21, 251-276, 2016
172016
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
F Nabli, T Martinez, F Fages, S Soliman
Constraints 21, 251-276, 2016
172016
Modular CHR with ask and tell
F Fages, CM de Oliveira Rodrigues, T Martinez
Proc. of Fifth Workshop on Constraint Handling Rules, 2008
152008
The jade semantic agent: Towards agent communication oriented middleware
V Louis, T Martinez
AgentLink News 18, 16-18, 2005
132005
A boolean model for enumerating minimal siphons and traps in petri nets
F Nabli, F Fages, T Martinez, S Soliman
International Conference on Principles and Practice of Constraint …, 2012
112012
JADE semantics framework
V Louis, T Martinez
Developing multi-agent systems with JADE, 225-246, 2007
102007
On solving mixed shapes packing problems by continuous optimization with the cma evolution strategy
T Martinez, L Vitorino, F Fages, A Aggoun
2013 BRICS Congress on Computational Intelligence and 11th Brazilian …, 2013
92013
Developing Multi-agent Systems with JADE, chapter JADE Semantics Framework
V Louis, T Martinez
John Wiley and sons inc 246, 225, 2007
92007
Influence networks compared with reaction networks: Semantics, expressivity and attractors
F Fages, T Martinez, DA Rosenblueth, S Soliman
IEEE/ACM Transactions on Computational Biology and Bioinformatics 15 (4 …, 2018
82018
Influence systems vs reaction systems
F Fages, T Martinez, DA Rosenblueth, S Soliman
Computational Methods in Systems Biology: 14th International Conference …, 2016
72016
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules
T Martinez
Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010
72010
Search by constraint propagation
T Martinez, F Fages, S Soliman
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
52015
Composing Message Translators and Inferring their Data Types using Tree Automata
E Andriescu, T Martinez, V Issarny
Fundamental Approaches to Software Engineering: 18th International …, 2015
52015
Angelic chr
T Martinez
Eighth International Workshop 19, 2011
52011
Jade semantics add-on
V Louis, T Martinez
Autonomous Agents and Multi-Agent Systems AAMAS'05, 2005
52005
Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES
D Fournier, T Martinez, F Fages, D Mulard
Inria Saclay Ile de France, 2016
32016
A constraint program for subgraph epimorphisms with application to identifying model reductions in systems biology
S Gay, F Fages, T Martinez, S Soliman
Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, 59, 2011
32011
Un cadre d'interprétation de la sémantique de FIPA-ACL dans JADE.
V Louis, T Martinez
JFSMA, 101-113, 2005
32005
The system can't perform the operation now. Try again later.
Articles 1–20