EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1A. Allombert, M. Desainte-Catherine.

    Interactive scores : A model for specifying temporal relations between interactive and static events, in: Journal of New Music Research (JNMR), 2005, vol. 34, no 4, pp. 361–374.
  • 2J. Arias, M. Desainte-Catherine, C. Rueda.

    Modelling Data Processing for Interactive Scores Using Coloured Petri Nets, in: 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, June 2014. [ DOI : 10.1109/ACSD.2014.23 ]

    https://hal.archives-ouvertes.fr/hal-01095176
  • 3F. Berthaut, D. Janin, B. Martin.

    Advanced synchronization of audio or symbolic musical patterns: an algebraic approach, in: International Journal of Semantic Computing, 2012, vol. 6, no 4, pp. 409-427. [ DOI : 10.1142/S1793351X12400132 ]

    http://hal.archives-ouvertes.fr/hal-00794196
  • 4A. Blumensath, D. Janin.

    A syntactic congruence for languages of birooted trees, in: Semigroup Forum, 2014. [ DOI : 10.1007/s00233-014-9677-x ]

    http://hal.archives-ouvertes.fr/hal-00947972
  • 5A. Clay, N. Couture, E. Decarsin, M. Desainte-Catherine, P. Vulliard, J. Larralde.

    Movement to emotions to music: using whole body emotional expression as an interaction for electronic music generation, in: In proceedings of the 12th conference on New Instruments for Musical Expression (NIME), 2012.
  • 6M. Desainte-Catherine, A. Allombert, G. Assayag.

    Towards a Hybrid Temporal Paradigm for Musical Composition and Performance: The Case of Musical Interpretation, in: Computer Music Journal, 2013, vol. 37, no 2, pp. 61–72.
  • 7A. Dicky, D. Janin.

    Two-way automata and regular languages of overlapping tiles, in: Fundamenta Informaticae, 2015, vol. 142, pp. 1-33. [ DOI : 10.3233/FI-2015-1280 ]

    https://hal.archives-ouvertes.fr/hal-00717572
  • 8P. Hudak, D. Janin.

    Tiled Polymorphic Temporal Media, in: Work. on Functional Art, Music, Modeling and Design (FARM), ACM Press, 2014, pp. 49-60. [ DOI : 10.1145/2633638.2633649 ]

    http://hal.archives-ouvertes.fr/hal-00955113
  • 9D. Janin, F. Berthaut, M. Desainte-Catherine.

    Multi-scale design of interactive music systems : the libTuiles experiment, in: Sound and Music Comp. (SMC), 2013, pp. 123 – 129.

    http://hal.archives-ouvertes.fr/hal-00813313
  • 10D. Janin, F. Berthaut, M. Desainte-Catherine, Y. Orlarey, S. Salvati.

    The T-Calculus : towards a structured programming of (musical) time and space, in: Work. on Functional Art, Music, Modeling and Design (FARM), ACM Press, 2013, pp. 23-34. [ DOI : 10.1145/2505341.2505347 ]

    http://hal.archives-ouvertes.fr/hal-00789189
  • 11D. Janin.

    Towards a higher dimensional string theory for the modeling of computerized systems, in: Int. Conf. on Current Trends in Theo. and Prac. of Comp. Science (SOFSEM), LNCS, Springer, 2014, vol. 8327, pp. 7–20. [ DOI : 10.1007/978-3-319-04298-5_2 ]

    http://hal.archives-ouvertes.fr/hal-00879463
  • 12D. Janin.

    Inverse monoids of higher-dimensional strings, in: 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Cali, Colombia, Lecture Notes in Computer Science, Springer, 2015, vol. 9399.

    https://hal.archives-ouvertes.fr/hal-01165724
  • 13D. Janin.

    On labeled birooted tree languages: algebras, automata and logic, in: Journal of Information and Computation, 2015, vol. 243, pp. 222 - 248. [ DOI : 10.1016/j.ic.2014.12.016 ]

    https://hal.archives-ouvertes.fr/hal-00982538
Publications of the year

Articles in International Peer-Reviewed Journals

  • 14J. Arias, J.-M. Celerier, M. Desainte-Catherine.

    Authoring and automatic verification of interactive multimedia scores, in: Journal of New Music Research, November 2016, pp. 1 - 19. [ DOI : 10.1080/09298215.2016.1248444 ]

    https://hal.archives-ouvertes.fr/hal-01399925

International Conferences with Proceedings

  • 15S. Archipoff, D. Janin.

    Structured reactive programming with polymorphic temporal tiles, in: ACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), Nara, Japan, 2016. [ DOI : 10.1145/2975980.2975984 ]

    https://hal.archives-ouvertes.fr/hal-01350525
  • 16J. Arias, M. Desainte-Catherine, S. Dubnov.

    Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings, in: The Fourth International Workshop on Musical Metacreation (MUME 2016), Paris, France, June 2016.

    https://hal.archives-ouvertes.fr/hal-01336825
  • 17J.-M. Celerier, M. Desainte-Catherine, J.-M. Couturier.

    Graphical Temporal Structured Programming for Interactive Music, in: International Computer Music Conference, Utrecht, Netherlands, September 2016.

    https://hal.inria.fr/hal-01364702
  • 18J.-M. Celerier, M. Desainte-Catherine, J.-M. Couturier.

    Rethinking the audio workstation: tree-based sequencing with i-score and the LibAudioStream, in: Sound and Music Computing Conference, Hamburg, Germany, August 2016.

    https://hal.archives-ouvertes.fr/hal-01360797
  • 19D. Janin.

    A robust algebraic framework for high-level music writing and programming, in: Technologies for Music Notation and Representation (TENOR), Cambridge, United Kingdom, May 2016.

    https://hal.archives-ouvertes.fr/hal-01246584
  • 20D. Janin.

    Walking automata in free inverse monoids, in: 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Harrachov, Czech Republic, January 2016.

    https://hal.archives-ouvertes.fr/hal-00738793

National Conferences with Proceedings

  • 21S. Archipoff, J. Arias, E. Buger, D. Janin.

    Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo), in: Journées d'Informatique Musicale (JIM), Albi, France, March 2016.

    https://hal.archives-ouvertes.fr/hal-01326559
  • 22S. Archipoff, D. Janin.

    Pour un raffinement spatio-temporel tuilé, in: JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs, Saint-Malo, France, January 2016.

    https://hal.archives-ouvertes.fr/hal-01247424
  • 23S. Archipoff, D. Janin.

    Vers une programmation réactive structurée, in: Journées d’Informatique Musicale (JIM), Albi, France, March 2016.

    https://hal.archives-ouvertes.fr/hal-01326557
  • 24J.-M. Celerier, M. Desainte-Catherine, J.-M. Couturier.

    Outils d'écriture spatiale pour les partitions interactives, in: Journées d'informatique musicale 2016, Albi, France, Journées d'informatique musicale 2016, March 2016, pp. 82-92.

    https://hal.archives-ouvertes.fr/hal-01300348
  • 25B. P. Serpette, D. Janin.

    Causalité dans les calculs d'événements, in: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Gourette, France, January 2017.

    https://hal.inria.fr/hal-01403369

Scientific Books (or Scientific Book chapters)

  • 26G. Gagneré, R. Ronfard, M. Desainte-Catherine.

    La simulation du travail théâtral et sa " notation " informatique, in: La notation du travail théâtral : du manuscrit au numérique, M. Martinez, S. Proust (editors), Lansman, October 2016.

    https://hal.inria.fr/hal-01389848

Internal Reports

Other Publications

References in notes
  • 29P. Hudak.

    The Haskell School of Music : From signals to Symphonies, Yale University, Department of Computer Science, 2013.
  • 30P. Hudak.

    Keynote Address - The Promise of Domain-Specific Languages, in: Proceedings of the Conference on Domain-Specific Languages (DSL), 1997.
  • 31P. Hudak, J. Hugues, S. Peyton Jones, P. Wadler.

    A History of Haskell: Being Lazy With Class, in: Third ACM SIGPLAN History of Programming Languages (HOPL), ACM Press, 2007.
  • 32P. Hudak, D. Quick, M. Santolucito, D. Winograd-Cort.

    Real-time Interactive Music in Haskell, in: Work. on Functional Art, Music, Modeling and Design (FARM), ACM, 2015, pp. 15–16.
  • 33E. Matsikoudis, E. A. Lee..

    The fixed-point theory of strictly causal functions, in: Theor. Comp. Sci., 2015, vol. 574, pp. 39-77.