Digital Image Compression, Handbook of Weighted Automata, pp.445-472, 2009. ,
DOI : 10.1007/978-3-642-01492-5_11
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
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
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
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
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
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
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
Weighted automata and weighted MSO logics for average and long-time behaviors. Information and Computation 220-221, pp.44-59, 2012. ,
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
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
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
Weighted Logics for Unranked Tree Automata, Theory of Computing Systems, pp.23-47, 2011. ,
DOI : 10.1007/s00224-009-9224-4
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
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
Applications of weighted automata in natural language processing Handbook of Weighted Automata, EATCS Monographs in Theoretical Computer Science, issue.14, pp.555-579, 2009. ,
Semirings, Automata and Languages . EATCS Monographs in Theoretical Computer Science, 1985. ,
DOI : 10.1007/978-3-642-69959-7
Multi-weighted automata models and quantitative logics, 2015. ,
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
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
Finite automata and logic of monadic predicates, Doklady Akademii Nauk SSSR, vol.149, pp.326-329, 1961. ,