| 2026 | ICCS | Graph-Based Modeling of Alignment Relations and Pattern Detection. | Rita-Nathalia Assaf, Frdric Lardeux, Frdric Saubion |
| 2024 | ICAART | Classifying Words with 3-sort Automata. | Tomasz Jastrzab, Frdric Lardeux, ric Monfroy |
| 2024 | SAC | Classifying Words with 3-sort Automata. | Tomasz Jastrzab, Frdric Lardeux, ric Monfroy |
| 2023 | ICCS | Inference of Over-Constrained NFA of Size k+1 to Efficiently and Systematically Derive NFA of Size k for Grammar Learning. | Tomasz Jastrzab, Frdric Lardeux, ric Monfroy |
| 2023 | ICTAI | A Two-stage Approach for Tables Extraction in Invoices. | Thomas Saout, Frdric Lardeux, Frdric Saubion |
| 2022 | ICTAI | Taking Advantage of a Very Simple Property to Efficiently Infer NFAs. | Tomasz Jastrzab, Frdric Lardeux, ric Monfroy |
| 2021 | ICTAI | Optimized models and symmetry breaking for the NFA inference problem. | Frdric Lardeux, ric Monfroy |
| 2020 | ICTAI | Abacus: A New Hybrid Encoding for SAT Problems. | Claudia Vasconcellos-Gaete, Vincent Barichard, Frdric Lardeux |
| 2019 | ICPRAM | Accelerated Algorithm for Computation of All Prime Patterns in Logical Analysis of Data. | Arthur Chambon, Frdric Lardeux, Frdric Saubion, Tristan Boureau |
| 2019 | ICPRAM | Attributes for Understanding Groups of Binary Data. | Arthur Chambon, Frdric Lardeux, Frdric Saubion, Tristan Boureau |
| 2018 | PPSN | Comparative Study of Different Memetic Algorithm Configurations for the Cyclic Bandwidth Sum Problem. | Eduardo Rodriguez-Tello, Valentina Narvaez-Teran, Frdric Lardeux |
| 2016 | ICTAI | Model and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains. | Pierre Desport, Frdric Lardeux, David Lesaint, Anne Liret, Carla Di Cairano-Gilfedder, Gilbert Owusu |
| 2016 | ICTAI | From Set Constraint Models to SAT Instances. | Frdric Lardeux, ric Monfroy |
| 2016 | ICTAI | From Set Constraint Models to SAT Instances. | Frdric Lardeux, ric Monfroy |
| 2015 | ICCS | Expressively Modeling the Social Golfer Problem in SAT. | Frdric Lardeux, ric Monfroy |
| 2015 | ICTAI | Characterization of Multiple Groups of Data. | Arthur Chambon, Tristan Boureau, Frdric Lardeux, Frdric Saubion, Marion Le Saux |
| 2014 | AISC | From Declarative Set Constraint Models to "Good" SAT Instances. | Frdric Lardeux, ric Monfroy |
| 2014 | SoCS | On the Attainability of NK Landscapes Global Optima. | Matthieu Basseur, Adrien Goffon, Frdric Lardeux, Frdric Saubion, Vincent Vigneron |
| 2013 | GECCO | Non stationary operator selection with island models. | Caner Candan, Adrien Goffon, Frdric Lardeux, Frdric Saubion |
| 2012 | GECCO | A dynamic island model for adaptive operator selection. | Caner Candan, Adrien Goffon, Frdric Lardeux, Frdric Saubion |
| 2012 | SAC | Minimum multiple characterization of biological data using partially defined boolean formulas. | Fabien Chhel, Frdric Lardeux, Adrien Goffon, Frdric Saubion |
| 2011 | ICTAI | Optimal One-Max Strategy with Dynamic Island Models. | Adrien Goffon, Frdric Lardeux |
| 2011 | SAC | The bacterial strains characterization problem. | Fabien Chhel, Adrien Goffon, Antoine Lafosse, Frdric Lardeux, Frdric Saubion, Gilles Hunault, Tristan Boureau |
| 2008 | AIMSA | Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. | Frdric Lardeux, ric Monfroy, Frdric Saubion |
| 2005 | IJCAI | Three Truth Values for the SAT and MAX-SAT Problems. | Frdric Lardeux, Frdric Saubion, Jin-Kao Hao |