Louis Latour

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Andreas Jürgen Lachenmann, Ulrich Müller, Robert Sugar, Louis Latour, Matthias Neugebauer, Alain Gefflaut
Programming Sensor Networks with State-Centric Services. DCOSS (2010)
Louis Latour
Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams. CIAA (2005)
Bernard Boigelot, Louis Latour
Counting the solutions of Presburger equations without enumerating them. Theor. Comput. Sci. 313 (1) (2004)
Louis Latour
From Automata to Formulas: Convex Integer Polyhedra. LICS (2004)
Bernard Boigelot, Louis Latour
Counting the Solutions of Presburger Equations without Enumerating Them. CIAA (2001)