Synthesis of systolic arrays by equation transformations. - Catherine Dezan; Eric Gautrin; Hervé Le Verge; Patrice Quinton; Yannick Saouter (ASAP, 1991)

The Alpha du Centaur environment. - Catherine Dezan; Hervé Le Verge; Patrice Quinton; Yannick Saouter (Algorithms and Parallel VLSI Architectures, 1991)

The Palindrome Systolic Array Revisited. - Hervé Le Verge; Patrice Quinton (Research Directions in High-Level Parallel Programming Languages, 1991)

The ALPHA language and its use for the design of systolic arrays. - Hervé Le Verge; Christophe Mauras; Patrice Quinton (J. VLSI Signal Process., 1991)

Reduction Operators in ALPHA. - Hervé Le Verge (PARLE, 1992)

Alpha du Centaur: An Environment for the Design of Systolic Arrays. - Hervé Le Verge (STACS, 1992)

Complete Linear Descriptions of Small Asymmetric Traveling Salesman Polytopes. - Reinhardt Euler; Hervé Le Verge (Discret. Appl. Math., 1995)

Time-tables, Polyhedra and the Greedy Algorithm. - Reinhardt Euler; Hervé Le Verge (Discret. Appl. Math., 1996)

New Results on Computability of Recurrence Equations. - Hervé Le Verge; Yannick Saouter (Int. J. Found. Comput. Sci., 1998)

Computability of Affine Non-Conditional Recurrent Systems. - Yannick Saouter; Hervé Le Verge (Inf. Process. Lett., 1999)