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:
2012
2009
20082007Wrote 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.