Technical Reports (Submitted papers)
- J. Leroux. An Easy Algorithm For The General Vector Addition System Reachability Problem, Apr. 11, 2008.
- J. Leroux. Least Significant Digit First Presburger Automata, dec. 6, 2006.
- J. Leroux. SDA: Serialized Digit Automata. Labri Technical Report 1397-06, Mar. 31, 2006.
- J. Leroux. Complete Linear Acceleration for Convex Binary Relations . Labri Technical Report 1387-06, Feb. 20, 2006.
- J. Leroux. Regular Acceleration for Number Decision Diagrams. Labri Technical Report 1385-06, Jan. 30, 2006.