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
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
-
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.