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, n^o 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, n^o 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, n^o 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

• 27D. Janin, B. P. Serpette.
  Timed Denotational Semantics for Causal Functions over Timed Streams, LaBRI - Laboratoire Bordelais de Recherche en Informatique, November 2016.
  https://hal.archives-ouvertes.fr/hal-01402209

Other Publications

• 28J.-M. Celerier.
  Techniques vidéo-ludiques pour logiciel auteur multimédia, March 2016, Journée de l'École doctorale de mathématiques et informatique, Poster.
  https://hal.archives-ouvertes.fr/hal-01300355

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.