Brusten Julien

See author's contact details

Main Referenced Co-authors

Boigelot, Bernard (7)

Bruyère, Véronique (2)

Degbomont, Jean-François (2)

Leroux, Jérôme (1)

Main Referenced Keywords

Automata (4); Mixed real-integer arithmetic (4); Real numbers (3); Cobham's theorem (2); automata (1);

Main Referenced Disciplines

Computer science (8)

Publications (total 8)

Search in publications

The most downloaded

444 downloads

Boigelot, B., Brusten, J., & Degbomont, J.-F. (March 2012). Automata-Based Symbolic Representations of Polyhedra. Lecture Notes in Computer Science, 7183, 3-20. doi:10.1007/978-3-642-28332-1_2 https://hdl.handle.net/2268/115633

The most cited

30 citations (OpenAlex)

Boigelot, B., Brusten, J., & Leroux, J. (2009). A Generalization of Semenov's Theorem to Automata over Real Numbers. Lecture Notes in Computer Science, 5663, 469-484. doi:10.1007/978-3-642-02959-2_34 https://hdl.handle.net/2268/33238