| 1999 |
| 9 | EE | Yannick Saouter,
Hervé Le Verge:
Computability of Affine Non-Conditional Recurrent Systems.
Inf. Process. Lett. 69(6): 291-295 (1999) |
| 1998 |
| 8 | | Hervé Le Verge,
Yannick Saouter:
New Results on Computability of Recurrence Equations.
Int. J. Found. Comput. Sci. 9(3): 249-276 (1998) |
| 1996 |
| 7 | EE | Reinhardt Euler,
Hervé Le Verge:
Time-tables, Polyhedra and the Greedy Algorithm.
Discrete Applied Mathematics 65(1-3): 207-221 (1996) |
| 1995 |
| 6 | EE | Reinhardt Euler,
Hervé Le Verge:
Complete Linear Descriptions of Small Asymmetric Traveling Salesman Polytopes.
Discrete Applied Mathematics 62(1-3): 193-208 (1995) |
| 1992 |
| 5 | | Hervé Le Verge:
Reduction Operators in ALPHA.
PARLE 1992: 397-411 |
| 4 | | Hervé Le Verge:
Alpha du Centaur: An Environment for the Design of Systolic Arrays.
STACS 1992: 611-612 |
| 1991 |
| 3 | | C. Dezan,
Hervé Le Verge,
Patrice Quinton,
Yannick Saouter:
The Alpha du Centaur environment.
Algorithms and Parallel VLSI Architectures 1991: 325-334 |
| 2 | | Hervé Le Verge,
Patrice Quinton:
The Palindrome Systolic Array Revisited.
Research Directions in High-Level Parallel Programming Languages 1991: 298-308 |
| 1 | EE | Hervé Le Verge,
Christophe Mauras,
Patrice Quinton:
The ALPHA language and its use for the design of systolic arrays.
VLSI Signal Processing 3(3): 173-182 (1991) |