Deterministic Systems of Sequential Processes: Theory and Tools. - Younes Souissi; Nicolas Beldiceanu (Concurrency, 1988)

Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. - Abderrahmane Aggoun; Nicolas Beldiceanu (SPLT, 1990)

Overview of the CHIP Compiler System. - Abderrahmane Aggoun; Nicolas Beldiceanu (ICLP, 1991)

Extending CHIP in order to solve complex scheduling and placement problems. - Abderrahmane Aggoun; Nicolas Beldiceanu (JFPL, 1992)

Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. - Nicolas Beldiceanu (CP, 2000)

Complex Constraint Abstraction: Global Constraint Visualisation. - Helmut Simonis; Abderrahmane Aggoun; Nicolas Beldiceanu; Eric Bourreau (Analysis and Visualization Tools for Constraint Programming, 2000)

Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family. - Nicolas Beldiceanu (CP, 2001)

Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. - Nicolas Beldiceanu; Mats Carlsson (CP, 2001)

Non-overlapping Constraints between Convex Polytopes. - Nicolas Beldiceanu; Qi Guo; Sven Thiel (CP, 2001)

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. - Nicolas Beldiceanu; Mats Carlsson (ICLP, 2001)

A New Multi-resource cumulatives Constraint with Negative Heights. - Nicolas Beldiceanu; Mats Carlsson (CP, 2002)

Tracing and Explaining Execution of CLP(FD) Programs. - Magnus Ågren 002; Tamás Szeredi; Nicolas Beldiceanu; Mats Carlsson (WLPE, 2002)

Contraintes Globales : Aspects Algorithmiques et Déclaratifs. (Global constraints: algorithmic and declarative aspects). - Nicolas Beldiceanu (2003)

Dispensation Order Generation for Pyrosequencing. - Mats Carlsson; Nicolas Beldiceanu (APBC, 2004)

Deriving Filtering Algorithms from Constraint Checkers. - Nicolas Beldiceanu; Mats Carlsson; Thierry Petit (CP, 2004)

Filtering Algorithms for the Same Constraint. - Nicolas Beldiceanu; Irit Katriel; Sven Thiel (CPAIOR, 2004)

Cost Evaluation of Soft Global Constraints. - Nicolas Beldiceanu; Thierry Petit (CPAIOR, 2004)

GCC-Like Restrictions on the Same Constraint. - Nicolas Beldiceanu; Irit Katriel; Sven Thiel (CSCLP, 2004)

From Constraints to Finite Automata to Filtering Algorithms. - Mats Carlsson; Nicolas Beldiceanu (ESOP, 2004)

The period Constraint. - Nicolas Beldiceanu; Emmanuel Poder (ICLP, 2004)

La contrainte période. - Nicolas Beldiceanu; Emmanuel Poder (JFPLC, 2004)

Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. - Emmanuel Poder; Nicolas Beldiceanu; Eric Sanlaville (Eur. J. Oper. Res., 2004)

Graph Invariants as Necessary Conditions for Global Constraints. - Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon; Charlotte Truchet (CP, 2005)

Bounds of Graph Characteristics. - Nicolas Beldiceanu; Thierry Petit; Guillaume Rochart (CP, 2005)

The tree Constraint. - Nicolas Beldiceanu; Pierre Flener; Xavier Lorca (CPAIOR, 2005)

Reformulation of Global Constraints Based on Constraints Checkers. - Nicolas Beldiceanu; Mats Carlsson; Romuald Debruyne; Thierry Petit (Constraints An Int. J., 2005)

Graph Properties Based Filtering. - Nicolas Beldiceanu; Mats Carlsson; Sophie Demassey; Thierry Petit (CP, 2006)

Sweep synchronization as a global propagation mechanism. - Nicolas Beldiceanu; Mats Carlsson; Sven Thiel (Comput. Oper. Res., 2006)

Bounds of graph parameters for global constraints. - Nicolas Beldiceanu; Thierry Petit; Guillaume Rochart (RAIRO Oper. Res., 2006)

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. - Nicolas Beldiceanu; Mats Carlsson; Emmanuel Poder; R. Sadek; Charlotte Truchet (CP, 2007)

Necessary Condition for Path Partitioning Constraints. - Nicolas Beldiceanu; Xavier Lorca (CPAIOR, 2007)

A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production. - Nicolas Beldiceanu; Emmanuel Poder (CPAIOR, 2007)

Introduction to the Special Issue on Global Constraints. - Nicolas Beldiceanu (Constraints An Int. J., 2007)

Global Constraint Catalogue: Past, Present and Future. - Nicolas Beldiceanu; Mats Carlsson; Sophie Demassey; Thierry Petit (Constraints An Int. J., 2007)

Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production. - Emmanuel Poder; Nicolas Beldiceanu (ICAPS, 2008)

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. - Mats Carlsson; Nicolas Beldiceanu; Julien Martin (CP, 2008)

New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. - Nicolas Beldiceanu; Mats Carlsson; Emmanuel Poder (CPAIOR, 2008)

Combining Tree Partitioning, Precedence, and Incomparability Constraints. - Nicolas Beldiceanu; Pierre Flener; Xavier Lorca (Constraints An Int. J., 2008)

Six Ways of Integrating Symmetries within Non-overlapping Constraints. - Magnus Ågren 002; Nicolas Beldiceanu; Mats Carlsson; Mohamed Sbihi; Charlotte Truchet; Stéphane Zampelli (CPAIOR, 2009)

Undirected forest constraints. - Nicolas Beldiceanu; Irit Katriel; Xavier Lorca (Ann. Oper. Res., 2009)

Sweeping with Continuous Domains. - Gilles Chabert; Nicolas Beldiceanu (CP, 2010)

On Matrices, Automata, and Double Counting. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (CPAIOR, 2010)

The Increasing Nvalue Constraint. - Nicolas Beldiceanu; Fabien Hermenier; Xavier Lorca; Thierry Petit (CPAIOR, 2010)

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. - Abder Aggoun; Nicolas Beldiceanu; Mats Carlsson; François Fages (ERCIM News, 2010)

A Constraint Seeker: Finding and Ranking Global Constraints from Examples. - Nicolas Beldiceanu; Helmut Simonis (CP, 2011)

Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. - Alexis De Clercq; Thierry Petit; Nicolas Beldiceanu; Narendra Jussien (CP, 2011)

A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. - Thierry Petit; Jean-Charles Régin; Nicolas Beldiceanu (CP, 2011)

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. - Thierry Petit; Nicolas Beldiceanu; Xavier Lorca (IJCAI, 2011)

New filtering for the cumulative constraint in the context of non-overlapping rectangles. - Nicolas Beldiceanu; Mats Carlsson; Sophie Demassey; Emmanuel Poder (Ann. Oper. Res., 2011)

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction - Thierry Petit; Nicolas Beldiceanu; Xavier Lorca (CoRR, 2011)

A Model Seeker: Extracting Global Constraint Models from Positive Examples. - Nicolas Beldiceanu; Helmut Simonis (CP, 2012)

A Scalable Sweep Algorithm for the cumulative Constraint. - Arnaud Letort; Nicolas Beldiceanu; Mats Carlsson (CP, 2012)

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 Régin (ECAI, 2012)

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. - Nicolas Beldiceanu; Georgiana Ifrim; Arnaud Lenoir; Helmut Simonis (CP, 2013)

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. - Jean-Noël Monette; Nicolas Beldiceanu; Pierre Flener; Justin Pearson (CP, 2013)

A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. - Arnaud Letort; Mats Carlsson; Nicolas Beldiceanu (CPAIOR, 2013)

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. - Naina Razakarison; Mats Carlsson; Nicolas Beldiceanu; Helmut Simonis (SOCS, 2013)

On the reification of global constraints. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (Constraints An Int. J., 2013)

On matrices, automata, and double counting in constraint programming. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (Constraints An Int. J., 2013)

Propagating Regular Counting Constraints. - Nicolas Beldiceanu; Pierre Flener; Justin Pearson; Pascal Van Hentenryck (AAAI, 2014)

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson (CP, 2014)

Toward sustainable development in constraint programming. - Nicolas Beldiceanu; Pierre Flener; Jean-Noël Monette; Justin Pearson; Helmut Simonis (Constraints An Int. J., 2014)

A Modelling Pearl with Sortedness Constraints. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Xavier Lorca; Justin Pearson; Thierry Petit; Charles Prud'homme (GCAI, 2015)

The EPOC Project - Energy Proportional and Opportunistic Computing System. - Nicolas Beldiceanu; Barbara Dumas Feris; Philippe Gravey; Md Sabbir Hasan; Claude Jard; Thomas Ledoux; Yunbo Li; Didier Lime; Gilles Madi-Wamba; Jean-Marc Menaud; Pascal Morel; Michel Morvan; et al. (SMARTGREENS, 2015)

Synchronized sweep algorithms for scalable scheduling constraints. - Arnaud Letort; Mats Carlsson; Nicolas Beldiceanu (Constraints An Int. J., 2015)

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CP, 2016)

Time-Series Constraints: Improvements and Application in CP and MIP Contexts. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CPAIOR, 2016)

The TaskIntersection Constraint. - Gilles Madi-Wamba; Nicolas Beldiceanu (CPAIOR, 2016)

A parametric propagator for pairs of Sum constraints with a discrete convexity property. - Jean-Noël Monette; Nicolas Beldiceanu; Pierre Flener; Justin Pearson (Artif. Intell., 2016)

Using finite transducers for describing and synthesising structural time-series constraints. - Nicolas Beldiceanu; Mats Carlsson; Rémi Douence; Helmut Simonis (Constraints An Int. J., 2016)

Global Constraint Catalog, Volume II, Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CoRR, 2016)

Packing with Complex Shapes - Abderrahmane Aggoun; Nicolas Beldiceanu; Gilles Chabert; François Fages (ERCIM News, 2016)

ModelSeeker: Extracting Global Constraint Models from Positive Examples. - Nicolas Beldiceanu; Helmut Simonis (Data Mining and Constraint Programming, 2016)

Generating Linear Invariants for a Conjunction of Automata Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CP, 2017)

among Implied Constraints for Two Families of Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CP, 2017)

Range-Consistent Forbidden Regions of Allen's Relations. - Nicolas Beldiceanu; Mats Carlsson; Alban Derrien; Charles Prud'homme; Andreas Schutt; Peter J. Stuckey (CPAIOR, 2017)

Green Energy Aware Scheduling Problem in Virtualized Datacenters. - Gilles Madi-Wamba; Yunbo Li; Anne-Cécile Orgerie; Nicolas Beldiceanu; Jean-Marc Menaud (ICPADS, 2017)

Cloud Workload Prediction and Generation Models. - Gilles Madi-Wamba; Yunbo Li; Anne-Cécile Orgerie; Nicolas Beldiceanu; Jean-Marc Menaud (SBAC-PAD, 2017)

Towards energy-proportional clouds partially powered by renewable energy. - Nicolas Beldiceanu; Barbara Dumas Feris; Philippe Gravey; Md Sabbir Hasan; Claude Jard; Thomas Ledoux; Yunbo Li; Didier Lime; Gilles Madi-Wamba; Jean-Marc Menaud; Pascal Morel; Michel Morvan; et al. (Computing, 2017)

Deriving generic bounds for time-series constraints based on regular expressions characteristics. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (Constraints An Int. J., 2018)

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CoRR, 2019)

Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. - Nicolas Beldiceanu; Mats Carlsson; Claude-Guy Quimper; Maria-Isabel Restrepo-Ruiz (CoRR, 2019)

Parameterised Bounds on the Sum of Variables in Time-Series Constraints. - Nicolas Beldiceanu; Maria-Isabel Restrepo-Ruiz; Helmut Simonis (CPAIOR, 2020)

Invariants for time-series constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (Constraints An Int. J., 2020)

Acquiring Maps of Interrelated Conjectures on Sharp Bounds. - Nicolas Beldiceanu; Jovial Cheukam-Ngouonou; Rémi Douence; Ramiz Gindullin; Claude-Guy Quimper (CP, 2022)

De l'influence de Jacques Pitrat sur mes recherches en programmation par contraintes. - Nicolas Beldiceanu (Rev. Ouverte Intell. Artif., 2022)

Boolean-Arithmetic Equations: Acquisition and Uses. - Ramiz Gindullin; Nicolas Beldiceanu; Jovial Cheukam-Ngouonou; Rémi Douence; Claude-Guy Quimper (CPAIOR, 2023)

Proving Conjectures Acquired by Composing Multiple Biases. - Jovial Cheukam-Ngouonou; Ramiz Gindullin; Nicolas Beldiceanu; Rémi Douence; Claude-Guy Quimper (CoRR, 2023)

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. - Ramiz Gindullin; Nicolas Beldiceanu; Jovial Cheukam-Ngouonou; Rémi Douence; Claude-Guy Quimper (AAAI, 2024)

Fouille Interactive de Motifs à Haute Utilité. - Arnold Hien; Samir Loudni; Maxime Garfagni; Albrecht Zimmermann; Nicolas Beldiceanu (EGC, 2024)

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; Rémi Douence (CPAIOR (2), 2025)