Julien Brusten

According to our database, Julien Brusten authored at least 6 papers between 2007 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

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

2008

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.

Bernard Boigelot, Julien Brusten, Véronique Bruyère

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

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

Bernard Boigelot, Julien Brusten

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007