Publications HAL du labo/EPI SCRIME de la structure SCRIME

2025

Journal articles

titre
Natural Language Processing Methods for Symbolic Music Generation and Information Retrieval: a Survey
auteur
Dinh-Viet-Toan Le, Louis Bigo, Dorien Herremans, Mikaela Keller
article
ACM Computing Surveys, 2025, 57 (7), pp.1-40. ⟨10.1145/3714457⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04621444/file/main.pdf BibTex

Conference papers

titre
Evaluating Interval-based Tokenization for Pitch Representation in Symbolic Music Analysis
auteur
Dinh-Viet-Toan Le, Louis Bigo, Mikaela Keller
article
Artificial Intelligence for Music Workshop at AAAI 2025, Mar 2025, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04877659/file/main.pdf BibTex

2024

Conference papers

titre
Analyzing Byte-Pair Encoding on Monophonic and Polyphonic Symbolic Music: A Focus on Musical Phrase Segmentation
auteur
Dinh-Viet-Toan Le, Louis Bigo, Mikaela Keller
article
3rd Workshop on NLP for Music and Audio (NLP4MusA), Nov 2024, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04710532/file/2024-nlp4musa-tokenization-bpe.pdf BibTex
titre
ALGORITHMIC ANALYSIS AND HARMONIC DATABASE GENERATION FOR MUSICOLOGISTS
auteur
Anais Binet, Myriam Desainte-Catherine
article
2024 Sound and Music Computing Conference (SMC 2024), School of Music and Performing Arts, Jul 2024, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-04904140/file/BINET_A_SMC_2024.pdf BibTex
titre
Guitar Chord Diagram Suggestion for Western Popular Music
auteur
Alexandre d'Hooge, Louis Bigo, Ken Déguernel, Nicolas Martin
article
Sound and Music Computing Conference, Jul 2024, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-04575300/file/main_HAL.pdf BibTex
titre
Elargir l'accès à l'interprétation musicale avec Web Midifile Performer
auteur
Joseph Larralde, Bernard Paul Serpette, Jean Haury, Myriam Desainte-Catherine, Raphaël Blard
article
Journées d'Informatique Musicale, PRISM, May 2024, Marseille, France. pp.38
Accès au texte intégral et bibtex
https://hal.science/hal-04870929/file/WebMidifilePerformer___JIM_2024.pdf BibTex
titre
Enjeux du logiciel de tablatures dans l'acte de création en musiques actuelles : méthode d'entretien et analyse d'une pratique
auteur
Baptiste Bacot, Benoît Navarret, Louis Bigo
article
Journées d'Informatique Musicale 2024, PRISM Laboratory, AFIM, May 2024, Marseille, France. pp.149-156
Accès au texte intégral et bibtex
https://hal.science/hal-04580044/file/Bacot%2C%20Navarret%2C%20Bigo%20-%20Enjeux%20du%20logiciel%20de%20tablatures%20dans%20l%27acte%20de%20cre%CC%81ation%20en%20musiques%20actuelles.pdf BibTex

Other publications

titre
Le langage des partitions musicales face à l’intelligence artificielle
auteur
Louis Bigo, Mikaela Keller, Dinh-Viet-Toan Le
article
Culture et recherche, 147 (ISSN : 0765-5991, EISSN : 1950-629), 2024, pp.34-35
Accès au texte intégral et bibtex
https://hal.science/hal-04909478/file/Culture_et_Recherche_Bigo_et_al.pdf BibTex

Poster communications

titre
TOWARDS A SOFTWARE ARCHITECTURE FOR HYBRID HARMONY TEACHING
auteur
Anais Binet, Myriam Desainte-Catherine
article
Sound and music computing, Jul 2024, Porto, Portugal. 2024
Accès au texte intégral et bibtex
https://hal.science/hal-04904163/file/SMC%20Poster%20V2%20%281%29.pdf BibTex

2023

Journal articles

titre
Evaluation of Real-Time Aliasing Reduction Methods in Neural Networks for Nonlinear Audio Effects Modelling
auteur
Tara Vanhatalo, Pierrick Legrand, Myriam Desainte-Catherine, Pierre Hanna, Guillaume Pille
article
Journal of the Audio Engineering Society, 2023, ⟨10.17743/jaes.2022.0122⟩
Accès au bibtex
BibTex

Conference papers

titre
Visualisation of Multi-scale Formal Diagrams for Music Analysis
auteur
Joséphine Calandra, Jean-Marc Chouvel, Myriam Desainte-Catherine, Erwan Michel
article
Multilayer Music Representation and Processing (MMRP23), Oct 2023, Pise (Italia), Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04632212/file/MMRP23_CALANDRA.pdf BibTex
titre
VERS UNE ARCHITECTURE LOGICIELLE POUR L'ENSEIGNEMENT HYBRIDE DE L'HARMONIE
auteur
Anais Binet, Myriam Desainte-Catherine
article
Journées d'Informatique Musicale, MSH Paris Nord, May 2023, Paris MSH Paris Nord, France
Accès au texte intégral et bibtex
https://hal.science/hal-04904081/file/3_5_BINET_DESAINTE_CATHERINE.pdf BibTex

Book sections

titre
Spin 5/2 : projet pour un planétarium
auteur
Christophe Havel, Thibaud Keller
article
Christophe d’Alessandro and Achille Davy-Rigaux and Christophe Pirenne and Solène Bellanger and Sylvie Pébrier and Julie Rosenkranz and Florence Roy and Mickaël Robert-Gonçalves (dir.). Recherches en musique Actes des Rencontres nationales sur les recherches en musique, Collegium Musicæ de l'Alliance Sorbonne Université, pp.529-535, 2023, Collection MusiqueS & Interdisciplinarité, ⟨10.25836/rnrm.2020.68⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04226062/file/DOI_rnrm_2020-68.pdf BibTex
titre
Interaction entre recherche et création au SCRIME : deux projets connectés par la technologie
auteur
Desainte-Catherine Myriam, Colin Jean-Marie
article
Christophe d’Alessandro and Achille Davy-Rigaux and Christophe Pirenne and Solène Bellanger and Sylvie Pébrier and Julie Rosenkranz and Florence Roy and Mickaël Robert-Gonçalves (dir.). Recherches en musique Actes des Rencontres nationales sur les recherches en musique, Collegium Musicæ de l'Alliance Sorbonne Université, pp.277-282 Lacroix, 2023, Collection MusiqueS & Interdisciplinarité, ⟨10.25836/rnrm.2020.33⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04226027/file/DOI_rnrm_2020-33.pdf BibTex

Other publications

titre
Rhythm Guitar Tablature Continuation from Chord Progression and Tablature Prompt
auteur
Alexandre D'Hooge, Louis Bigo, Ken Déguernel
article
DMRN+18: Digital Music Research Network One-day Workshop, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-04575319/file/Rhythm_Guitar_Tablature_Continuation.pdf BibTex

2022

Journal articles

titre
A Review of Neural Network-Based Emulation of Guitar Amplifiers
auteur
Tara Vanhatalo, Pierrick Legrand, Myriam Desainte-Catherine, Pierre Hanna, Antoine Brusco, Guillaume Pille, Yann Bayle
article
Applied Sciences, 2022, 12 (12), pp.5894. ⟨10.3390/app12125894⟩
Accès au bibtex
BibTex
titre
3D models related to the publication: Hide and seek shark teeth in Random Forests: Machine learning applied to Scyliorhinus canicula
auteur
Fidji Berio, Yann Bayle, Sylvie Agret, Daniel Baum, Nicolas Goudemand, Mélanie Debiais-Thibaud
article
MorphoMuseum, 2022, 8 (2), pp.e164. ⟨10.18563/journal.m3.164⟩
Accès au texte intégral et bibtex
https://hal.umontpellier.fr/hal-04951025/file/2022_Berio_164.pdf BibTex
titre
Phenotypic regionalization of the vertebral column in the thorny skate Amblyraja radiata : Stability and variation
auteur
Fidji Berio, Yann Bayle, Cyrena Riley, Olivier Larouche, Richard Cloutier
article
Journal of Anatomy, 2022, 240 (2), pp.253-267. ⟨10.1111/joa.13551⟩
Accès au bibtex
BibTex

Conference papers

titre
OSSIA: An example of a long term collaboration between art, science and engineering
auteur
Pia Baltazar, Jean-Michaël Celerier, Myriam Desainte-Catherine
article
Journées d’Informatique Théâtrale, ENSATT, Oct 2022, Lyon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04332719/file/JIT-ossia.pdf BibTex

2021

Conference papers

titre
Des outils de médiation innovants inspirés par des travaux de recherche : 3 exemples
auteur
Justine Galet, Antoine Rousseau, Hervé Rivano, Juliette Chabassier
article
Science and You 2021 - Colloque international Science&You, Nov 2021, Metz, France
Accès au bibtex
BibTex
titre
MidifilePerformer: a case study for chronologies
auteur
Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P Serpette
article
26th ACM SIGPLAN International Conference on Functional Programming (ICFP '21), Aug 2021, En ligne, South Korea. pp.13-22, ⟨10.1145/3471872.3472968⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03578817/file/midifileperformerHal.pdf BibTex
titre
Modéliser et simuler les instruments de musique
auteur
Juliette Chabassier
article
Journées d'informatique musicale 2021, Jul 2021, visio, France
Accès au bibtex
BibTex
titre
RE.MI.DO 3.0 RECHERCHE EMOTION / MUSIQUE, INTERNET DES OBJETS
auteur
Pierre-Henri Vulliard
article
Journées d'Informatique Musicale 2021, AFIM, Jul 2021, Visioconférences, France
Accès au texte intégral et bibtex
https://hal.science/hal-03313638/file/PHV_JIM_2020_21_corrige.pdf BibTex
titre
MULTI-SCALE ORACLE AND AUTOMATED REPRESENTATION OF FORMAL DIAGRAMS BASED ON THE COGNITIVE ALGORITHM
auteur
Joséphine Calandra, Jean-Marc Chouvel, Myriam Desainte-Catherine
article
International Conférence on Technologies for Music Notation and Representation - TENOR 2021, May 2021, Hamburg, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-04632188/file/TENOR2021_MULTI_SCALE_ORACLE_AND_AUTOMATED_REPRESENTATION_OF_FORMAL_DIAGRAMS.pdf BibTex

2020

Journal articles

titre
Open source guitar effects stompbox
auteur
Joseph Larralde, Gabriel Larralde
article
Revue Francophone d'Informatique et Musique, 2020, 7-8, ⟨10.56698/rfim.586⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04889770/file/RFIM_7-8_Larralde_PedaleGuitareOpenSource.pdf BibTex

Conference papers

titre
Architecture Logicielle de la Sortie de Résidence d'Aléas
auteur
Thibaud Keller, Camille Rocailleux, Bernard P Serpette
article
JIM 2020 - Journées d'Informatique Musicale, Oct 2020, Strasbourg / Virtual, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03127248/file/MecaTechnics.pdf BibTex

2018

Journal articles

titre
SATIN: A persistent musical database for music information retrieval and a supporting deep learning experiment on song instrumental classification
auteur
Yann Bayle, Matthias Robine, Pierre Hanna
article
Multimedia Tools and Applications, 2018, ⟨10.1007/s11042-018-5797-8⟩
Accès au bibtex
BibTex

Conference papers

titre
Automatic Detection of Patient with Respiratory Diseases Using Lung Sound Analysis
auteur
Gaëtan Chambres, Gaetan Chambres, Pierre Hanna, Myriam Desainte-Catherine
article
2018 International Conference on Content-Based Multimedia Indexing (CBMI), Sep 2018, La Rochelle, France. pp.1-6, ⟨10.1109/CBMI.2018.8516489⟩
Accès au bibtex
BibTex
titre
Generating Orchestral Sequences with Timbral Descriptors
auteur
Aurélien Antoine, Eduardo Miranda, Jean-Michaël Celerier, Myriam Desainte-Catherine
article
Proceedings of Timbre 2018 : Timbre Is A Many Splendored Thing, 2018, Montréal, Canada
Accès au bibtex
BibTex
titre
i-Berlioz : Interactive Computer-Aided Orchestration with Temporal Control
auteur
Eduardo Miranda, Aurélien Antoine, Jean-Michaël Celerier, Myriam Desainte-Catherine
article
Proceedings of 5th International Conference on New Music Concepts (ICNMC), 2018, Treviso, Italy
Accès au bibtex
BibTex

Poster communications

titre
Music from Aura
auteur
Pierre-Henri Vulliard
article
Journées d'Informatique Musicale (JIM 2018), May 2018, Amiens, France. , 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01791480/file/JIM2018-14-Vulliard.pdf BibTex

2017

Journal articles

titre
Detecting temporal changes in acoustic scenes: The variable benefit of selective attention
auteur
Laurent Demany, Yann Bayle, Emilie Puginier, Catherine Semal
article
Hearing Research, 2017, 353, pp.17-25. ⟨10.1016/j.heares.2017.07.013⟩
Accès au bibtex
BibTex
titre
Entre vérité et exactitude, du langage informatique au langage musical
auteur
Myriam Desainte-Catherine
article
Les Cahiers Art et science - Numéro spécial 9, Langage vérité exactitude, 2017
Accès au bibtex
BibTex

Conference papers

titre
Kara1k: A Karaoke Dataset for Cover Song Identification and Singing Voice Analysis
auteur
Yann Bayle, Ladislav Marsik, Martin Rusek, Matthias Robine, Pierre Hanna, Katerina Slaninova, Jan Martinovic, Jaroslav Pokorný
article
2017 IEEE International Symposium on Multimedia (ISM), Dec 2017, Taichung, Taiwan. ⟨10.1109/ISM.2017.32⟩
Accès au bibtex
BibTex
titre
SATIN: A Persistent Musical Database for Music Information Retrieval
auteur
Yann Bayle, Pierre Hanna, Matthias Robine
article
15th International Workshop on Content-Based Multimedia Indexing (CBMI), Jun 2017, Florence, Italy. pp.1-5
Accès au bibtex
BibTex
titre
Causalité dans les calculs d'événements
auteur
Bernard P Serpette, David Janin
article
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01403369/file/jfla2017.pdf BibTex
titre
Calculer le temps musical
auteur
Myriam Desainte-Catherine
article
Journées d'informatique musicale, IRCAM, 2017, Paris, France
Accès au bibtex
BibTex
titre
Exécution répartie de scénarios interactifs
auteur
Jean-Michaël Celerier, Myriam Desainte-Catherine, Jean-Michel Couturier
article
Journées d’Informatique Musicale, 2017, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-02491181/file/Jean-Michael-Celerier2017aa.pdf BibTex

2016

Journal articles

titre
Authoring and automatic verification of interactive multimedia scores
auteur
Jaime Arias, Jean-Michaël Celerier, Myriam Desainte-Catherine
article
Journal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01399925/file/main.pdf BibTex
titre
Du scénario linéaire aux scénarios multiples dans le projet OSSIA
auteur
Myriam Desainte-Catherine
article
Revue Francophone d'Informatique et Musique, 2016
Accès au bibtex
BibTex

Conference papers

titre
Graphical Temporal Structured Programming for Interactive Music
auteur
Jean-Michaël Celerier, Myriam Desainte-Catherine, Jean-Michel Couturier
article
International Computer Music Conference, Sep 2016, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01364702/file/icmc2016template.pdf BibTex
titre
Rethinking the audio workstation: tree-based sequencing with i-score and the LibAudioStream
auteur
Jean-Michaël Celerier, Myriam Desainte-Catherine, Jean-Michel Couturier
article
Sound and Music Computing Conference, Aug 2016, Hamburg, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01360797/file/smc2016template.pdf BibTex
titre
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
auteur
Jaime Arias, Myriam Desainte-Catherine, Shlomo Dubnov
article
MUME 2016 - 4th International Workshop on Musical Metacreation, Jun 2016, Paris, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-01336825/file/article.pdf BibTex
titre
A robust algebraic framework for high-level music writing and programming
auteur
David Janin
article
Technologies for Music Notation and Representation (TENOR), May 2016, Cambridge, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01246584/file/23_Janin_tenor2016.pdf BibTex
titre
Large-scale classification of musical tracks according to the presence of singing voice
auteur
Yann Bayle, Pierre Hanna, Matthias Robine
article
Journées d'Informatique Musicale, http://www.gmea.net/; https://scrime.labri.fr/; http://www.afim-asso.org/spip.php?article1, Mar 2016, Albi, France. pp.144-152
Accès au texte intégral et bibtex
https://hal.science/hal-01484201/file/Bayle2016.pdf BibTex
titre
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)
auteur
Simon Archipoff, Jaime Arias, Edwin Buger, David Janin
article
Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France
Accès au texte intégral et bibtex
https://hal.science/hal-01326559/file/demo.pdf BibTex
titre
Vers une programmation réactive structurée
auteur
Simon Archipoff, David Janin
article
Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France
Accès au texte intégral et bibtex
https://hal.science/hal-01326557/file/paper.pdf BibTex
titre
Outils d'écriture spatiale pour les partitions interactives
auteur
Jean-Michaël Celerier, Myriam Desainte-Catherine, Jean-Michel Couturier
article
Journées d'informatique musicale 2016, Mar 2016, Albi, France. pp.82-92
Accès au texte intégral et bibtex
https://hal.science/hal-01300348/file/pp82-92.pdf BibTex
titre
Pour un raffinement spatio-temporel tuilé
auteur
Simon Archipoff, David Janin
article
JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.science/hal-01247424/file/archipoff_janin_jfla_2016.pdf BibTex
titre
Walking automata in free inverse monoids
auteur
David Janin
article
42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Accès au texte intégral et bibtex
https://hal.science/hal-00738793/file/ToAppearInSOFSEM.pdf BibTex
titre
Structured reactive programming with polymorphic temporal tiles
auteur
Simon Archipoff, David Janin
article
ACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), 2016, Nara, Japan. ⟨10.1145/2975980.2975984⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01350525/file/T-calculus.pdf BibTex

Book sections

titre
La simulation du travail théâtral et sa " notation " informatique
auteur
Georges Gagneré, Rémi Ronfard, Myriam Desainte-Catherine
article
Monique Martinez; Sophie Proust. La notation du travail théâtral : du manuscrit au numérique., Lansman, 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01389848/file/SimulationTravailTheatralNotationInformatiqueAuteur.pdf BibTex

Poster communications

titre
Techniques vidéo-ludiques pour logiciel auteur multimédia
auteur
Jean-Michaël Celerier
article
Journée de l'École doctorale de mathématiques et informatique, Mar 2016, Talence, France
Accès au texte intégral et bibtex
https://hal.science/hal-01300355/file/template_Beamer.pdf BibTex

Reports

titre
Timed Denotational Semantics for Causal Functions over Timed Streams
auteur
David Janin, Bernard Paul Serpette
article
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Accès au bibtex
BibTex

2015

Journal articles

titre
Two-way automata and regular languages of overlapping tiles
auteur
Anne Dicky, David Janin
article
Fundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00717572/file/report-tiled-two-way.pdf BibTex
titre
A logical approach to grammar description
auteur
Lionel Clément, Jérôme Kirman, Sylvain Salvati
article
Journal of Language Modelling, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 ⟨10.15398/jlm.v3i1.94⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01251222/file/cks.pdf BibTex
titre
The IO and OI hierarchies revisited
auteur
Gregory M. Kobele, Sylvain Salvati
article
Information and Computation, 2015, 243, pp.205-221. ⟨10.1016/j.ic.2014.12.015⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01251097/file/io_and_oi_revisited.pdf BibTex
titre
MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton
auteur
Sylvain Salvati
article
Journal of Computer and System Sciences, 2015, 81 (7), pp.1252 - 1277
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00564552/file/mix.pdf BibTex
titre
Using Models to Model-check Recursive Schemes
auteur
Sylvain Salvati, Igor Walukiewicz
article
Logical Methods in Computer Science, 2015, Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013, ⟨10.2168/LMCS-???⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01251224/file/m.pdf BibTex
titre
On labeled birooted tree languages: algebras, automata and logic
auteur
David Janin
article
Information and Computation, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00982538/file/RR1467-13-Extended.pdf BibTex
titre
Schemographe: application for a new representation technique and methodology of analysis in tonal harmony in tonal harmony. In: Evolutionary and Biologically Inspired Music, Sound, Art and Design
auteur
Anna Schvets, Myriam Desainte-Catherine
article
Lecture Notes in Computer Science, 2015
Accès au bibtex
BibTex

Conference papers

titre
Ordered Tree-Pushdown Systems
auteur
Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz
article
FSTTCS 2015, Dec 2015, Bangalore, India
Accès au texte intégral et bibtex
https://hal.science/hal-01145598/file/main.pdf BibTex
titre
A model for behavioural properties of higher-order programs
auteur
Sylvain Salvati, Igor Walukiewicz
article
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.229⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01145494/file/m.pdf BibTex
titre
An Efficient Implementation of Tiled Polymorphic Temporal Media
auteur
Simon Archipoff
article
ICFP FARM, ACM SIGPAN, Sep 2015, Vancouver, Canada. ⟨10.1145/2808083.2808089⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01214101/file/paper_simon.pdf BibTex
titre
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
auteur
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
article
15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. ⟨10.1109/ACSD.2015.8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01136252/file/article.pdf BibTex
titre
Foundations for Reliable and Flexible Interactive Multimedia Scores
auteur
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda
article
Fifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. pp.29-41, ⟨10.1007/978-3-319-20603-5_3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01129394/file/mcm15.pdf BibTex
titre
OSSIA: Towards a unified interface for scoring time and interaction
auteur
Jean-Michaël Celerier, Pascal Baltazar, Clément Bossut, Nicolas Vuaille, Jean-Michel Couturier, Myriam Desainte-Catherine
article
TENOR 2015 - First International Conference on Technologies for Music Notation and Representation, May 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01245957/file/13-Celerier-OSSIA.pdf BibTex
titre
Des signaux aux symphonies : pour une modélisation homogène des objets sonores
auteur
David Janin, Myriam Desainte-Catherine
article
Journées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01183097/file/paper.pdf BibTex
titre
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores
auteur
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
article
Journées d'Informatique Musicale 2015, May 2015, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01129316/file/article.pdf BibTex
titre
Typing weak MSOL properties
auteur
Sylvain Salvati, Igor Walukiewicz
article
FOSSACS'15, Apr 2015, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01061202/file/m.pdf BibTex
titre
Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell
auteur
Théis Bazin, David Janin
article
Journées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France
Accès au texte intégral et bibtex
https://hal.science/hal-01091736/file/report.pdf BibTex
titre
Inverse monoids of higher-dimensional strings
auteur
David Janin
article
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia
Accès au texte intégral et bibtex
https://hal.science/hal-01165724/file/full.pdf BibTex
titre
Multilabel Classification of Non-Verbal Communication of Emotions
auteur
Pauline Mouawad, Myriam Desainte-Catherine, Jean-Luc Rouas
article
8th International Workshop on Machine Learning and Music, 2015, Vancouver, Canada
Accès au bibtex
BibTex
titre
Non-linear Second order Abstract Categorial Grammars and deletion
auteur
Sylvain Salvati
article
NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-01251127/file/lambda_i.pdf BibTex

Habilitation à diriger des recherches

titre
Lambda-calculus and formal language theory
auteur
Sylvain Salvati
article
Computer Science [cs]. Université de Bordeaux, 2015
Accès au texte intégral et bibtex
https://hal.science/tel-01253426/file/hdr.pdf BibTex

Poster communications

titre
Le séquenceur interactif multimédia i-score
auteur
Jaime Arias, Jean-Michaël Celerier
article
Journées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01245350/file/poster_jdev2015_iscore_jaime_arias.pdf BibTex

Reports

titre
Free inverse monoids up to rewriting
auteur
David Janin
article
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01182934/file/full.pdf BibTex
titre
From out-of-time design to in-time production of temporal media
auteur
Paul Hudak, David Janin
article
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01182995/file/paper.pdf BibTex

Theses

titre
A high-level formalism for natural language processing
auteur
Jérôme Kirman
article
Informatique et langage [cs.CL]. Université de Bordeaux, 2015. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01251668/file/these.pdf BibTex

Preprints, Working Papers, ...

titre
A model for divergence insensitive properties of lambdaY-terms
auteur
Sylvain Salvati, Igor Walukiewicz
article
2015
Accès au texte intégral et bibtex
https://hal.science/hal-01169352/file/hal-version.pdf BibTex

2014

Journal articles

titre
A syntactic congruence for languages of birooted trees
auteur
Achim Blumensath, David Janin
article
Semigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00947972/file/RR-1478-14.pdf BibTex
titre
The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages
auteur
Makoto Kanazawa, Gregory M. Kobele, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka
article
Theory of Computing Systems, 2014, 55 (1), pp.250-278. ⟨10.1007/s00224-014-9534-z⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01251232/file/MCFL_not_iterative.pdf BibTex

Conference papers

titre
A symbolic model for timed concurrent constraint programming
auteur
Jaime Arias, Michell Guzmán, Carlos Olarte
article
Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01257078/file/lsfa-2.pdf BibTex
titre
Tiled Polymorphic Temporal Media
auteur
Paul Hudak, David Janin
article
2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design (FARM), Sep 2014, Gothenburg, Sweden. pp.49-60, ⟨10.1145/2633638.2633649⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00955113/file/RR1479-14.pdf BibTex
titre
Embedding finite and infinite words into overlapping tiles
auteur
Anne Dicky, David Janin
article
Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00910002/file/RR-1475-13.pdf BibTex
titre
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
auteur
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
article
14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. ⟨10.1109/ACSD.2014.23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01095176/file/article.pdf BibTex
titre
Executing Hierarchical Interactive Scores in ReactiveML
auteur
Jaime Arias, Myriam Desainte-Catherine, Sylvain Salvati, Camilo Rueda
article
Journées d'Informatique Musicale 2014, May 2014, Bourges, France
Accès au texte intégral et bibtex
https://hal.science/hal-01095159/file/article.pdf BibTex
titre
Algebraic tools for the overlapping tile product
auteur
Etienne Dubourg, David Janin
article
8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. pp.335-346
Accès au texte intégral et bibtex
https://hal.science/hal-00879465/file/RR-1476-13.pdf BibTex
titre
Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems
auteur
David Janin
article
40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. pp.7-20, ⟨10.1007/978-3-319-04298-5_2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00879463/file/RR-1477-13.pdf BibTex
titre
Programmer avec des tuiles musicales: le T-calcul en Euterpea
auteur
Paul Hudak, David Janin
article
Actes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10
Accès au texte intégral et bibtex
https://hal.science/hal-00978355/file/JIM2014-Hudak-janin.pdf BibTex

2013

Journal articles

titre
Towards an Hybrid Temporal Paradigm for Musical Composition and Performance
auteur
Myriam Desainte-Catherine, Antoine Allombert, Gérard Assayag
article
Computer Music Journal, 2013, 37 (2), pp. 61-72
Accès au bibtex
BibTex

2012

Conference papers

titre
Loader and Urzyczyn Are Logically Related
auteur
Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
article
ICALP, 2012, Warwick, France. pp.364-376
Accès au texte intégral et bibtex
https://hal.science/hal-00959623/file/BGMS.pdf BibTex

2008

Conference papers

titre
RetroSpat: a Perception-Based System for Semi-Automatic Diffusion of Acousmatic Music
auteur
Joan Mouba, Sylvain Marchand, Boris Mansencal, Jean-Michel Rivet
article
Sound and Music Computing (SMC), Jul 2008, Berlin, Germany. pp.33-40
Accès au texte intégral et bibtex
https://hal.science/hal-00351948/file/smc08.pdf BibTex

2007

Conference papers

titre
SCRIME Studio Report
auteur
M. Desainte-Catherine, Sylvain Marchand, Pierre Hanna, M. Lagrange, Matthias Robine, Martin Raspaud, Robert Strandh, Antoine Allombert, Guillaume Meurisse, Joan Mouba, Jean-Louis Di Santo, Gyorgy Kurtag
article
Proceedings of the International Computer Music Conference (ICMC07), Aug 2007, Copenhagen, Denmark. pp.317--320
Accès au texte intégral et bibtex
https://hal.science/hal-00308408/file/icmc0_.pdf BibTex
titre
Pédagogie de l'électroacoustique, du geste musical à la composition assistée par ordinateur
auteur
G. Kurtag, Jean-Louis Di Santo, M. Desainte-Catherine, Philippe Guillem
article
Proceedings of the Journées d'Informatique Musicale (JIM07), 2007, Lyon, France. pp 73--78
Accès au texte intégral et bibtex
https://hal.science/hal-00308204/file/Pedagogie_de_lelectroacoustique_du_geste_musical_.pdf BibTex

2004

Journal articles

titre
Playing With Sounds as Playing Video Games
auteur
M. Desainte-Catherine, Gyorgy Kurtag, Sylvain Marchand, Catherine Semal, Pierre Hanna
article
Computers in Entertainment, 2004, 2, pp.16
Accès au bibtex
BibTex

2003

Conference papers

titre
Logiciels libres du SCRIME
auteur
M. Desainte-Catherine
article
Résonances, IRCAM, Paris, Oct 2003, Paris, France. pp.électronique
Accès au bibtex
BibTex
titre
Spécification de la synthèse sonore appliquéeà la pédagogie musicale
auteur
Myriam Desainte-Catherine, György Kurtag
article
Journées d'Informatique Musicale, Jun 2003, Montbéliard, France
Accès au texte intégral et bibtex
https://hal.science/hal-02994196/file/p.pdf BibTex
titre
Towards a Specification of Musical Interactive Pieces
auteur
M. Desainte-Catherine, N. Brousse
article
Proc. of the CIM XIX, Firenze, Italy, May 2003, Firenze, Italy, Italy. pp.159-162
Accès au bibtex
BibTex

2002

Conference papers

titre
DOLABIP : Un éveil musical avec l'ordinateur
auteur
M. Desainte-Catherine, Gyorgy Kurtag, Bénédicte Gourdon, Sylvain Marchand, Catherine Semal
article
Colloque Apprendre avec l'ordinateur à l'école, Jan 2002, Bordeaux, France. pp.13
Accès au bibtex
BibTex
titre
Time Modeling for Musical Composition
auteur
M. Desainte-Catherine, A. Beurivé
article
proceedings of FSKD'02, Singapore, 2002, Singapore, Singapore. pp.394-400
Accès au bibtex
BibTex
titre
La pédagogie de l'interactivité
auteur
M. Desainte-Catherine, G. Kurtag
article
conférence du 10e anniversaire de l'ESCOM (European Society of the Cognitive Sciences of Music), Liège, Belgique, 2002, Liège (Belgique), Belgique
Accès au bibtex
BibTex

2000

Journal articles

titre
High Precision Fourier Analysis of Sounds Using Signal Derivatives
auteur
M. Desainte-Catherine, Sylvain Marchand
article
Journal of the Audio Engineering Society, 2000, 48, pp.654--667
Accès au bibtex
BibTex

1999

Conference papers

titre
Structured Additive Synthesis: Towards a Model of Sound Timbre and Electroacoustic Music Forms
auteur
M. Desainte-Catherine, Sylvain Marchand
article
Proceedings of the International Computer Music Conference (ICMC99), Oct 1999, Beijing (CN), China. pp.260--263
Accès au texte intégral et bibtex
https://hal.science/hal-00308406/file/icmc_1.pdf BibTex
titre
Vers un modele pour unifier musique et son dans une composition multiechelle
auteur
M. Desainte-Catherine, Sylvain Marchand
article
Journées d'Informatique Musicale, May 1999, Paris, France. pp.59--68
Accès au texte intégral et bibtex
https://hal.science/hal-00308407/file/jim_1.pdf BibTex