Auteur: Nicolas Beldiceanu

voir aussi : publications sur HAL

2013

• A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint (2013).
  Arnaud Letort Mats Carlsson Nicolas Beldiceanu Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference (CPAIOR'13), Yorktown Heights, NY, USA. Lecture Notes in Computer Science 7874: 144-159.
• GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials (2013).
  Naina Razakarison Nicolas Beldiceanu Mats Carlsson Helmut Simonis The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Leavenworth, WA, USA.
• A Parametric Propagator for Discretely Convex Pairs of Sum Constraints (2013).
  Jean-No\?el Monette Nicolas Beldiceanu Pierre Flener Justin Pearson 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Uppsala, Sweden. Lecture Notes in Computer Science
• Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker (2013).
  Nicolas Beldiceanu Helmut Simonis 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Uppsala, Sweden. Lecture Notes in Computer Science

2012

• A Scalable Sweep Algorithm for the cumulative Constraint (2012).
  Arnaud Letort Nicolas Beldiceanu Mats Carlsson 8th International Conference on Principles and Practice of Constraint Programming (CP'12), Quebec City, Canada. Lecture Notes in Computer Science
• An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization (2012).
  Nicolas Beldiceanu Mats Carlsson Thierry Petit Jean-Charles Regin European Conference on Artificial Intelligence (ECAI'12), Montpellier, France.

2011

• Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource (2011).
  Alexis De Clercq Thierry Petit Nicolas Beldiceanu Narendra Jussien 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint (2011).
  Thierry Petit Jean-Charles Régin Nicolas Beldiceanu 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• A Constraint Seeker: Finding and Ranking Global Constraints from Examples (2011).
  Nicolas Beldiceanu Helmut Simonis 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints (2011). [paper]
  Thierry Petit Nicolas Beldiceanu Xavier Lorca 22th International Joint Conference on Artificial Intelligence (IJCAI'11),
• A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction (2011). [paper]
  Thierry Petit Nicolas Beldiceanu Xavier Lorca CoRR abs/1110.4719
• Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource (2011).
  Alexis De Clercq Thierry Petit Nicolas Beldiceanu Narendra Jussien 7èmes Journées Francophones de Programmation par Contraintes (JFPC'11),

2010

• New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2010). [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Emmanuel Poder Annals of Operations Research 184(1): 27-50.
• Sweeping with Continous Domains (2010). [slides]
  Gilles Chabert Nicolas Beldiceanu 16th International Conference on Principles and Practice of Constraint Programming (CP'10), St Andrews, Scotland. Lecture Notes in Computer Science 6308: 137--151.
• The increasing-nvalue Constraint (2010). [paper] [slides]
  Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 25--39.
• On Matrices, Automata and Double Counting (2010). [slides]
  Nicolas Beldiceanu Mats Carlsson Pierre Flener Justin Pearson 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Bologna, Italy. Lecture Notes in Computer Science 6140: 10--24.
• La contrainte increasing-nvalue (2010). [hal] [paper]
  Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 6èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 71-81.
• Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems (2010). [url]
  Abder Aggoun Nicolas Beldiceanu Mats Carlsson Fran\ccois Fages ERCIM News 2010(81)
• Global Constraint Catalog, 2nd Edition (2010). [url]
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Technical report T2010-07, Swedish Institute of Computer Science.
• A GAC Algorithm for a Class of Global Counting Constraints (2010). [paper]
  Nicolas Beldiceanu Xavier Lorca Thierry Petit Technical report 10-01-INFO, École des Mines de Nantes.

2009

• Undirected Forest Constraints (2009). [hal] [doi]
  Nicolas Beldiceanu Irit Katriel Xavier Lorca Annals of Operations Research 171(1): 127--147.
• Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [hal] [doi] [slides]
  Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 11--25.
• Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes (2009). [paper]
  Mats Carlsson Nicolas Beldiceanu Julien Martin Technical report T2009-02, Swedish Institute of Computer Science.
• Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [paper]
  Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli Technical report T2009-01, Swedish Institute of Computer Science.

2008

• Combining tree Partitioning, Precedence, and Incomparability Constraints (2008). [hal] [doi] [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca Constraints 13(4): 459--489.
• A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [hal] [doi] [paper] [slides]
  Mats Carlsson Nicolas Beldiceanu Julien Martin 14th International Conference on Principles and Practice of Constraint Programming (CP'08), Sidney, Australia. Lecture Notes in Computer Science 5202: 220--234.
• New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2008). [hal] [paper] [slides]
  Nicolas Beldiceanu Mats Carlsson Emmanuel Poder 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), Paris, France. Lecture Notes in Computer Science 5015: 21--35.
• Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production (2008). [hal] [paper] [slides]
  Emmanuel Poder Nicolas Beldiceanu International Conference on Automated Planning and Scheduling (ICAPS'08), Sidney, Australia.
• A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [paper]
  Nicolas Beldiceanu Mats Carlsson Julien Martin Technical report T2008-04, Swedish Institute of Computer Science.
• Programmation par Contraintes (2008). [hal] [url]
  Nicolas Beldiceanu École jeunes chercheurs en programmation.

2007

• Global Constraint Catalog: Past, Present and Future (2007). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit Constraints 12(1): 21-62.
• Special Issue on Global Constraints (2007). [hal] [doi]
  Nicolas Beldiceanu (ed.), Constraints 12 Springer,
• A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Mats Carlsson Emmanuel Poder Rida Sadek Charlotte Truchet 13th International on Principles and Practice of Constraint Programming (CP'07), Brown, USA. Lecture Notes in Computer Science 4741: 180--194.
• A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Emmanuel Poder 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 214--228.
• Necessary Condition for Path Partitioning Constraints (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Xavier Lorca 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 141-154.
• Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins (2007). [hal] [url]
  Nicolas Beldiceanu Xavier Lorca 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France. pp. 297--305.
• Une contrainte cumulative continue multi-ressources avec des consommations-productions en ressources positives-négatives (2007). [hal]
  Nicolas Beldiceanu Emmanuel Poder 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France.
• A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [paper]
  Nicolas Beldiceanu Emmanuel Poder Rida Sadek Mats Carlsson Charlotte Truchet Technical report T2007-08, Swedish Institute of Computer Science.

2006

• Sweep synchronisation as a global propagation mechanism (2006). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sven Thiel Computers and Operations Research 33(10): 2835--2851.
• Bounds of parameters for global constraints (2006). [hal] [doi]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart RAIRO Operations Research 40(4): 327--353.
• Graph-Based Filtering (2006). [hal] [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit 12th International Conference on Principles and Practice of Constraint Programming (CP'06), Nantes, France. Lecture Notes in Computer Science 4204: 59-74.
• Undirected Forest Constraints (2006). [hal] [paper]
  Nicolas Beldiceanu Irit Katriel Xavier Lorca 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), Cork, Ireland. Lecture Notes in Computer Science 3990: 29-43.
• Filtrage basé sur des propriétés de graphes (2006). [hal]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France.
• Contraintes de Partitionnement par des Arbres (2006). [hal] [paper]
  Nicolas Beldiceanu Irit Katriel Xavier Lorca 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 43-53.
• Partitionnement de graphes par des arbres sous contraintes de degré (2006). [hal] [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 35-43.
• Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems (2006). [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca Technical report 2006-020, Department of Information Technology, Uppsala University, Sweden.
• Graph-Properties Based Filtering (2006). [paper]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Thierry Petit Technical report T2006-10, Swedish Institute of Computer Science.
• Global Constraints: Introduction and Graph-Based Representation (2006). [hal] [slides]
  Nicolas Beldiceanu Second International Summer School of the Association for Constraint Programming.

2005

• Reformulation of Global Constraints Based on Constraint Checkers (2005). [doi]
  Nicolas Beldiceanu Mats Carlsson Romuald Debruyne Thierry Petit Constraints 10(4): 339--362.
• Filtering Algorithms for the Same and UsedBy Constraints (2005).
  Nicolas Beldiceanu Irit Katriel Sven Thiel Archives of Control Sciences Special issue on Constraint Programming for Decision and Control
• Graph Invariants as Necessary Conditions for Global Constraints (2005).
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 92-106.
• Bounds of Graph Properties (2005). [hal]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 742-746.
• The Tree Constraint (2005). [hal] [paper]
  Nicolas Beldiceanu Pierre Flener Xavier Lorca 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'05), Prague, Czech Republic. Lecture Notes in Computer Science 3524: 64-78.
• gcc-like Restrictions on the Same Constraint (2005).
  Nicolas Beldiceanu Irit Katriel Sven Thiel Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'04), Lecture Notes in Computer Science 3419: 1-11.
• Bornes de Caractéristiques de Graphes (2005). [hal]
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, France.
• Global Constraint Catalog (2005). [paper]
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Technical report T2005-08, Swedish Institute of Computer Science.
• Graph Invariants as Necessary Conditions for Global Constraints (2005). [paper]
  Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet Technical report T2005-07, Swedish Institute of Computer Science.
• Bounds of Graph Properties (2005).
  Nicolas Beldiceanu Thierry Petit Guillaume Rochart Technical report 05-02-INFO, École des Mines de Nantes.
• Graph-Based Filtering (2005). [slides]
  Nicolas Beldiceanu Applied Mathematics Seminar, Budapest University of Technology.

2004

• Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption (2004). [hal]
  Emmanuel Poder Nicolas Beldiceanu Éric Sanlaville European Journal of Operational Research 153: 239-254.
• Deriving Filtering Algorithms from Constraint Checkers (2004). [slides]
  Nicolas Beldiceanu Mats Carlsson Thierry Petit 10th International Conference on Principles and Practice of Constraint Programming (CP'04), Lecture Notes in Computer Science 3258: 107-122.
• Cost Evaluation of Soft Global Constraints (2004).
  Nicolas Beldiceanu Thierry Petit 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 80-95.
• Filtering Algorithms for the Same (2004).
  Nicolas Beldiceanu Irit Katriel Sven Thiel 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'04), Nice, France. Lecture Notes in Computer Science 3011: 65-79.
• The Period Constraint (2004). [slides]
  Nicolas Beldiceanu Emmanuel Poder International Conference on Logic Programming (ICLP'04), Lecture Notes in Computer Science
• From Constraints to Finite Automata to Filtering Algorithms (2004). [paper]
  Mats Carlsson Nicolas Beldiceanu European Symposium on Programming (ESOP'04), Lecture Notes in Computer Science 2986: 94-108.
• Multiplex dispensation order generation for pyrosequencing (2004). [paper]
  Mats Carlsson Nicolas Beldiceanu CP'04 Workshop on CSP Techniques with Immediate Application,
• Cumulated Profiles of Minimum and Maximum Resource Utilisation (2004).
  Nicolas Beldiceanu Emmanuel Poder 9th International Workshop on Project Management and Scheduling (PMS'04),
• Dispensation order generation for pyrosequencing (2004).
  Mats Carlsson Nicolas Beldiceanu 2nd Asia Pacific Bioinformatics Conference, vol. 29.
• La contrainte Periode (2004).
  Nicolas Beldiceanu Emmanuel Poder 13èmes Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'04), Angers, France.
• Filtering Algorithms for the Same and UsedBy Constraints (2004). [url]
  Nicolas Beldiceanu Irit Katriel Sven Thiel Technical report MPI-I-2004-001, MPI.
• Deriving Filtering Algorithms from Constraint Checkers (2004). [paper]
  Nicolas Beldiceanu Mats Carlsson Thierry Petit Technical report T2004-08, Swedish Institute of Computer Science.

2003

• Sweep synchronisation as a global propagation mechanism (2003).
  Nicolas Beldiceanu Mats Carlsson Sven Thiel 5th International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Problems (CPAIOR'03), Montréal, Canada. pp. 51 - 65.
• Generic filtering algorithms for generic global constraints (2003).
  Nicolas Beldiceanu Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Budapest, Hungary.
• Contraintes Globales: Aspects Algorithmiques et Déclaratifs (2003). [slides]
  Nicolas Beldiceanu Habilitation thesis of Université Paris 6.

2002

• A New Multi-Resource cumulatives Constraint with Negative Heights (2002). [url]
  Nicolas Beldiceanu Mats Carlsson 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Ithaca, NY, USA. Lecture Notes in Computer Science 2470: 63-79.
• Tracing and explaining execution of CLP(FD) programs (2002).
  Magnus \rAgren Tamas Szeredi Nicolas Beldiceanu Mats Carlsson ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02), Copenhaguen, Denmark.
• Revisiting the Lexicographic Ordering Constraint (2002). [paper]
  Mats Carlsson Nicolas Beldiceanu Technical report T2002-17, Swedish Institute of Computer Science.
• Arc-Consistency for a Chain of Lexicographic Ordering Constraints (2002). [paper]
  Mats Carlsson Nicolas Beldiceanu Technical report T2002-18, Swedish Institute of Computer Science.
• Cost-Filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint (2002). [paper]
  Nicolas Beldiceanu Mats Carlsson Sven Thiel Technical report T2002-14, Swedish Institute of Computer Science.
• Global Constraints (2002). [slides]
  Nicolas Beldiceanu Tutorial at CP'2002, Principles and Practice of Constraint Programming.

2001

• Non-overlapping Constraints between Convex Polytopes (2001). [url]
  Nicolas Beldiceanu Qi Guo Sven Thiel 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 392-407.
• Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraints (2001).
  Nicolas Beldiceanu Mats Carlsson 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 377-391.
• Pruning for the minimum Constraint Family and for the number of distinct values Constraint Family (2001). [url] [slides]
  Nicolas Beldiceanu 7th International Conference on Principles and Practice of Constraint Programming (CP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2239: 211-224.
• Revisiting the cardinality Operator and Introducing the cardinality-path Constraint Family (2001). [url] [slides]
  Nicolas Beldiceanu Mats Carlsson International Conference on Logic Programming (ICLP'01), Paphos, Cyprus. Lecture Notes in Computer Science 2237: 59-73.
• Sweep as a Generic Pruning Technique Applied to Constraint Relaxation (2001). [slides]
  Nicolas Beldiceanu Mats Carlsson CP'01 3rd Workshop on Soft Constraints (Soft'01), Paphos, Cyprus. pp. 43-55.
• Constructive cardinality (2001). [url]
  Nicolas Beldiceanu Mats Carlsson Technical report T2001-15, Swedish Institute of Computer Science.

2000

• Complex Constraint Abstraction: Global Constraint Visualization. Lecture (2000).
  Helmut Simonis Abderrahmane Aggoun Nicolas Beldiceanu Éric Bourreau In Analysis and Vizualisation Tools for Constraint Programming, Lecture Notes in Computer Science 1870: 299-317. Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszyński (ed.), Springer-Verlag,
• Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type (2000). [url]
  Nicolas Beldiceanu 6th International Conference on Principles and Practice of Constraint Programming (CP'00), Singapore. Lecture Notes in Computer Science 1894: 52-66.
• Sweep as a generic pruning technique (2000).
  Nicolas Beldiceanu CP'00 Workshop on Techniques foR Implementing Constraint programming (TRICS), Singapore.
• Cumulative constraint for trapezoid resource requirement (2000).
  Emmanuel Poder Nicolas Beldiceanu 17th International Symposium on Mathematical Programming (ISMP'00), Atlanta, USA.
• Global Constraints as Graph Properties on Structured Network of Elementary Constraints of the Same Type (2000). [url]
  Nicolas Beldiceanu Technical report T2000-01, Swedish Institute of Computer Science.

1999

• A Note on CSPLIB prob007 (1999). [paper]
  Helmut Simonis Nicolas Beldiceanu Technical report , .

1998

• Parallel machine scheduling with calendar rules (1998).
  Nicolas Beldiceanu 6th International Workshop on Project Management and Scheduling (PMS'98), Istanbul, Turkey.

1996

• Solving Resource-constrained Project Scheduling Problems with CHIP (1996).
  Nicolas Beldiceanu Éric Bourreau David Rivreau Helmut Simonis 5th International Workshop on Project Management and Scheduling (PMS'96), Poznań. pp. 35-38.

1994

• Introducing Global Constraints in CHIP (1994). [hal]
  Nicolas Beldiceanu Evelyne Contejean Mathl. Comput. Modelling 20(12): 97-123.

1993

• Extending CHIP in order to Solve Complex Scheduling and Placement Problems (1993). [hal]
  Abderrahmane Aggoun Nicolas Beldiceanu Mathl. Comput. Modelling 17(7): 57-73.
• Overview of the CHIP Compiler System (1993).
  Abderrahmane Aggoun Nicolas Beldiceanu Constraint Logic Programming, Selected Research, pp. 421-435.

1992

• Extending CHIP to solve complex scheduling and packing problems (1992).
  Abderrahmane Aggoun Nicolas Beldiceanu 1ères Journées Francophones de Programmation en Logique et avec Contraintes (JFPLC'92), Lille, France.

1991

• Overview of the CHIP Compiler System (1991).
  Abderrahmane Aggoun Nicolas Beldiceanu International Conference on Logic Programming, pp. 775-789.

1990

• Time stamps techniques for the trailed data in constraint logic programming systems (1990).
  Abderrahmane Aggoun Nicolas Beldiceanu 8ème Séminaire Programmation en Logique (SPLT'90), Trégastel, France. pp. 487-509.
• An Example of Introduction of Global Constraints in CHIP: Application to Block Theory Problems (1990).
  Nicolas Beldiceanu Technical report LP-49, ECRC.

1988

• Deterministic systems of sequential processes: theory and tools (1988).
  Younes Souissi Nicolas Beldiceanu Concurrency'88, Lecture Notes in Computer Science 335: 380-400.
• Langage de Règles et Moteur d'Inférences Basés sur des Contraintes et des Actions. Application aux Réseaux de Petri. (1988).
  Nicolas Beldiceanu PhD Thesis, Université Paris 6.
• AMI an Extensible Petri Nets Interactive Workshop (1988).
  Jean-Marc Bernard Jean-Luc Mounier Nicolas Beldiceanu Serge Haddad 9th European Workshop on Application and Theory of Petri Nets, Venice, Italy.

1987

• Un langage de règles de production basé sur des contraintes et des actions (1987).
  Nicolas Beldiceanu 7ème Conférence Internationale: les systèmes experts et leurs applications, pp. 1139-1158.