| 2025 | PAKDD | Sampling Frequent and Diverse Patterns Through Compression. | Franois Camelin, Samir Loudni, Gilles Pesant, Charlotte Truchet |
| 2025 | SAC | Sampling Frequent and Diversified Patterns Through Compression. | Franois Camelin, Samir Loudni, Gilles Pesant, Charlotte Truchet |
| 2021 | CP | Solution Sampling with Random Table Constraints. | Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme |
| 2019 | CP | Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. | Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet |
| 2019 | FM | Combination of Boxes and Polyhedra Abstractions for Constraint Solving. | Ghiles Ziat, Alexandre Marchal, Marie Pelleau, Antoine Min, Charlotte Truchet |
| 2019 | ICTAI | Combining Constraint Languages via Abstract Interpretation. | Pierre Talbot, David Cachera, ric Monfroy, Charlotte Truchet |
| 2018 | CP | Finding Solutions by Finding Inconsistencies. | Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Min |
| 2016 | ICTAI | Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. | Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan |
| 2015 | ICTAI | Verifying a Real-Time Language with Constraints. | Anicet Bart, Charlotte Truchet, ric Monfroy |
| 2014 | CPAIOR | Interactive Design of Sustainable Cities with a Distributed Local Search Solver. | Bruno Belin, Marc Christie, Charlotte Truchet |
| 2013 | ICPP | Prediction of Parallel Speed-Ups for Las Vegas Algorithms. | Charlotte Truchet, Florian Richoux, Philippe Codognet |
| 2013 | VMCAI | A Constraint Solver Based on Abstract Domains. | Marie Pelleau, Antoine Min, Charlotte Truchet, Frdric Benhamou |
| 2011 | CP | Octagonal Domains for Continuous Constraints. | Marie Pelleau, Charlotte Truchet, Frdric Benhamou |
| 2010 | SYNASC | Abstract Domains for Constraint Programming, with the Example of Octagons. | Charlotte Truchet, Marie Pelleau, Frdric Benhamou |
| 2009 | CPAIOR | Six Ways of Integrating Symmetries within Non-overlapping Constraints. | Magnus gren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stphane Zampelli |
| 2008 | CPAIOR | A Tabu Search Method for Interval Constraints. | Charlotte Truchet, Marc Christie, Jean-Marie Normand |
| 2007 | CP | A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet |
| 2005 | CP | Graph Invariants as Necessary Conditions for Global Constraints. | Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet |