1. Efficient algorithms for testing the twins property;Allauzen;J. Automata, Languages Combin.,2003
2. Squaring transducers: an efficient procedure for deciding functionality and sequentiality;Béal;Theoret. Comput. Sci.,2003
3. M.-P. Béal, S. Lombardy, J. Sakarovitch, Conjugacy and equivalence of weighted automata and functional transducers, submitted for publication.
4. M.-P. Béal, S. Lombardy, J. Sakarovitch, On the equivalence of Z-automata, in: L. Caires (Ed.), ICALP, Lecture Notes in Computer Science, Vol. 3580, Springer, Berlin, 2005, pp. 397–409.
5. Transductions and Context-Free Languages;Berstel,1979