1. Efficient algorithms for testing the twins property;Allauzen;J. Autom. Lang. Comb.,2003
2. Regular functions and cost register automata;Alur,2013
3. Value automata with filters;Cadilhac,2015
4. Expressiveness and closure properties for quantitative languages;Chatterjee;Log. Methods Comput. Sci.,2010
5. Quantitative languages;Chatterjee;ACM Trans. Comput. Log.,2010