Julien Brusten

According to our database, Julien Brusten authored at least 6 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Automata-Based Symbolic Representations of Polyhedra.

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2012

2011

On the sets of real vectors recognized by finite automata in multiple bases.

Julien Brusten

PhD thesis, 2011

2010

Implicit Real Vector Automata

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

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

2009

A generalization of Cobham's theorem to automata over real numbers.

Bernard Boigelot, Julien Brusten

Theor. Comput. Sci., 2009

A Generalization of Semenov's Theorem to Automata over Real Numbers.

Bernard Boigelot, Julien Brusten, Jérôme Leroux

Proceedings of the Automated Deduction, 2009