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.

  • 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, no 6, p. 974-987.

  • 3A. Cont.

    On the creative use of score following and its impact on research, in: Sound and Music Computing, Padova, Italy, July 2011.

  • 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, no 4.
  • 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.

    Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d'accompagnement automatique, in: Colloque Modélisation des Systèmes Réactifs (MSR), Lille, France, November 2011, (Accepted).
  • 7N. 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.
  • 8N. 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

Doctoral Dissertations and Habilitation Theses

  • 9A. Dessein.

    Méthodes Computationnelles en Géométrie de l'Information et Applications Temps Réel au Traitement du Signal Audio, Université Pierre et Marie Curie - Paris VI, December 2012.


Articles in International Peer-Reviewed Journals

  • 10A. Bouhoula, F. Jacquemard.

    Sufficient completeness verification for conditional and constrained TRS, in: Journal of Applied Logic, 2012, vol. 10, no 1, p. 127-143.

  • 11A. Cont.

    Synchronisme musical et musiques mixtes: du temps écrit au temps produit, in: Circuit : musiques contemporaines, May 2012, vol. 22, no 1.

  • 12J.-L. Giavitto, H. Klaudel, F. Pommereau.

    Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules, in: Journal of Theoretical Computer Science (TCS), May 2012, vol. 431, p. 219-234. [ DOI : 10.1016/j.tcs.2011.12.054 ]


Articles in National Peer-Reviewed Journals

  • 13A. Cont.

    Modélisation anticipative des systèmes musicaux. Reconnaissance, génération, synchronisation et programmation synchrone temps réel en informatique musicale, in: Technique et Science Informatiques (TSI), May 2012, vol. 31, no 3, p. 311-335. [ DOI : 10.3166/tsi.31.311-335 ]


Articles in Non Peer-Reviewed Journals

  • 14J.-L. Giavitto, F. Reichenmann.

    Sous le signe du calcul, in: DocSciences, June 2012, vol. 14, no Alan Turing : la pensée informatique, p. 12-15, DocScience est une revue éditée par le CRDP de l'Académie de Versailles à destination des lycéens et de leurs professeurs..


International Conferences with Proceedings

  • 15A. 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.

  • 16F. Jacquemard, M. Rusinowitch.

    Rewrite Closure and CF Hedge Automata, in: 7th International Conference on Language and Automata Theory and Application, Bilbao, Spain, Lecture Notes in Computer Science, Springer, 2013.

  • 17A. Spicher, O. Michel, J.-L. Giavitto.

    Arbitrary Nesting of Spatial Computations, in: Spatial Computing Workshop, IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), Valencia, Spain, 2012, p. 25-32.

  • 18A. Spicher, O. Michel, J.-L. Giavitto.

    Spatial Computing in MGS, in: 11th International Conference Unconventional Computation & Natural Computation (UCNC 2012)., Orléans, France, Springer, 2012, vol. 7445, p. 63-69, Additional material is available from http://www.spatial-computing.org/mgs/tutorial. [ DOI : 10.1007/978-3-642-32894-7_7 ]


Scientific Books (or Scientific Book chapters)

  • 19J. Beal, O. Dulman, J.-L. Giavitto, A. Spicher.

    Proceedings of the Spatial Computing Workshop (SCW 2012) colocated with AAMAS (W21), IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), June 2012, 60 p.

  • 20A. 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, 2012, p. 341-371. [ DOI : 10.1007/978-3-642-30232-9_14 ]


Internal Reports

  • 21J. Dimino, F. Jacquemard, L. Segoufin.

    FO2(<,+1, ) on data trees, data tree automata and an extension of BVASS, Laboratoire Spécification et Vérification [Cachan] - LSV , MUSYNC - Inria Paris-Rocquencourt , Sciences et Technologies de la Musique et du Son - STMS , DAHU - Inria Saclay - Ile de France, October 2012, 32 p.


Scientific Popularization

Other Publications

  • 24G. Baudart.

    Antescofo : Vers une programmation synchrone, Master ATIAM, Université Pierre et Marie Curie (UPMC) et IRCAM, Paris, September 2012, 46 p.

  • 25P. Cuvillier.

    Suivi de partition : étude du cadre multi-objet pour l'inférence de position, ATIAM - UPMC, December 2012, 49 p.

  • 26F. Léa.

    Temporal Analysis of Mixed Intrumental/Electronic Music Scores, Ecole Centrale Paris, Châtenay-Malabry, November 2012, 51 p.

References in notes
  • 27G. Assayag, A. Gerzso (editors)

    New Computational Paradigms for Computer Music, Sciences de la musique, Editions Delatour, 6 2009.
  • 28G. Di Giugno, J. Kott.

    Système 4X : processeur numérique de signal en temps réel, Ircam, 1981.

  • 29J. Echeveste, A. Cont, F. Jacquemard, J.-L. Giavitto.

    Antescofo: A Domain Specific Language for Realtime Musician-Computer Interaction, in: Discrete Event Dynamic Systems, 2012, in submission.
  • 30E. A. Lee.

    Computing Needs Time, in: Communications of the ACM, May 2009, vol. 52, no 5, p. 70-79.

    http://chess.eecs.berkeley.edu/pubs/615.html, http://dl.acm.org/citation.cfm?id=1506409.1506426
  • 31E. Lindemann, M. Starkier, F. Déchelle.

    The Ircam Musical Workstation : hardware Overview and Signal Processing Features, in: ICMC: International Computer Music Conference, Glasgow, 1990.

  • 32G. Loy, C. Abbott.

    Programming languages for computer music synthesis, performance, and composition, in: ACM Computing Surveys (CSUR), 1985, vol. 17, no 2, p. 235–265.
  • 33R. P. S. Mahler.

    Statistical multisource-multitarget information fusion, Artech House, 2007.
  • 34L. Mandel, F. Plateau.

    Interactive Programming of Reactive Systems, in: Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P'08), Budapest, Hungary, Electronic Notes in Computer Science, Elsevier Science Publishers, April 2008, p. 44–59.

  • 35J. McCartney.

    SuperCollider: a new real time synthesis language, in: Proceedings of the International Computer Music Conference, 1996.

  • 36M. Pouzet.

    Lucid Synchrone, version 3, in: Tutorial and reference manual. Université Paris-Sud, LRI, 2006.
  • 37M. Puckette.

    The Patcher, in: Proceedings of International Computer Music Conference (ICMC), 1988, p. 420-429.
  • 38M. Puckette.

    Combining Event and Signal Processing in the MAX Graphical Programming Environment, in: Computer Music Journal, 1991, vol. 15, p. 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.

  • 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, p. 1340-1345.
  • 42R. Steinmetz.

    Analyzing the multimedia operating system, in: MultiMedia, IEEE, 1995, vol. 2, no 1, p. 68 -84.

  • 43R. Steinmetz.

    Human perception of jitter and media synchronization, in: Selected Areas in Communications, IEEE Journal on, 1996, vol. 14, no 1, p. 61–72.
  • 44B. Vercoe.

    The Synthetic Performer in the Context of Live Performance, in: Proceedings of the ICMC, 1984, p. 199–200.