`Travelled to:`

1 × Canada

1 × Iceland

1 × Poland

1 × Spain

`Collaborated with:`

B.Boigelot J.Degbomont J.Leroux V.Bruyère

`Talks about:`

automata (4) number (3) real (3) theorem (2) general (2) base (2) represent (1) polyhedra (1) semenov (1) multipl (1)

## Person: Julien Brusten

### DBLP: Brusten:Julien

### Contributed to:

### Wrote 4 papers:

- LATA-2012-BoigelotBD
- Automata-Based Symbolic Representations of Polyhedra (BB, JB, JFD), pp. 3–20.
- CADE-2009-BoigelotBL #automaton #theorem
- A Generalization of Semenov’s Theorem to Automata over Real Numbers (BB, JB, JL), pp. 469–484.
- ICALP-B-2008-BoigelotBB #automaton #finite #multi #on the #set
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases (BB, JB, VB), pp. 112–123.
- ICALP-2007-BoigelotB #automaton #theorem
- A Generalization of Cobham’s Theorem to Automata over Real Numbers (BB, JB), pp. 813–824.