A. Alexandrakis and S. Bozapalidis, Weighted grammars and Kleene's theorem, Information Processing Letters, vol.24, issue.1, pp.1-4, 1987.
DOI : 10.1016/0020-0190(87)90190-6

P. Beaucamps, I. Gnaedig, and J. Marion, Abstraction-Based Malware Analysis Using Rewriting and Model Checking, ESORICS -17th European Symposium on Research in Computer Security -2012, pp.806-823, 2012.
DOI : 10.1007/978-3-642-33167-1_46
URL : https://hal.archives-ouvertes.fr/hal-00762252

J. Berstel and C. Reutenauer, Rational series and their languages, Theoretical Computer Science. An EATCS Series, 1988.
DOI : 10.1007/978-3-642-73235-5
URL : https://hal.archives-ouvertes.fr/hal-00619791

J. Engelfriet, Z. Fülöp, and H. Vogler, Bottom-up and top-down tree series transformations, J. Autom. Lang. Comb, vol.7, issue.1, pp.11-70, 2001.

Z. Fülöp and H. Vogler, Weighted tree automata and tree transducers, Handbook of Weighted Automata, Monographs in Theoretical Computer Science. An EATCS Series, pp.313-403, 2009.

L. Huang and D. Chiang, Better k-best parsing, Proceedings of the Ninth International Workshop on Parsing Technology, Parsing '05, pp.53-64, 2005.

K. Knight and J. May, Applications of Weighted Automata in Natural Language Processing, Handbook of Weighted Automata Theoretical Computer Science. An EATCS Series, pp.571-596, 2009.
DOI : 10.1007/978-3-642-01492-5_14

F. Kröger and S. Merz, Temporal Logic and State Systems. Texts in Theoretical Computer Science. An EATCS Series, 2008.

W. Kuich, Tree transducers and formal tree series, Acta Cybern, vol.14, issue.1, pp.135-164, 1999.

W. Kuich and A. Salomaa, Semirings, Automata and Languages, 1985.
DOI : 10.1007/978-3-642-69959-7

J. May, K. Knight, and H. Vogler, Efficient inference through cascades of weighted tree transducers, Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, ACL '10, pp.1058-1066, 2010.

M. Mohri, Applied Combinatorics on Words, chapter Statistical natural language processing. Chapter 4, 2005.

M. Mohri, Finite-state transducers in language and speech processing, Comput. Linguist, vol.23, issue.2, pp.269-311, 1997.

C. William and . Rounds, Mappings and grammars on trees, Mathematical Systems Theory, vol.4, issue.3, pp.257-287, 1970.

J. W. Thatcher, Generalized2 sequential machine maps, Journal of Computer and System Sciences, vol.4, issue.4, pp.339-367, 1970.
DOI : 10.1016/S0022-0000(70)80017-4
URL : http://doi.org/10.1016/s0022-0000(70)80017-4