32 citations · 172 across the 29 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 7 cited
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Bernard Boigelot, Julien Brusten, Veronique Bruyere
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted…
math.CO2010★ 4 cited
Trees with Given Stability Number and Minimum Number of Stable Sets
Véronique Bruyère, Gwenaël Joret, Hadrien Mélot
We study the structure of trees minimizing their number of stable sets for given order and stability number . Our main result is that the edges of a non-trivial extremal tre…