| 2026 | CPAIOR | Generalised Arc Consistency via the Synchronised Product of Finite Automata with Respect to a Constraint. | Nicolas Beldiceanu |
| 2025 | CPAIOR | Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints. | Jovial Cheukam-Ngouonou, Ramiz Gindullin, Claude-Guy Quimper, Nicolas Beldiceanu, Rmi Douence |
| 2025 | IJCAI | Bimodal Depth-First Search for Scalable GAC for AllDifferent. | Sulian Le Bozec-Chiffoleau, Nicolas Beldiceanu, Charles Prud'homme, Gilles Simonin, Xavier Lorca |
| 2025 | IJCAI | Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning. | Sulian Le Bozec-Chiffoleau, Dimitri Justeau-Allaire, Xavier Lorca, Charles Prud'homme, Gilles Simonin, Philippe Vismara, Philippe Birnbaum, Nicolas Rinck, Nicolas Beldiceanu |
| 2024 | AAAI | Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. | Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rmi Douence, Claude-Guy Quimper |
| 2023 | CPAIOR | Boolean-Arithmetic Equations: Acquisition and Uses. | Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rmi Douence, Claude-Guy Quimper |
| 2022 | CP | Acquiring Maps of Interrelated Conjectures on Sharp Bounds. | Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rmi Douence, Ramiz Gindullin, Claude-Guy Quimper |
| 2020 | CPAIOR | Parameterised Bounds on the Sum of Variables in Time-Series Constraints. | Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis |
| 2017 | CP | Generating Linear Invariants for a Conjunction of Automata Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2017 | CP | among Implied Constraints for Two Families of Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2017 | CPAIOR | Range-Consistent Forbidden Regions of Allen's Relations. | Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey |
| 2017 | ICPADS | Green Energy Aware Scheduling Problem in Virtualized Datacenters. | Gilles Madi-Wamba, Yunbo Li, Anne-Ccile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud |
| 2017 | SBAC-PAD | Cloud Workload Prediction and Generation Models. | Gilles Madi-Wamba, Yunbo Li, Anne-Ccile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud |
| 2016 | CP | Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | CPAIOR | Time-Series Constraints: Improvements and Application in CP and MIP Contexts. | Ekaterina Arafailova, Nicolas Beldiceanu, Rmi Douence, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | CPAIOR | The TaskIntersection Constraint. | Gilles Madi-Wamba, Nicolas Beldiceanu |
| 2014 | AAAI | Propagating Regular Counting Constraints. | Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck |
| 2014 | CP | Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson |
| 2013 | CP | Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. | Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis |
| 2013 | CP | A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. | Jean-Nol Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson |
| 2013 | CPAIOR | A Synchronized Sweep Algorithm for the | Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu |
| 2013 | SoCS | GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. | Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis |
| 2012 | CP | A Model Seeker: Extracting Global Constraint Models from Positive Examples. | Nicolas Beldiceanu, Helmut Simonis |
| 2012 | CP | A Scalable Sweep Algorithm for the cumulative Constraint. | Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
| 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 |
| 2011 | CP | A Constraint Seeker: Finding and Ranking Global Constraints from Examples. | Nicolas Beldiceanu, Helmut Simonis |
| 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 | IJCAI | A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. | Thierry Petit, Nicolas Beldiceanu, Xavier Lorca |
| 2010 | CP | Sweeping with Continuous Domains. | Gilles Chabert, Nicolas Beldiceanu |
| 2010 | CPAIOR | On Matrices, Automata, and Double Counting. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson |
| 2010 | CPAIOR | The Increasing Nvalue Constraint. | Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit |
| 2009 | CPAIOR | Six Ways of Integrating Symmetries within Non-overlapping Constraints. | Magnus gren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stphane Zampelli |
| 2008 | CP | A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. | Mats Carlsson, Nicolas Beldiceanu, Julien Martin |
| 2008 | CPAIOR | New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder |
| 2007 | CP | A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet |
| 2007 | CPAIOR | Necessary Condition for Path Partitioning Constraints. | Nicolas Beldiceanu, Xavier Lorca |
| 2007 | CPAIOR | A Continuous Multi-resources | Nicolas Beldiceanu, Emmanuel Poder |
| 2006 | CP | Graph Properties Based Filtering. | Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit |
| 2006 | CPAIOR | Undirected Forest Constraints. | Nicolas Beldiceanu, Irit Katriel, Xavier Lorca |
| 2005 | CP | Graph Invariants as Necessary Conditions for Global Constraints. | Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet |
| 2005 | CP | Bounds of Graph Characteristics. | Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart |
| 2005 | CPAIOR | The tree Constraint. | Nicolas Beldiceanu, Pierre Flener, Xavier Lorca |
| 2004 | APBC | Dispensation Order Generation for Pyrosequencing. | Mats Carlsson, Nicolas Beldiceanu |
| 2004 | CP | Deriving Filtering Algorithms from Constraint Checkers. | Nicolas Beldiceanu, Mats Carlsson, Thierry Petit |
| 2004 | CPAIOR | Filtering Algorithms for the Same Constraint. | Nicolas Beldiceanu, Irit Katriel, Sven Thiel |
| 2004 | CPAIOR | Cost Evaluation of Soft Global Constraints. | Nicolas Beldiceanu, Thierry Petit |
| 2004 | ESOP | From Constraints to Finite Automata to Filtering Algorithms. | Mats Carlsson, Nicolas Beldiceanu |
| 2004 | ICLP | The period Constraint. | Nicolas Beldiceanu, Emmanuel Poder |
| 2002 | CP | A New Multi-resource cumulatives Constraint with Negative Heights. | Nicolas Beldiceanu, Mats Carlsson |
| 2001 | CP | Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family. | Nicolas Beldiceanu |
| 2001 | CP | Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. | Nicolas Beldiceanu, Mats Carlsson |
| 2001 | CP | Non-overlapping Constraints between Convex Polytopes. | Nicolas Beldiceanu, Qi Guo, Sven Thiel |
| 2001 | ICLP | Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. | Nicolas Beldiceanu, Mats Carlsson |
| 2000 | CP | Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. | Nicolas Beldiceanu |
| 1991 | ICLP | Overview of the CHIP Compiler System. | Abderrahmane Aggoun, Nicolas Beldiceanu |
| 1988 | CONCUR | Deterministic Systems of Sequential Processes: Theory and Tools. | Younes Souissi, Nicolas Beldiceanu |