From Automata to Formulas: Convex Integer Polyhedra. - Louis Latour (LICS, 2004)

Counting the solutions of Presburger equations without enumerating them. - Bernard Boigelot; Louis Latour (Theor. Comput. Sci., 2004)

Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams. - Louis Latour (CIAA, 2005)

Programming Sensor Networks with State-Centric Services. - Andreas Jürgen Lachenmann; Ulrich Müller; Robert Sugar; Louis Latour; Matthias Neugebauer; Alain Gefflaut (DCOSS, 2010)