System prototyping with ALMA. - Jean-Yves Brunel; Ivan Augé; Xavier Redon; Philippe Tychon (RSP, 1991)

Detection of Recurrences in Sequential Programs with Loops. - Xavier Redon; Paul Feautrier (PARLE, 1993)

Scheduling reductions. - Xavier Redon; Paul Feautrier (International Conference on Supercomputing, 1994)

Communication Pre-evaluation in HPF. - Pierre Boulet; Xavier Redon (Euro-Par, 1998)

Detection of Scans in the Polytope Model. - Xavier Redon; Paul Feautrier (Parallel Algorithms Appl., 2000)

Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation. - Pierre Boulet; Xavier Redon (Tech. Sci. Informatiques, 2001)

On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). - Denis Barthou; Paul Feautrier; Xavier Redon (Euro-Par, 2002)