.. Analyse-de-complexité-de-l-'algorithme-k-best, 31 4.3.1 Mise en forme de l'entrée, p.31

C. Agon, G. Assayag, J. Fineberg, and C. Rueda, Kant : A critique of pure quantification, Proceedings of the International Computer Music Conference, pp.52-61, 1994.

C. Agon, K. Haddad, and G. Assayag, Representation and rendering of rhythm structures, Second International Conference on Web Delivering of Music, 2002. WEDELMUSIC 2002. Proceedings., pp.109-113, 2002.
DOI : 10.1109/WDM.2002.1176200

G. Assayag, C. Rueda, M. Laurson, C. Agon, and O. Delerue, Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic, Computer Music Journal, vol.23, issue.3, pp.59-72, 1999.
DOI : 10.2307/3679811

M. Bezem, J. W. Klop, and . Vrijer, Term rewriting systems, 2003.

J. Bresson and C. Pérez-sancho, New Framework for Score Segmentation and Analysis in OpenMusic, Sound and Music Computing, pp.1-1, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01161435

A. Taylan-cemgil, P. Desain, and B. Kappen, Rhythm Quantization for Transcription, Computer Music Journal, vol.24, issue.2, pp.60-76, 2000.
DOI : 10.2307/3680894

P. Desain and H. Honing, The Quantization of Musical Time: A Connectionist Approach, Computer Music Journal, vol.13, issue.3, pp.56-66, 1989.
DOI : 10.2307/3680012

P. Donat-bouillud, Transcription rythmique dans OpenMusic. Stage, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00870104

M. Droste, W. Kuich, and H. Vogler, Handbook of weighted automata, 2009.
DOI : 10.1007/978-3-642-01492-5

E. John, . Hopcroft, D. Jeffrey, and . Ullman, Formal languages and their relation to automata, 1969.

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

F. Jacquemard, P. Donat-bouillud, and J. Bresson, A Structural Theory of Rhythm Notation Based on Tree Representations and Term Rewriting, Mathematics and Computation in Music, p.12, 2015.
DOI : 10.1007/978-3-319-20603-5_1

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

S. Kostka and D. Payne, Workbook for tonal harmony, 1995.

M. Laurson, PATCHWORK : A visual programming language and some musical applications, Sibelius Academy Helsinki, vol.6, 1996.

S. Christopher and . Lee, The rhythmic interpretation of simple musical sequences : towards a perceptual model, Musical structure and cognition, vol.3, pp.53-69, 1985.

A. Maire, Quantification musicale avec apprentissage sur des exemples, 2013.

B. Meudic, Détermination automatique de la pulsation, de la métrique et des motifs musicaux dans des interprétations à tempo variable d'oeuvres polyphoniques, 2004.

D. Murphy, Quantization revisited: a mathematical and computational model, Journal of Mathematics and Music, vol.5, issue.1, pp.21-34, 2011.
DOI : 10.1016/0010-0277(76)90011-1

G. Peeters, Template-Based Estimation of Time-Varying Tempo, EURASIP Journal on Advances in Signal Processing, vol.2007, issue.1, pp.158-158, 2007.
DOI : 10.1109/5.18626

A. Mustafa and Q. , Generalized Cosine and Similarity Metrics : A Supervised Learning Approach based on Nearest Neighbors. Theses, 2010.

D. Riso-valero, Symbolic Music Comparison with Tree Data Structure, 2010.

D. Temperley, An Evaluation System for Metrical Models, Computer Music Journal, vol.19, issue.3, pp.28-44, 2004.
DOI : 10.1162/014892699559616