Julien Brusten

Julien Brusten

Institut Montefiore (B28), I105
Université de Liège
Grande Traverse, 10
B-4000 Liège (Sart-Tilman)
Belgium

Tel.: +32-(0)4.366.26.34
Fax.: +32-(0)4.366.26.20

brusten@montefiore.ulg.ac.be
PGP/GPG public key

Informations for students (in French)

Research

Conference papers
- Bernard Boigelot and Julien Brusten. A Generalization of Cobham's Theorem to Automata over Real Numbers. Proceedings of the 34th International Colloquium on Automata, Languages and Programming, volume 4596, Lecture Notes in Computer Science, pages 813-824, Wroclaw, July 2007, Springer-Verlag.
- Bernard Boigelot, Julien Brusten and Véronique Bruyère. On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. Proceedings of the 35th International Colloquium on Automata, Languages and Programming, volume 5126, Lecture Notes in Computer Science, pages 112-123, Reykjavik, July 2008, Springer.
- Bernard Boigelot, Julien Brusten and Jerôme Leroux. A Generalization of Semenov's Theorem to Automata over Real Numbers. Proceedings of the 22nd International Conference on Automated Deduction, volume 5663, Lecture Notes in Artificial Intelligence, pages 469-484, Montreal, August 2009, Springer.
- Bernard Boigelot, Julien Brusten and Jean-François Degbomont. Implicit Real Vector Automata. Proceedings of the 12th International Workshop on Verification of Infinite-State Systems, volume 39, Electronic Proceedings in Theoretical Computer Science, pages 63-76, Singapore, September 2010.
Journal papers
- Bernard Boigelot and Julien Brusten. A Generalization of Cobham's Theorem to Automata over Real Numbers. Theoretical Computer Science, volume 410, number 18, pages 1694-1703, 2009, Elsevier.
- Bernard Boigelot, Julien Brusten and Véronique Bruyère. On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. Logical Methods in Computer Science, volume 6, issue 1, pages 1-17, 2010.
Thesis
- Julien Brusten. On the sets of real vectors recognized by finite automata in multiple bases. PhD thesis, Université de Liège, 2011.