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

• 11J. Arias.
  Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices, Université de Bordeaux, November 2015.
  https://hal.archives-ouvertes.fr/tel-01245370
• 12J. Kirman.
  A high-level formalism for natural language processing, Université de Bordeaux, December 2015.
  https://tel.archives-ouvertes.fr/tel-01251668
• 13S. Salvati.
  Lambda-calculus and formal language theory, Université de Bordeaux, December 2015, Habilitation à diriger des recherches.
  https://hal.archives-ouvertes.fr/tel-01253426

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 ${\mathbb{Z}}^2$ is solved by a third-order collapsible pushdown automaton, in: Journal of Computer and System Sciences, 2015, vol. 81, n^o 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

• 29S. Archipoff, D. Janin.
  Pour un raffinement spatio-temporel tuilé, in: Journées Francophones des Langages Applicatifs, Saint-Malo, France, January 2016.
  https://hal.archives-ouvertes.fr/hal-01247424
• 30T. Bazin, D. Janin.
  Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell, in: Journées Francophones des Langages Applicatifs (JFLA), Val d'Ajol, France, January 2015.
  https://hal.archives-ouvertes.fr/hal-01091736

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

• 33P. Hudak, D. Janin.
  From out-of-time design to in-time production of temporal media, LaBRI - Laboratoire Bordelais de Recherche en Informatique, February 2015.
  https://hal.archives-ouvertes.fr/hal-01182995
• 34D. Janin.
  A robust algebraic framework for high-level music programming, LaBRI - Laboratoire Bordelais de Recherche en Informatique, December 2015.
  https://hal.archives-ouvertes.fr/hal-01246584
• 35D. Janin.
  Free inverse monoids up to rewriting, LaBRI - Laboratoire Bordelais de Recherche en Informatique, July 2015.
  https://hal.archives-ouvertes.fr/hal-01182934

Other Publications

• 36J. Arias, J.-M. Celerier.
  Le séquenceur interactif multimédia i-score, June 2015, Journées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Poster.
  https://hal.archives-ouvertes.fr/hal-01245350
• 37S. Salvati, I. Walukiewicz.
  A model for divergence insensitive properties of lambdaY-terms, June 2015, working paper or preprint.
  https://hal.archives-ouvertes.fr/hal-01169352

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.