Get started
Author

Thierry Martinez

On the subgraph epimorphism problem
2013 · Steven Gay, François Fages, et al. · Discrete Applied Mathematics · 28
PDF
An Operational Model for the FIPA-ACL Semantics
2006 · Vincent Louis, Thierry Martinez · Lecture notes in computer science · 17
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
2015 · Faten Nabli, Thierry Martinez, et al. · Constraints · 12
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors
2018 · Francois Fages, Thierry Martinez, et al. · IEEE Transactions on Computational Biology and Bioinformatics · 11
PDF
On Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy
2013 · Thierry Martinez, Lumadaiara Vitorino, et al. · BRICS Congress on Computational Intelligence and Brazilian Congress on Computational Intelligence (BRICS-CCI & CBIC) · 8
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules
2010 · Thierry Martinez · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 6
Influence Systems vs Reaction Systems
2016 · François Fages, Thierry Martinez, et al. · Lecture notes in computer science · 5
PDF
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets
2012 · Faten Nabli, François Fages, et al. · Lecture notes in computer science · 4
Search by constraint propagation
2015 · Thierry Martinez, François Fages, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 3
Composing Message Translators and Inferring Their Data Types Using Tree Automata
2015 · Emil Andriescu, Thierry Martinez, et al. · Lecture notes in computer science · 3
Graphix: A software framework for Measurement-Based Quantum Computation
2026 · Uldemolins, Mateo, Nair, Pranav, et al. · arXiv (Cornell University) · 2
PDF
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming
2011 · Julien Martin, Thierry Martinez, et al. · Lecture notes in computer science · 2
Code for "Graphix: A software framework for Measurement-Based Quantum Computation"
2026 · Uldemolins, Mateo, Nair, Pranav, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems
2016 · Thierry Martinez, François Fages, et al. · Lecture notes in computer science · 1
On Translating MiniZinc Constraint Models into Fitness Function for Evolutionary Algorithms: Application to Continuous Placement Problems
2015 · Martinez, Thierry, Fages, François · HAL · 1
Un cadre d'interprétation de la sémantique de FIPA-ACL dans JADE.
2005 · Vincent Louis, Thierry Martinez · JFSMA · 1
Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent.
2003 · Philippe Bretier, Vincent Louis, et al. · Techniques et sciences informatiques · 1
Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES
2016 · David Fournier, Thierry Martinez, et al.
Un solveur d'optmization stochastique pour MiniZinc avec des applications à des problèmes de placements géométriques
2016 · Martinez, Thierry, Fages, François, et al. · HAL
New Results - Influence systems vs reaction systems
2016 · François Fages, Thierry Martinez, et al.
Execution models for Constraint Programming: kernel language design through semantics equivalence.
2015 · Thierry Martinez
New Results - Model Reductions by Subgraph Epimorphisms
2014 · François Fages, Thierry Martinez, et al.
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
2013 · Nabli, Faten, Fages, François, et al. · arXiv (Cornell University)
PDF
New Results - Structural Model Reduction: CLP and SAT Solvers for Computing Subgraph Epimorphisms
2013 · François Fages, Thierry Martinez, et al.
New Results - Railway Time Tabling Optimization with CMA-ES and Greedy Heuristics
2013 · François Fages, David Fournier, et al.
Works count: 29
Citation count: 110
H-index: 6
I10-index: 4
Year
Topic
Type