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.
  • 7P. 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
  • 8D. 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
  • 9D. 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
  • 10D. 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
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 14A. 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
  • 15D. 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
  • 16G. M. Kobele, S. Salvati.

    The IO and OI hierarchies revisited, in: Information and Computation, 2015, vol. 243, pp. 205-221. [ DOI : 10.1016/j.ic.2014.12.015 ]

    https://hal.archives-ouvertes.fr/hal-01251097
  • 17S. Salvati.

    MIX is a 2-MCFL and the word problem in 2 is solved by a third-order collapsible pushdown automaton, in: Journal of Computer and System Sciences, 2015, vol. 81, no 7, pp. 1252 - 1277.

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

International Conferences with Proceedings

  • 18S. Archipoff.

    An Efficient Implementation of Tiled Polymorphic Temporal Media, in: ICFP FARM, Vancouver, Canada, Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, ACM SIGPAN, September 2015. [ DOI : 10.1145/2808083.2808089 ]

    https://hal.archives-ouvertes.fr/hal-01214101
  • 19J. Arias, M. Desainte-Catherine, C. Olarte, C. Rueda.

    Foundations for Reliable and Flexible Interactive Multimedia Scores, in: Fifth Biennial International Conference on Mathematics and Computation in Music, London, United Kingdom, Lecture Notes in Computer Science, June 2015, vol. 9110, pp. 29-41. [ DOI : 10.1007/978-3-319-20603-5_3 ]

    https://hal.archives-ouvertes.fr/hal-01129394
  • 20J. Arias, M. Desainte-Catherine, C. Rueda.

    A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios, in: 15th International Conference on Application of Concurrency to System Design, Brussels, Belgium, June 2015. [ DOI : 10.1109/ACSD.2015.8 ]

    https://hal.archives-ouvertes.fr/hal-01136252
  • 21J. Arias, M. Desainte-Catherine, C. Rueda.

    Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores, in: Journées d'Informatique Musicale 2015, Montréal, Canada, May 2015.

    https://hal.archives-ouvertes.fr/hal-01129316
  • 22L. Clemente, P. Parys, S. Salvati, I. Walukiewicz.

    Ordered Tree-Pushdown Systems, in: FSTTCS 2015, Bangalore, India, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, December 2015, vol. 45.

    https://hal.archives-ouvertes.fr/hal-01145598
  • 23D. Janin, M. Desainte-Catherine.

    Des signaux aux symphonies : pour une modélisation homogène des objets sonores, in: Journées d'Informatique Musicale (JIM 2015), Montréal, Canada, May 2015.

    https://hal.archives-ouvertes.fr/hal-01183097
  • 24D. 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
  • 25D. 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
  • 26P. Mouawad, M. Desainte-Catherine, J.-L. Rouas.

    Multilabel Classification of Non-Verbal Communication of Emotions, in: 8th International Workshop on Machine Learning and Music, Vancouver, Canada, 2015.

    https://hal.archives-ouvertes.fr/hal-01230566
  • 27S. Salvati, I. Walukiewicz.

    A model for behavioural properties of higher-order programs, in: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Berlin, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, September 2015, vol. 41. [ DOI : 10.4230/LIPIcs.CSL.2015.229 ]

    https://hal.archives-ouvertes.fr/hal-01145494
  • 28S. Salvati, I. Walukiewicz.

    Typing weak MSOL properties, in: FOSSACS'15, London, United Kingdom, FOSSACS 2015, April 2015.

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

National Conferences with Proceedings

Conferences without Proceedings

  • 31J.-M. Celerier, P. Baltazar, C. Bossut, N. Vuaille, J.-M. Couturier, M. Desainte.

    OSSIA: Towards a unified interface for scoring time and interaction, in: TENOR2015, Paris, France, May 2015.

    https://hal.archives-ouvertes.fr/hal-01245957
  • 32S. Salvati.

    Non-linear Second order Abstract Categorial Grammars and deletion, in: NLCS 2015: Natural Language and Computer Science, Kyoto, Japan, Makoto Kanazawa, 2015.

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

Internal Reports

Other Publications

References in notes
  • 38B. Courcelle, J. Engelfriet.

    Graph structure and monadic second-order logic, a language theoretic approach, Encyclopedia of mathematics and its applications, Cambridge University Press, 2012, vol. 138.
  • 39P. Hudak.

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

    Keynote Address - The Promise of Domain-Specific Languages, in: Proceedings of the Conference on Domain-Specific Languages (DSL), 1997.
  • 41P. 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.
  • 42P. 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.
  • 43M. V. Lawson.

    Inverse Semigroups : The theory of partial symmetries, World Scientific, 1998.
  • 44J. Meakin.

    Groups and semigroups: connections and contrasts, in: Groups St Andrews 2005, Volume 2, London Mathematical Society, Lecture Note Series 340, Cambridge University Press, 2007.
  • 45J. Stephen.

    Presentations of inverse monoids, in: Journal of Pure and Applied Algebra, 1990, vol. 63, pp. 81-112.