Thierry Martinez
Thierry Martinez
Inria
Dirección de correo verificada de nsup.org
TítuloCitado porAño
An operational model for the FIPA-ACL semantics
V Louis, T Martinez
Agent Communication II, 1-14, 2006
302006
On the subgraph epimorphism problem
S Gay, F Fages, T Martinez, S Soliman, C Solnon
Discrete Applied Mathematics 162, 214-228, 2014
232014
Modular CHR with ask and tell
F Fages, CM de Oliveira Rodrigues, T Martinez
Proc. of Fifth Workshop on Constraint Handling Rules, 2008
162008
The jade semantic agent: Towards agent communication oriented middleware
V Louis, T Martinez
AgentLink News 18, 16-18, 2005
132005
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
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
92012
JADE semantics framework
V Louis, T Martinez
Developing multi-agent systems with JADE, 225-246, 2007
92007
Influence systems vs reaction systems
F Fages, T Martinez, DA Rosenblueth, S Soliman
International Conference on Computational Methods in Systems Biology, 98-115, 2016
82016
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
82010
Developing Multi-agent Systems with JADE, chapter JADE Semantics Framework
V Louis, T Martinez
John Wiley and sons inc 246, 225, 2007
72007
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 (2), 251-276, 2016
62016
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 (2), 251-276, 2016
62016
Angelic chr
T Martinez
Eighth International Workshop 19, 2011
52011
Search by constraint propagation
T Martinez, F Fages, S Soliman
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
42015
Composing Message Translators and Inferring their Data Types using Tree Automata
E Andriescu, T Martinez, V Issarny
International Conference on Fundamental Approaches to Software Engineering …, 2015
42015
Jade semantics add-on
V Louis, T Martinez
Autonomous Agents and Multi-Agent Systems AAMAS'05, 2005
42005
A constraint program for subgraph epimorphisms with application to identifying model reductions in systems biology
S Gay, T Martinez, S Soliman, F Fages
Proceedings of the seventh Workshop on Constraint Based Methods for …, 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
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
22018
Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES
D Fournier, T Martinez, F Fages, D Mulard
22016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20