Julien Brusten

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Distance Function

Top Venues

Publications

Bernard Boigelot, Julien Brusten, Jean-François Degbomont
Automata-Based Symbolic Representations of Polyhedra. LATA (2012)
Bernard Boigelot, Julien Brusten, Jean-François Degbomont
Implicit Real Vector Automata INFINITY (2010)
Bernard Boigelot, Julien Brusten, Véronique Bruyère
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases Log. Methods Comput. Sci. 6 (1) (2010)
Bernard Boigelot, Julien Brusten
A generalization of Cobham's theorem to automata over real numbers. Theor. Comput. Sci. 410 (18) (2009)
Bernard Boigelot, Julien Brusten, Jérôme Leroux
A Generalization of Semenov's Theorem to Automata over Real Numbers. CADE (2009)
Bernard Boigelot, Julien Brusten, Véronique Bruyère
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. ICALP (2) (2008)
Bernard Boigelot, Julien Brusten
A Generalization of Cobham's Theorem to Automata over Real Numbers. ICALP (2007)