Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. - Bernard Boigelot; Jean-François Degbomont (LATA, 2009)

Implicit Real Vector Automata - Bernard Boigelot; Julien Brusten; Jean-François Degbomont (INFINITY, 2010)

Automata-Based Symbolic Representations of Polyhedra. - Bernard Boigelot; Julien Brusten; Jean-François Degbomont (LATA, 2012)

Implicit Real Vector Automata. - Jean-François Degbomont (2013)