Injecting Abstract Interpretations into Linear Cost Models - David Cachera; Arnaud Jobin (QAPL, 2010)

Long-run cost analysis by approximation of linear operators over dioids. - David Cachera; Thomas P. Jensen; Arnaud Jobin; Pascal Sotin (Math. Struct. Comput. Sci., 2010)

Dioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals). - Arnaud Jobin (2012)

Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases. - David Cachera; Thomas P. Jensen; Arnaud Jobin; Florent Kirchner (Sci. Comput. Program., 2014)