![]() |
| 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 |
| 1 | Bernard Boigelot | [1] [2] |