| 2026 | ICCS | From Table Constraints to QUBO Models for Quantum Annealing. | Philippe Codognet, ric Monfroy |
| 2025 | ICCS | Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing. | Philippe Codognet, ric Monfroy |
| 2025 | ICCS | Exact and Approximate Methods for Solving the Edge-Strength Problem. | Eduardo Rodriguez-Tello, ric Monfroy, Claudia Vasconcellos-Gaete |
| 2024 | ICAART | Classifying Words with 3-sort Automata. | Tomasz Jastrzab, Frdric Lardeux, ric Monfroy |
| 2024 | ICCS | Best of Both Worlds: Solving the Cyclic Bandwidth Problem by Combining Pre-existing Knowledge and Constraint Programming Techniques. | Guillaume Fertin, ric Monfroy, Claudia Vasconcellos-Gaete |
| 2024 | ICTAI | Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations. | Bryan Garreau, Martn Diguez Lodeiro, ric Monfroy, Igor Stphan |
| 2024 | ICTAI | Lazy ad hoc Explanations for the Sum Constraint. | Suruthy Sekar, Gal Glorian, Wijnand Suijlen, ric Monfroy, Arnaud Lallouet |
| 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 |
| 2022 | ICTAI | Taking Advantage of a Very Simple Property to Efficiently Infer NFAs. | Tomasz Jastrzab, Frdric Lardeux, ric Monfroy |
| 2021 | ICCS | Improved Lower Bounds for the Cyclic Bandwidth Problem. | Hugues Dprs, Guillaume Fertin, ric Monfroy |
| 2021 | ICTAI | Optimized models and symmetry breaking for the NFA inference problem. | Frdric Lardeux, ric Monfroy |
| 2019 | ICTAI | Combining Constraint Languages via Abstract Interpretation. | Pierre Talbot, David Cachera, ric Monfroy, Charlotte Truchet |
| 2016 | EUROGP | Towards Automated Strategies in Satisfiability Modulo Theory. | Nicols Glvez Ramrez, Youssef Hamadi, ric Monfroy, Frdric Saubion |
| 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 |
| 2016 | ICTAI | Evolving SMT Strategies. | Nicols Glvez Ramrez, Youssef Hamadi, ric Monfroy, Frdric Saubion |
| 2015 | HCI | Towards a Framework for Adaptive Constraint Propagation. | Broderick Crawford, Ricardo Soto, Franklin Johnson, ric Monfroy, Enrique Norero, Eduardo Olgun |
| 2015 | ICCS | Expressively Modeling the Social Golfer Problem in SAT. | Frdric Lardeux, ric Monfroy |
| 2015 | ICTAI | Verifying a Real-Time Language with Constraints. | Anicet Bart, Charlotte Truchet, ric Monfroy |
| 2014 | AISC | From Declarative Set Constraint Models to "Good" SAT Instances. | Frdric Lardeux, ric Monfroy |
| 2014 | HCI | Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers. | Broderick Crawford, Ricardo Soto, ric Monfroy, Franklin Johnson |
| 2014 | HCI | Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers. | Broderick Crawford, Ricardo Soto, Rodrigo Olivares, Rodrigo Herrera, ric Monfroy, Fernando Paredes |
| 2014 | HCI | Modeling Manufacturing Cell Design Problems: CP vs. MH. | Broderick Crawford, Ricardo Soto, Gustavo Zuiga, ric Monfroy, Fernando Paredes |
| 2014 | HCI | Easy Modeling of Open Pit Mining Problems via Constraint Programming. | Broderick Crawford, Ricardo Soto, Carolina Zec, ric Monfroy, Fernando Paredes |
| 2013 | HCI | Adaptive and Multilevel Approach for Constraint Solving. | Claudio Len de la Barra, Broderick Crawford, Ricardo Soto, ric Monfroy |
| 2013 | HCI | Modeling the Portfolio Selection Problem with Constraint Programming. | Claudio Len de la Barra, Ricardo Soto, Broderick Crawford, Camila Allendes, Hans Berendsen, ric Monfroy |
| 2013 | HCI | The Role of Knowledge Management in Agile Software Development. | Broderick Crawford, Claudio Len de la Barra, Ricardo Soto, Mario Dorochesi, ric Monfroy |
| 2013 | HCI | Ants Can Schedule Software Projects. | Broderick Crawford, Ricardo Soto, Franklin Johnson, ric Monfroy |
| 2013 | HCI | A GUI for Modeling Regular Constraints. | Ricardo Soto, Broderick Crawford, Diego Riquelme, ric Monfroy |
| 2013 | ICCSA | Agile Software Development: It Is about Knowledge Management and Creativity. | Claudio Len de la Barra, Broderick Crawford, Ricardo Soto, Sanjay Misra, ric Monfroy |
| 2013 | ICCSA | Automatic Triggering of Constraint Propagation. | ric Monfroy, Broderick Crawford, Ricardo Soto |
| 2013 | IWINAC | Robust Solutions for a Robotic Manipulator Optimization Problem. | Ricardo Soto, Stphane Caro, Broderick Crawford, ric Monfroy |
| 2012 | IC3K | Knowledge Management and Creativity Practices in Software Engineering. | Broderick Crawford, Claudio Len de la Barra, Ricardo Soto, Sanjay Misra, ric Monfroy |
| 2012 | ICCSA | Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming. | Ricardo Soto, Broderick Crawford, ric Monfroy, Vctor Bustos |
| 2012 | ICSE | Agile software engineering as creative work. | Broderick Crawford, Claudio Len de la Barra, Ricardo Soto, ric Monfroy |
| 2011 | HCI | Extensible CP-Based Autonomous Search. | Broderick Crawford, Ricardo Soto, Carlos Castro, ric Monfroy |
| 2011 | HCI | Constraint-Based Nurse Rostering for the Valparaso Clinic Center in Chile. | Renzo Pizarro, Gianni Rivera, Ricardo Soto, Broderick Crawford, Carlos Castro, ric Monfroy |
| 2011 | IWINAC | A Hyperheuristic Approach for Dynamic Enumeration Strategy Selection in Constraint Satisfaction. | Broderick Crawford, Ricardo Soto, Carlos Castro, ric Monfroy |
| 2011 | SAC | Adaptive hybridization strategies. | ric Monfroy, Carlos Castro, Broderick Crawford, Christian Figueroa |
| 2008 | AIMSA | Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. | Frdric Lardeux, ric Monfroy, Frdric Saubion |
| 2008 | ICSoft | Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems. | Broderick Crawford, Carlos Castro, ric Monfroy |
| 2007 | HCI | A Quantitative Approach for the Design of Academic Curricula. | Carlos Castro, Broderick Crawford, ric Monfroy |
| 2007 | HCI | Knowledge Management in the Development of Optimization Algorithms. | Broderick Crawford, Carlos Castro, ric Monfroy |
| 2007 | IWINAC | Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming. | Broderick Crawford, Carlos Castro, ric Monfroy |
| 2006 | AIMSA | A Constructive Hybrid Algorithm for Crew Pairing Optimization. | Broderick Crawford, Carlos Castro, ric Monfroy |
| 2006 | AIMSA | Using Local Search for Guiding Enumeration in Constraint Solving. | ric Monfroy, Carlos Castro, Broderick Crawford |
| 2006 | ICAISC | Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation. | Tony Lambert, Carlos Castro, ric Monfroy, Frdric Saubion |
| 2006 | ICCS | A Generic Framework for Local Search: Application to the Sudoku Problem. | Tony Lambert, ric Monfroy, Frdric Saubion |
| 2006 | SAC | Special track editorial: constraint solving and programming. | Stefano Bistarelli, ric Monfroy, Barry O'Sullivan |
| 2005 | ICLP | Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. | Tony Lambert, Carlos Castro, ric Monfroy, Mara Cristina Riff, Frdric Saubion |
| 2005 | SAC | Editorial: special track on constraint solving and programming. | Stefano Bistarelli, ric Monfroy, Barry O'Sullivan |
| 2005 | SAC | Solving strategies using a hybridization model for local search and constraint propagation. | Tony Lambert, ric Monfroy, Frdric Saubion |
| 2004 | AIMSA | Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems. | Carlos Castro, ric Monfroy |
| 2004 | ICLP | On Hybridization of Local Search and Constraint Propagation. | ric Monfroy, Frdric Saubion, Tony Lambert |
| 2003 | ICLP | Implementing Constraint Propagation by Composition of Reductions. | Laurent Granvilliers, ric Monfroy |
| 2003 | SAC | Basic Components for Constraint Solver Cooperations. | ric Monfroy, Carlos Castro |
| 2002 | CP | Beyond NP: Arc-Consistency for Quantified Constraints. | Lucas Bordeaux, ric Monfroy |
| 2002 | ICTAI | Automatic Analysis of Composite Solvers. | Evgueni Petrov, ric Monfroy |
| 2001 | CP | Composition Operators for Constraint Propagation: An Application to Choco. | Laurent Granvilliers, ric Monfroy |
| 2001 | IJCAI | Improved bounds on the complexity of kB-consistency. | Lucas Bordeaux, ric Monfroy, Frdric Benhamou |
| 2001 | ISSAC | Symbolic-interval cooperation in constraint programming. | Laurent Granvilliers, ric Monfroy, Frdric Benhamou |
| 2000 | AISC | Basic Operators for Solving Constraints via Collaboration of Solvers. | Carlos Castro, ric Monfroy |
| 2000 | Coordination | Distributed Splitting of Constraint Satisfaction Problems. | Farhad Arbab, ric Monfroy |
| 2000 | CP | Constraint Propagation: Between Abstract Models and ad hoc Strategies. | Laurent Granvilliers, ric Monfroy |
| 2000 | SAC | A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. | ric Monfroy |
| 1999 | CP | Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. | Krzysztof R. Apt, ric Monfroy |
| 1999 | SAC | Using "Weaker" Functions for Constraint Propagation Over Real Numbers. | ric Monfroy |
| 1999 | SAC | Chaotic Iteration for Distributed Constraint Propagation. | ric Monfroy, Jean-Hugues Rty |
| 1998 | AISC | SoleX: A Domain-Independent Scheme for Constraint Solver Extension. | ric Monfroy, Christophe Ringeissen |
| 1998 | ICLP | A Solver Collaboration in BALI. | ric Monfroy |
| 1998 | SAC | Using coordination for cooperative constraint solving. | Farhad Arbab, ric Monfroy |
| 1996 | SAC | Implementing non-linear constraints with cooperative solvers. | ric Monfroy, Michal Rusinowitch, Ren Schott |
| 1992 | AISC | Grbner Bases: Strategies and Applications. | ric Monfroy |