1. Reactive Systems: Modelling, Specification and Verification;Aceto,2007
2. On the equivalence of Z-automata;Béal,2005
3. Conjugacy and equivalence of weighted automata and functional transducers;Béal,2006
4. On the generating sequences of regular languages on k symbols;Béal;J. ACM,2003
5. Determinism and fuzzy automata;Bělohlávek;Inf. Sci.,2002