Back to the Complexity of Universals Programs, in pdf, International Conference on Principles and Practice of Constraint Programming, Sydney, September 2008.
On the complexity of universal programs, in pdf - Sur la complexité de programmes universelles, en pdf. In Machine, Computations and Universality, Saint-Petersburg 2004. Lecture Notes in Computer, pp 18-35, 2005.
Expressiveness of full first order constraints in the algebra of finite or infinite trees, in pdf - Pouvoir d'expression des contraintes du 1ier ordre dans l'algèbre des arbres finis ou infinis, en pdf, with Dao Thi-Bich-Hanh, Proceeding Principle and Practice of Constraint Programming CP2000, Lectures Notes in Computer Science , pp 172-186, 2000.
Optimal Narrowing of a Block of Sortings in Optimal time, in pdf - Réduction optimale d'un pavé de tris en temps optimal, en pdf, with Noëlle Bleuzen-Guernalec, Constaints, 5(1-2), pp 85-118, 2000.
Solving the three-dimensional pentamino puzzle, in pdf, with Bruno Giletta, 2000.
Naive solving of non-linear constraints, in pdf - Résolution naïve de contraintes non linéaire, en pdf, 1992.