| * | 2005 |
|---|
| 4 | EE | Louis Latour:
Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams.
CIAA 2005: 213-224 |
| 2004 |
|---|
| 3 | EE | Louis Latour:
From Automata to Formulas: Convex Integer Polyhedra.
LICS 2004: 120-129 |
| 2 | EE | Bernard Boigelot,
Louis Latour:
Counting the solutions of Presburger equations without enumerating them.
Theor. Comput. Sci. 313(1): 17-29 (2004) |
| 2001 |
|---|
| 1 | EE | Bernard Boigelot,
Louis Latour:
Counting the Solutions of Presburger Equations without Enumerating Them.
CIAA 2001: 40-51 |
