A Generalization of Semenov's Theorem to Automata over Real Numbers. - Bernard Boigelot; Julien Brusten; Jérôme Leroux (CADE, 2009)

A generalization of Cobham's theorem to automata over real numbers. - Bernard Boigelot; Julien Brusten (Theor. Comput. Sci., 2009)

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases - Bernard Boigelot; Julien Brusten; Véronique Bruyère (Log. Methods Comput. Sci., 2010)

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

On the sets of real vectors recognized by finite automata in multiple bases. - Julien Brusten (2011)

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