Travelled to:1 × Canada
1 × France
1 × Spain
Collaborated with:N.Rampersad P.Salimov É.Vandomme ∅ L.Waxweiler D.Goc V.Halava T.Harju T.Kärki
Talks about:number (3) word (3) abelian (2) theori (2) period (2) border (2) set (2) character (1) recogniz (1) polynomi (1)
Person: Michel Rigo
DBLP: Rigo:Michel
Contributed to:
20132014
201120102011Wrote 6 papers:
- DLT-2013-RampersadRS #on the #word
- On the Number of Abelian Bordered Words (NR, MR, PS), pp. 420–432.
- DLT-J-2013-GocRRS14 #automation #on the #word
- On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
- LATA-2011-RigoV #complexity #integer #set
- Syntactic Complexity of Ultimately Periodic Sets of Integers (MR, ÉV), pp. 477–488.
- DLT-2010-HalavaHKR #on the #word
- On the Periodicity of Morphic Words (VH, TH, TK, MR), pp. 209–217.
- DLT-2010-Rigo #formal method
- Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
- DLT-J-2010-RigoW11 #finite #logic #set
- Logical Characterization of Recognizable Sets of polynomials over a Finite Field (MR, LW), pp. 1549–1563.