Bibliography

Major publications by the team in recent years

• 1A. Cont.
  Realtime Multiple Pitch Observation using Sparse Non-negative Constraints, in: International Symposium on Music Information Retrieval (ISMIR), Victoria, Canada, 2006.
  http://hal.inria.fr/hal-00723223
• 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.
  On the creative use of score following and its impact on research, in: Sound and Music Computing, Padova, Italy, July 2011.
  http://articles.ircam.fr/textes/Cont11a/
• 4A. 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.
• 5A. 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
• 6A. 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.
• 7J. 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
• 8N. Montecchio, A. Cont.
  A Unified Approach to Real Time Audio-to-Score and Audio-to-Audio Alignment Using Sequential Montecarlo Inference Techniques, in: Proceedings of International Conference on Acoustics, Speech and Signal Processing (ICASSP), Prague, Czech Republic, May 2011.
• 9N. Montecchio, A. Cont.
  Accelerating the Mixing Phase in Studio Recording Productions by Automatic Audio Alignment, in: 12th International Symposium on Music Information Retrieval (ISMIR), Miami, Florida, October 2011.

Publications of the year

Articles in International Peer-Reviewed Journals

• 10J. Bresson, J.-L. Giavitto.
  A Reactive Extension of the OpenMusic Visual Programming Language, in: Journal of Visual Languages and Computing, 2014, vol. 25, n^o 4, pp. 363-375. [ DOI : 10.1016/j.jvlc.2014.03.003 ]
  https://hal.archives-ouvertes.fr/hal-00965747

International Conferences with Proceedings

• 11T. Coffy, J.-L. Giavitto, A. Cont.
  AscoGraph: A User Interface for Sequencing and Score Following for Interactive Music, in: ICMC 2014 - 40th International Computer Music Conference, Athens, Greece, September 2014.
  https://hal.inria.fr/hal-01024865
• 12P. Cuvillier, A. Cont.
  Coherent Time Modeling of semi-Markov Models with Application to Real-Time Audio-to-Score Alignment, in: MLSP 2014 - IEEE International Workshop on Machine Learning for Signal Processing (2014), Reims, France, J. Larsen, K. Guelton (editors), IEEE, September 2014.
  https://hal.inria.fr/hal-01058366
• 13P. Cuvillier.
  Time-coherency of Bayesian priors on transient semi-Markov chains for audio-to-score alignment, in: MaxEnt 2014, Amboise, France, SEE, September 2014.
  https://hal.inria.fr/hal-01080235
• 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
• 15J.-L. Giavitto, J. Echeveste.
  Real-Time Matching of Antescofo Temporal Patterns, in: PPDP 2014 - 16th International Symposium on Principles and Practice of Declarative Programming, Canterbury, United Kingdom, ACM, September 2014, forthcoming. [ DOI : 10.1145/2643135.2643158 ]
  https://hal.archives-ouvertes.fr/hal-01054667
• 16J. Nika, J. Echeveste, M. Chemillier, J.-L. Giavitto.
  Planning Human-Computer Improvisation, in: International Computer Music Conference, Athens, Greece, September 2014, 8 p.
  https://hal.archives-ouvertes.fr/hal-01053834
• 17C. Poncelet, F. Jacquemard.
  Model Based Testing of an Interactive Music System, in: ACM SAC, Salamanca, Spain, April 2015. [ DOI : 10.1145/2695664.2695804 ]
  https://hal.archives-ouvertes.fr/hal-01097345
• 18C. Poncelet Sanchez, F. Jacquemard.
  Test Methods for Score-Based Interactive Music Systems, in: ICMC SMC 2014, Athen, Greece, September 2014.
  https://hal.inria.fr/hal-01021617

Conferences without Proceedings

• 20A. Cont, J. Echeveste, J.-L. Giavitto.
  The Cyber-Physical System Approach for Automatic Music Accompaniment in Antescofo, in: Acoustical Society Of America, Providence, Rhode Island, United States, May 2014, Best Paper Award for Students and Young Presenters.
  https://hal.inria.fr/hal-00997842

Scientific Books (or Scientific Book chapters)

• 21J.-L. Giavitto.
  Du temps écrits au temps produit en informatique musicale, in: Produire le temps, H. Vinet (editor), Hermann, April 2014, pp. 73-106, 238p. Contributeurs : Yves André, Gérard Berry, Antoine Bonnet, Nicolas Donin, Laurent Feneyrou, Patrick Flandrin, Jean-Louis Giavitto, Philippe Manoury, François Nicolas, Thierry Paul, François Regnault, Pierre-André Valade, Hugues Vinet.
  https://hal.archives-ouvertes.fr/hal-00960989

Books or Proceedings Editing

• 22L. Duchien, J.-L. Giavitto (editors)
  Editorial, 3, Technique et Science Informatiques, May 2014, vol. 33, 4 p.
  https://hal.inria.fr/hal-01055909

Internal Reports

• 23J. Bresson, J.-L. Giavitto.
  Specification of a reactive computation model for OpenMusic, IRCAM, 2014, 17 p.
  https://hal.archives-ouvertes.fr/hal-00959312
• 24F. Jacquemard, C. Poncelet Sanchez.
  Antescofo Intermediate Representation, 2014, n^o RR-8520, 13 p.
  https://hal.inria.fr/hal-00979359
• 25F. 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

Other Publications

• 26A. Bietti.
  Online learning for audio clustering and segmentation, ENS Cachan, September 2014.
  https://hal.inria.fr/hal-01064672
• 27R. Gong.
  Suivi de partition pour l'alignement de la voix chantée, Université Pierre et Marie Curie, Paris, September 2014.
  https://hal.inria.fr/hal-01066603

References in notes

• 28G. Assayag, A. Gerzso (editors)
  New Computational Paradigms for Computer Music, Sciences de la musique, Editions Delatour, 6 2009.
• 29A. 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
• 30G. Di Giugno, J. Kott.
  Système 4X : processeur numérique de signal en temps réel, Ircam, 1981.
  http://articles.ircam.fr/textes/DiGiugno81a/
• 31A. 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
• 32M. 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.
• 33E. 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
• 34E. 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
• 35G. Loy, C. Abbott.
  Programming languages for computer music synthesis, performance, and composition, in: ACM Computing Surveys (CSUR), 1985, vol. 17, n^o 2, pp. 235–265.
• 36J. McCartney.
  SuperCollider: a new real time synthesis language, in: Proceedings of the International Computer Music Conference, 1996.
  http://www.audiosynth.com/icmc96paper.html
• 37M. Puckette.
  The Patcher, in: Proceedings of International Computer Music Conference (ICMC), 1988, pp. 420-429.
• 38M. Puckette.
  Combining Event and Signal Processing in the MAX Graphical Programming Environment, in: Computer Music Journal, 1991, vol. 15, pp. 68–77.
• 39R. Rowe.
  Interactive music systems: machine listening and composing, MIT Press, Cambridge, MA, USA, 1992.
• 40E. D. Scheirer.
  Music listening systems, MIT Media Lab, 2000.
  http://web.media.mit.edu/~tristan/Classes/MAS.945/Papers/Technical/Scheirer_Thesis.pdf
• 41B. 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.
• 42R. 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
• 43R. 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.
• 44B. Vercoe.
  The Synthetic Performer in the Context of Live Performance, in: Proceedings of the ICMC, 1984, pp. 199–200.