BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brusten:Julien

Contributed to:

LATA 20122012
CADE 20092009
ICALP (2) 20082008
ICALP 20072007

Wrote 4 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.