Bibliography

Major publications by the team in recent years

• 1A. Bietti, F. Bach, A. Cont.
  
  An online EM algorithm in hidden (semi-)Markov models for audio segmentation and clustering, in: ICASSP 2015 - 40th IEEE International Conference on Acoustics, Speech and Signal Processing, Brisbane, Australia, April 2015.
  
  https://hal.inria.fr/hal-01115826
• 2A. Cont.
  
  A coupled duration-focused architecture for realtime music to score alignment, in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 2010, vol. 32, n^o 6, pp. 974-987.
  
  http://articles.ircam.fr/textes/Cont09a/
• 3A. Cont, S. Dubnov, G. Assayag.
  
  On the Information Geometry of Audio Streams with Applications to Similarity Computing, in: IEEE Transactions on Audio, Speech and Language Processing, May 2011, vol. 19, n^o 4.
• 4A. Cont, J. Echeveste, J.-L. Giavitto, F. Jacquemard.
  
  Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo, in: ICMC 2012 - International Computer Music Conference, Ljubljana, Slovenia, IRZU - the Institute for Sonic Arts Research, September 2012.
  
  http://hal.inria.fr/hal-00718854
• 5A. Dessein, A. Cont, G. Lemaitre.
  
  Real-time polyphonic music transcription with non-negative matrix factorization and beta-divergence, in: Proceedings of the 11th International Society for Music Information Retrieval Conference (ISMIR), Utrecht, Netherlands, August 2010.
• 6J. Echeveste, A. Cont, J.-L. Giavitto, F. Jacquemard.
  
  Operational semantics of a domain specific language for real time musician-computer interaction, in: Discrete Event Dynamic Systems, August 2013, vol. 23, n^o 4, pp. 343-383. [ DOI : 10.1007/s10626-013-0166-2 ]
  
  http://hal.inria.fr/hal-00854719
• 7C. Poncelet, F. Jacquemard.
  
  Model Based Testing of an Interactive Music System, in: Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Salamanca, Spain, ACM, April 2015. [ DOI : 10.1145/2695664.2695804 ]
  
  https://hal.archives-ouvertes.fr/hal-01097345

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 8J.-M. Echeveste.
  
  A programming language for Computer-Human Musical Interaction, Université Pierre et Marie Curie - Paris VI, May 2015.
  
  https://tel.archives-ouvertes.fr/tel-01196248

Articles in International Peer-Reviewed Journals

• 9A. Freund, M. Andreatta, J.-L. Giavitto.
  
  Lattice-based and topological representations of binary relations with an application to music, in: Annals of Mathematics and Artificial Intelligence, April 2015, vol. 73, n^o 3-4, pp. 311-334. [ DOI : 10.1007/s10472-014-9445-3 ]
  
  https://hal.archives-ouvertes.fr/hal-01256854

Invited Conferences

• 10J.-L. Giavitto.
  
  A topological approach of musical relationships, in: Mathemusical Conversations, Singapour, Singapore, National University of Singapore and Institute for Mathematical Science (Singapore) and Yong Siew Toh Conservatory of Music, February 2015.
  
  https://hal.archives-ouvertes.fr/hal-01257546

International Conferences with Proceedings

• 12G. Burloiu, A. Cont.
  
  Non-overlapping, Time-coherent Visualisation of Action Commands in the AscoGraph Interactive Music User Interface, in: First International Conference on Technologies for Music Notation and Representation, Paris, France, May 2015.
  
  https://hal.inria.fr/hal-01135727
• 13G. Burloiu, A. Cont.
  
  Visualizing Timed, Hierarchical Code Structures in AscoGraph, in: International Conference on Information Visualisation, Barcelona, Spain, University of Barcelona, July 2015.
  
  https://hal.inria.fr/hal-01155618
• 14P. Donat-Bouillud, F. Jacquemard, M. Sakai.
  
  Towards an Equational Theory of Rhythm Notation, in: Music Encoding Conference 2015, Florence, Italy, May 2015.
  
  https://hal.inria.fr/hal-01105418
• 15R. Gong, P. Cuvillier, N. Obin, A. Cont.
  
  Real-Time Audio-to-Score Alignment of Singing Voice Based on Melody and Lyric Information, in: Interspeech, Dresde, Germany, September 2015.
  
  https://hal.archives-ouvertes.fr/hal-01164550
• 16F. Jacquemard, P. Donat-Bouillud, J. Bresson.
  
  A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting, in: Mathematics and Computation in Music: 5th International Conference, MCM 2015, London, United Kingdom, D. M. Tom Collins, A. Volk (editors), Lecture Notes in Artificial Intelligence, Springer, June 2015, vol. 9110, 12 p.
  
  https://hal.inria.fr/hal-01138642
• 17F. Jacquemard, Y. Kojima, M. Sakai.
  
  Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies, in: 25th International Conference on Automated Deduction (CADE’15), Berlin, Germany, A. P. Felty, A. Middeldorp (editors), LNCS, Springer, August 2015.
  
  https://hal.inria.fr/hal-01149319
• 18R. Lajugie, P. Bojanowski, P. Cuvillier, S. Arlot, F. Bach.
  
  A weakly-supervised discriminative model for audio-to-score alignment, in: 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Shanghai, China, March 2016.
  
  https://hal.archives-ouvertes.fr/hal-01251018
• 19E. Nakamura, P. Cuvillier, A. Cont, N. Ono, S. Sagayama.
  
  Autoregressive hidden semi-Markov model of symbolic music performance for score following, in: 16th International Society for Music Information Retrieval Conference (ISMIR), Malaga, Spain, October 2015.
  
  https://hal.inria.fr/hal-01183820
• 20J. Pascalie, M. Potier, T. Kowaliw, J.-L. Giavitto, O. Michel, A. Spicher, R. Doursat.
  
  Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures, in: 13th European Conference on Artificial Life (ECAL'2015), York, United Kingdom, MIT Press, July 2015. [ DOI : 10.7551/978-0-262-33027-5-ch115 ]
  
  https://hal.archives-ouvertes.fr/hal-01257528
• 21C. Poncelet, F. Jacquemard.
  
  Model Based Testing of an Interactive Music System, in: Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Salamanca, Spain, ACM, April 2015. [ DOI : 10.1145/2695664.2695804 ]
  
  https://hal.archives-ouvertes.fr/hal-01097345

National Conferences with Proceedings

• 23J. Bresson, D. Bouche, J. Garcia, T. Carpentier, F. Jacquemard, J. MacCallum, D. Schwarz.
  
  Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur, in: Journées d'Informatique Musicale, Montréal, Canada, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01142022

Internal Reports

• 24F. Delaplace, C. Di Giusto, J.-L. Giavitto, H. Klaudel, A. Spicher.
  
  Activity Networks with Delays application to toxicity analysis, I3S, May 2015.
  
  https://hal.archives-ouvertes.fr/hal-01152719
• 25F. Jacquemard, P. Donat-Bouillud, J. Bresson.
  
  A Term Rewriting Based Structural Theory of Rhythm Notation, ANR-13-JS02-0004-01 - EFFICACe, March 2015, 11 p.
  
  https://hal.inria.fr/hal-01134096
• 26F. Jacquemard, L. Segoufin, J. Dimino.
  
  FO2(<,+1, ) on data trees, data tree automata and an branching vector addition systems, Inria Saclay, January 2015, 32 p.
  
  https://hal.inria.fr/hal-00769249
• 27C. Poncelet, F. Jacquemard.
  
  Compilation of the Intermediate Representation V1, IRCAM ; Inria Paris-Rocquencourt ; Inria, March 2015, n^o RR-8701.
  
  https://hal.inria.fr/hal-01132159
• 28C. Poncelet, F. Jacquemard.
  
  Offline methods of conformance testing for Antescofo, IRCAM ; Inria Paris-Rocquencourt ; Inria, March 2015, n^o RR-8700.
  
  https://hal.inria.fr/hal-01132155

Scientific Popularization

• 29N. Schmidt Gubbins, A. Cont, J.-L. Giavitto.
  
  First steps toward embedding real-time audio computing in Antescofo, in: Journal de Investigación de Pregado (Investigación, Interdisciplina, Innovación), 2016, vol. 6.
  
  https://hal.archives-ouvertes.fr/hal-01257524

Other Publications

• 30P. Donat-Bouillud.
  
  Multimedia scheduling for interactive multimedia systems, ENS Rennes ; Universite Rennes 1, June 2015, 47 p.
  
  https://hal.inria.fr/hal-01168098
• 31M. Rossignol, M. Lagrange, A. Cont.
  
  Efficient similarity-based data clustering by optimal object to cluster reallocation, March 2015, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01123756
• 32M. SIRBU.
  
  Clustering incrémental de signaux audio, UPMC, September 2015.
  
  https://hal.inria.fr/hal-01196455
• 33A. Ycart.
  
  Quantification rythmique dans OpenMusic, UPMC, September 2015, 51 p.
  
  https://hal.inria.fr/hal-01202257

References in notes

• 34G. Assayag, A. Gerzso (editors)
  
  New Computational Paradigms for Computer Music, Sciences de la musique, Editions Delatour, 6 2009.
• 35A. Dessein, A. Cont, G. Lemaitre.
  
  Real-time detection of overlapping sound events with non-negative matrix factorization, in: Matrix Information Geometry, F. Nielsen, R. Bhatia (editors), Springer, 2013, pp. 341-371. [ DOI : 10.1007/978-3-642-30232-9_14 ]
  
  http://hal.inria.fr/hal-00708805
• 36G. Di Giugno, J. Kott.
  
  Système 4X : processeur numérique de signal en temps réel, Ircam, 1981.
  
  http://articles.ircam.fr/textes/DiGiugno81a/
• 37A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, A. Skou.
  
  Testing real-time systems using UPPAAL, in: Formal methods and testing, Berlin, Heidelberg, R. M. Hierons, J. P. Bowen, M. Harman (editors), Springer-Verlag, 2008, pp. 77–117.
  
  http://dl.acm.org/citation.cfm?id=1806209.1806212
• 38M. Krichen, S. Tripakis.
  
  Black-box conformance testing for real-time systems, in: In 11th International SPIN Workshop on Model Checking of Software (SPIN'04), volume 2989 of LNCS, Springer, 2004, pp. 109–126.
• 39E. A. Lee.
  
  Computing Needs Time, in: Communications of the ACM, May 2009, vol. 52, n^o 5, pp. 70-79.
  
  http://chess.eecs.berkeley.edu/pubs/615.html
• 40E. Lindemann, M. Starkier, F. Déchelle.
  
  The Ircam Musical Workstation : hardware Overview and Signal Processing Features, in: ICMC: International Computer Music Conference, Glasgow, 1990.
  
  http://articles.ircam.fr/textes/Lindemann90a
• 41J. McCartney.
  
  SuperCollider: a new real time synthesis language, in: Proceedings of the International Computer Music Conference, 1996.
  
  http://www.audiosynth.com/icmc96paper.html
• 42M. Puckette.
  
  The Patcher, in: Proceedings of International Computer Music Conference (ICMC), 1988, pp. 420-429.
• 43M. Puckette.
  
  Combining Event and Signal Processing in the MAX Graphical Programming Environment, in: Computer Music Journal, 1991, vol. 15, pp. 68–77.
• 44R. Rowe.
  
  Interactive music systems: machine listening and composing, MIT Press, Cambridge, MA, USA, 1992.
• 45E. D. Scheirer.
  
  Music listening systems, MIT Media Lab, 2000.
  
  http://web.media.mit.edu/~tristan/Classes/MAS.945/Papers/Technical/Scheirer_Thesis.pdf
• 46B. Selman, R. A. Brooks, T. Dean, E. Horvitz, T. M. Mitchell, N. J. Nilsson.
  
  Challenge Problems for Artificial Intelligence (Panel Statements), in: AAAI/IAAI, Vol. 2, 1996, pp. 1340-1345.
• 47R. Steinmetz.
  
  Analyzing the multimedia operating system, in: MultiMedia, IEEE, 1995, vol. 2, n^o 1, pp. 68 -84.
  
  http://dx.doi.org/10.1109/93.368605
• 48R. Steinmetz.
  
  Human perception of jitter and media synchronization, in: Selected Areas in Communications, IEEE Journal on, 1996, vol. 14, n^o 1, pp. 61–72.
• 49B. Vercoe.
  
  The Synthetic Performer in the Context of Live Performance, in: Proceedings of the ICMC, 1984, pp. 199–200.