| 2026 | CPAIOR | Exact Synthetic Populations for Scalable Societal and Market Modeling. | Thierry Petit, Arnault Pachot |
| 2017 | ICTAI | On Constraint Linear Decompositions Using Mathematical Variables. | Thierry Petit |
| 2016 | IJCAI | Optimizing Molecular Cloning of Multiple Plasmids. | Thierry Petit, Lolita Petit |
| 2015 | CP | A Global Constraint for a Tractable Class of Temporal Optimization Problems. | Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme |
| 2015 | IJCAI | Finding Diverse Solutions of High Quality to Constraint Optimization Problems. | Thierry Petit, Andrew C. Trapp |
| 2014 | CP | A New Characterization of Relevant Intervals for Energetic Reasoning. | Alban Derrien, Thierry Petit |
| 2014 | CP | A Declarative Paradigm for Robust Cumulative Scheduling. | Alban Derrien, Thierry Petit, Stphane Zampelli |
| 2014 | ECAI | Self-decomposable Global Constraints. | Jean-Guillaume Fages, Xavier Lorca, Thierry Petit |
| 2013 | IJCAI | Three Generalizations of the FOCUS Constraint. | Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh |
| 2012 | CP | Focus : A Constraint for Concentrating High Costs. | Thierry Petit |
| 2012 | ECAI | An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. | Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Rgin |
| 2012 | ECAI | Intermediary Local Consistencies. | Thierry Petit |
| 2011 | CP | Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. | Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien |
| 2011 | CP | A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. | Thierry Petit, Jean-Charles Rgin, Nicolas Beldiceanu |
| 2011 | CPAIOR | The Objective Sum Constraint. | Jean-Charles Rgin, Thierry Petit |
| 2011 | IJCAI | A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. | Thierry Petit, Nicolas Beldiceanu, Xavier Lorca |
| 2010 | CPAIOR | The Increasing Nvalue Constraint. | Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit |
| 2010 | ICTAI | The Ordered Distribute Constraint. | Thierry Petit, Jean-Charles Rgin |
| 2009 | IJCAI | Making Bound Consistency as Effective as Arc Consistency. | Christian Bessiere, Thierry Petit, Bruno Zanuttini |
| 2008 | CPAIOR | Global Propagation of Practicability Constraints. | Thierry Petit, Emmanuel Poder |
| 2007 | IJCAI | Learning Implied Global Constraints. | Christian Bessiere, Remi Coletta, Thierry Petit |
| 2006 | CP | Graph Properties Based Filtering. | Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit |
| 2005 | CP | Bounds of Graph Characteristics. | Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart |
| 2005 | CP | Acquiring Parameters of Implied Global Constraints. | Christian Bessiere, Remi Coletta, Thierry Petit |
| 2004 | CP | Deriving Filtering Algorithms from Constraint Checkers. | Nicolas Beldiceanu, Mats Carlsson, Thierry Petit |
| 2004 | CPAIOR | Cost Evaluation of Soft Global Constraints. | Nicolas Beldiceanu, Thierry Petit |
| 2002 | CP | Range-Based Algorithm for Max-CSP. | Thierry Petit, Jean-Charles Rgin, Christian Bessire |
| 2001 | CP | Specific Filtering Algorithms for Over-Constrained Problems. | Thierry Petit, Jean-Charles Rgin, Christian Bessire |
| 2001 | CP | New Lower Bounds of Constraint Violations for Over-Constrained Problems. | Jean-Charles Rgin, Thierry Petit, Christian Bessire, Jean-Francois Puget |
| 2000 | CP | An Original Constraint Based Approach for Solving over Constrained Problems. | Jean-Charles Rgin, Thierry Petit, Christian Bessire, Jean-Francois Puget |
| 2000 | ICTAI | Meta-constraints on violations for over constrained problems. | Thierry Petit, Jean-Charles Rgin, Christian Bessire |