J. Albert and J. Kari, Digital Image Compression, Handbook of Weighted Automata, pp.445-472, 2009.
DOI : 10.1007/978-3-642-01492-5_11

B. Bollig and P. Gastin, Weighted versus Probabilistic Logics, Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), pp.18-38, 2009.
DOI : 10.1006/inco.1995.1123

URL : https://hal.archives-ouvertes.fr/hal-00772679

J. R. Büchi, Weak Second-Order Arithmetic and Finite Automata, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp.66-92, 1960.
DOI : 10.1002/malq.19600060105

?. Cern´ycern´y, P. Chatterjee, K. Henzinger, T. A. Radhakrishna, A. Singh et al., Quantitative Synthesis for Concurrent Programs, Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11), pp.243-259, 2011.
DOI : 10.1016/0012-365X(78)90078-X

M. Droste and P. Gastin, Weighted automata and weighted logics, Theoretical Computer Science, vol.380, issue.1-2, pp.69-86, 2007.
DOI : 10.1016/j.tcs.2007.02.055

URL : https://hal.archives-ouvertes.fr/hal-00772642

M. Droste, D. Götze, S. Märcker, and I. Meinecke, Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics, In: Algebraic Foundations in Computer Science Lecture Notes in Computer Science, vol.2, issue.1, pp.30-55, 2011.
DOI : 10.1007/978-3-642-59126-6_7

M. Droste, D. Heusel, and H. Vogler, Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics, Proceedings of the 6th International Conference on Algebraic Informatics (CAI'15), pp.90-102, 2015.
DOI : 10.1007/978-3-319-23021-4_9

M. Droste and W. Kuich, Semirings and Formal Power Series, Handbook of Weighted Automata, pp.3-27, 2009.
DOI : 10.1007/978-3-642-01492-5_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6152

M. Droste and I. Meinecke, Weighted automata and weighted MSO logics for average and long-time behaviors. Information and Computation 220-221, pp.44-59, 2012.

M. Droste and V. Perevoshchikov, Multi-weighted Automata and MSO Logic, Proceedings of the 8th International Computer Science Symposium in Russia (CSR'13), pp.418-430, 2013.
DOI : 10.1007/978-3-642-38536-0_36

URL : http://arxiv.org/abs/1506.06024

M. Droste and V. Perevoshchikov, A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic, Proceedings of the 41st International Colloquium on Automata, Languages and Programming (ICALP'14), pp.171-182, 2014.
DOI : 10.1007/978-3-662-43951-7_15

M. Droste and H. Vogler, Weighted tree automata and weighted logics, Theoretical Computer Science, vol.366, issue.3, pp.228-247, 2006.
DOI : 10.1016/j.tcs.2006.08.025

URL : http://doi.org/10.1016/j.tcs.2006.08.025

M. Droste and H. Vogler, Weighted Logics for Unranked Tree Automata, Theory of Computing Systems, pp.23-47, 2011.
DOI : 10.1007/s00224-009-9224-4

C. C. Elgot, Decision problems of finite automata design and related arithmetics, Transactions of the American Mathematical Society, vol.98, issue.1, pp.21-52, 1961.
DOI : 10.1090/S0002-9947-1961-0139530-9

Z. Fülöp, T. Stüber, and H. Vogler, A B??chi-Like Theorem for Weighted Tree Automata over Multioperator Monoids, Theory of Computing Systems, vol.2, issue.1, pp.241-278, 2012.
DOI : 10.1007/s00224-010-9296-1

K. Knight and J. May, Applications of weighted automata in natural language processing Handbook of Weighted Automata, EATCS Monographs in Theoretical Computer Science, issue.14, pp.555-579, 2009.

W. Kuich and A. Salomaa, Semirings, Automata and Languages . EATCS Monographs in Theoretical Computer Science, 1985.
DOI : 10.1007/978-3-642-69959-7

V. Perevoshchikov, Multi-weighted automata models and quantitative logics, 2015.

M. P. Schützenberger, On the definition of a family of automata, Information and Control, vol.4, issue.2-3, pp.245-270, 1961.
DOI : 10.1016/S0019-9958(61)80020-X

J. W. Thatcher and J. B. Wright, Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical Systems Theory, vol.12, issue.1, pp.57-81, 1968.
DOI : 10.1007/BF01691346

B. A. Trakhtenbrot, Finite automata and logic of monadic predicates, Doklady Akademii Nauk SSSR, vol.149, pp.326-329, 1961.