 | 2012 |
|---|
| 7 |       | Bernard Boigelot,
Julien Brusten,
Jean-François Degbomont:
Automata-Based Symbolic Representations of Polyhedra.
LATA 2012: 3-20 |
| 2010 |
|---|
| 6 | | Bernard Boigelot,
Julien Brusten,
Jean-François Degbomont:
Implicit Real Vector Automata
INFINITY 2010: 63-76 |
| 5 | | Bernard Boigelot,
Julien Brusten,
Véronique Bruyère:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Logical Methods in Computer Science 6(1): (2010) |
| 2009 |
|---|
| 4 | | Bernard Boigelot,
Julien Brusten,
Jérôme Leroux:
A Generalization of Semenov's Theorem to Automata over Real Numbers.
CADE 2009: 469-484 |
| 3 | | Bernard Boigelot,
Julien Brusten:
A generalization of Cobham's theorem to automata over real numbers.
Theor. Comput. Sci. 410(18): 1694-1703 (2009) |
| 2008 |
|---|
| 2 | | Bernard Boigelot,
Julien Brusten,
Véronique Bruyère:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.
ICALP (2) 2008: 112-123 |
| 2007 |
|---|
| 1 | | Bernard Boigelot,
Julien Brusten:
A Generalization of Cobham's Theorem to Automata over Real Numbers.
ICALP 2007: 813-824 |
Data released under the ODC-BY 1.0 license — See also our legal information page