`Travelled to:`

1 × Finland

1 × France

1 × South Africa

`Collaborated with:`

∅ B.Boigelot

`Talks about:`

polyhedra (1) presburg (1) automata (1) without (1) formula (1) diagram (1) repres (1) number (1) enumer (1) convex (1)

## Person: Louis Latour

### DBLP: Latour:Louis

### Contributed to:

### Wrote 3 papers:

- CIAA-2005-Latour #diagrams #set
- Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams (LL), pp. 213–224.
- LICS-2004-Latour #automaton #integer
- From Automata to Formulas: Convex Integer Polyhedra (LL), pp. 120–129.
- CIAA-2001-BoigelotL #equation
- Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.