Journal articles
2016
- titre
- FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.
- auteur
- Florent Jacquemard, Luc Segoufin, Jérémie Dimino
- article
- Logical Methods in Computer Science, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Testing for Building Reliable Realtime Interactive Music Systems
- auteur
- Clement Poncelet, Florent Jacquemard
- article
- Science of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172
- Accès au texte intégral et bibtex
-
- titre
- An Automatic Test Framework for Interactive Music Systems
- auteur
- Florent Jacquemard, Clément Poncelet
- article
- Journal of New Music Research, 2016, 45 (2), pp.18
- Accès au texte intégral et bibtex
-
- titre
- A visual framework for dynamic mixed music notation
- auteur
- Grigore Burloiu, Arshia Cont, Clement Poncelet
- article
- Journal of New Music Research, 2016, ⟨10.1080/09298215.2016.1245345⟩
- Accès au texte intégral et bibtex
-
- titre
- One-variable context-free hedge automata
- auteur
- Florent Jacquemard, Michael Rusinowitch
- article
- Journal of Computer and System Sciences, 2016, ⟨10.1016/j.jcss.2016.10.006⟩
- Accès au texte intégral et bibtex
-
- titre
- Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering
- auteur
- Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher, René Doursat
- article
- ACS Synthetic Biology, 2016, 5 (8), pp.842-861. ⟨10.1021/acssynbio.5b00246⟩
- Accès au bibtex
-
2015
- titre
- Lattice-based and topological representations of binary relations with an application to music
- auteur
- Anton Freund, Moreno Andreatta, Jean-Louis Giavitto
- article
- Annals of Mathematics and Artificial Intelligence, 2015, 73 (3-4), pp.311-334. ⟨10.1007/s10472-014-9445-3⟩
- Accès au texte intégral et bibtex
-
2014
- titre
- A Reactive Extension of the OpenMusic Visual Programming Language
- auteur
- Jean Bresson, Jean-Louis Giavitto
- article
- Journal of Visual Languages and Computing, 2014, 25 (4), pp.363-375. ⟨10.1016/j.jvlc.2014.03.003⟩
- Accès au texte intégral et bibtex
-
2013
- titre
- Operational semantics of a domain specific language for real time musician-computer interaction
- auteur
- José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
- article
- Discrete Event Dynamic Systems, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩
- Accès au texte intégral et bibtex
-
- titre
- Unconventional and Nested Computations in Spatial Computing
- auteur
- Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
- article
- International Journal of Unconventional Computing, 2013, 9 (1-2), pp.71-95
- Accès au bibtex
-
- titre
- An information-geometric approach to real-time audio segmentation
- auteur
- Arnaud Dessein, Arshia Cont
- article
- IEEE Signal Processing Letters, 2013, 20 (4), pp.331-334. ⟨10.1109/LSP.2013.2247039⟩
- Accès au texte intégral et bibtex
-
- titre
- Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
- auteur
- Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
- article
- Logical Methods in Computer Science, 2013, 9 (2), pp.1-39
- Accès au texte intégral et bibtex
-
2012
- titre
- Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules
- auteur
- Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
- article
- Theoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩
- Accès au texte intégral et bibtex
-
- titre
- Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems
- auteur
- Adel Bouhoula, Florent Jacquemard
- article
- Journal of Applied Logic, 2012, 10 (1), pp.127-143. ⟨10.1016/j.jal.2011.09.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Synchronisme musical et musiques mixtes: du temps écrit au temps produit
- auteur
- Arshia Cont
- article
- Circuit : musiques contemporaines, 2012, Arts de la synchronisation, 22 (1)
- Accès au texte intégral et bibtex
-
2011
- titre
- On the Information Geometry of Audio Streams with Applications to Similarity Computing
- auteur
- Arshia Cont, Shlomo Dubnov, Gérard Assayag
- article
- IEEE Transactions on Audio, Speech and Language Processing, 2011, 19 (4), pp.837-846. ⟨10.1109/TASL.2010.2066266⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing with bacterial constituents, cells and populations: from bioputing to bactoputing
- auteur
- Vic Norris, Abdallah Zemirline, Patrick Amar, Jean Nicolas Audinot, Pascal Ballet, Eshel Ben-Jacob, Gilles Bernot, Guillaume Beslon, Armelle Cabin, Eric Fanchon, Jean-Louis Giavitto, Nicolas Glade, Patrick Greussay, Yohann Grondin, James A Foster, Guillaume Hutzler, Jürgen Jost, Francois Kepes, Olivier Michel, Franck Molina, Jacqueline Signorini, Pasquale Stano, Alain R Thierry
- article
- Theorie in den Biowissenschaften / Theory in Biosciences, 2011, 130 (3), pp.211-228. ⟨10.1007/s12064-010-0118-4⟩
- Accès au bibtex
-
2010
- titre
- A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment
- auteur
- Arshia Cont
- article
- IEEE Transactions on Pattern Analysis and Machine Intelligence, 2010, 32, pp.974-987. ⟨10.1109/TPAMI.2009.106⟩
- Accès au texte intégral et bibtex
-
Conference papers
2017
- titre
- Generating equivalent rhythmic notations based on rhythm tree languages
- auteur
- Florent Jacquemard, Adrien Ycart, Masahiko Sakai
- article
- Third International Conference on Technologies for Music Notation and Representation (TENOR), Helena Lopez Palma and Mike Solomon, May 2017, Coroña, Spain
- Accès au texte intégral et bibtex
-
- titre
- Typing heterogeneous dataflow graphs for static buffering and scheduling
- auteur
- Pierre Donat-Bouillud, Jean-Louis Giavitto
- article
- ICMC 2017 - 43rd International Computer Music Conference, Oct 2017, Shanghai, China
- Accès au texte intégral et bibtex
-
2016
- titre
- Embedding native audio-processing in a score following system with quasi sample accuracy
- auteur
- Pierre Donat-Bouillud, Jean-Louis Giavitto, Arshia Cont, Nicolas Schmidt, Yann Orlarey
- article
- ICMC 2016 - 42th International Computer Music Conference, Sep 2016, Utrecht, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration
- auteur
- Adrien Ycart, Florent Jacquemard, Jean Bresson, Slawomir Staworko
- article
- International Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- A weakly-supervised discriminative model for audio-to-score alignment
- auteur
- Rémi Lajugie, Piotr Bojanowski, Philippe Cuvillier, Sylvain Arlot, Francis Bach
- article
- 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Mar 2016, Shanghai, China
- Accès au texte intégral et bibtex
-
- titre
- Some results on confluence: decision and what to do without
- auteur
- Florent Jacquemard
- article
- 5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria
- Accès au texte intégral et bibtex
-
2015
- titre
- Non-overlapping, Time-coherent Visualisation of Action Commands in the AscoGraph Interactive Music User Interface
- auteur
- Grigore Burloiu, Arshia Cont
- article
- First International Conference on Technologies for Music Notation and Representation, May 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- A topological approach of musical relationships
- auteur
- Jean-Louis Giavitto
- article
- Mathemusical Conversations, National University of Singapore and Institute for Mathematical Science (Singapore) and Yong Siew Toh Conservatory of Music, Feb 2015, Singapour, Singapore
- Accès au bibtex
-
- titre
- An online EM algorithm in hidden (semi-)Markov models for audio segmentation and clustering
- auteur
- Alberto Bietti, Francis Bach, Arshia Cont
- article
- ICASSP 2015 - 40th IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2015, Brisbane, Australia
- Accès au texte intégral et bibtex
-
- titre
- Model Based Testing of an Interactive Music System
- auteur
- Clément Poncelet, Florent Jacquemard
- article
- Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695804⟩
- Accès au texte intégral et bibtex
-
- titre
- A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting
- auteur
- Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson
- article
- Mathematics and Computation in Music: 5th International Conference, MCM 2015, Oscar Bandtlow and Elaine Chew, Jun 2015, London, United Kingdom. pp.12
- Accès au texte intégral et bibtex
-
- titre
- Synchronization in Music Group Playing
- auteur
- Iris Yuping Ren, René Doursat, Jean-Louis Giavitto
- article
- International Symposium on Computer Music Multidisciplinary Research (CMMR), Jun 2015, Plymouth, United Kingdom. 510--517 (in electronic proceedings)
- Accès au texte intégral et bibtex
-
- titre
- Real-Time Audio-to-Score Alignment of Singing Voice Based on Melody and Lyric Information
- auteur
- Rong Gong, Philippe Cuvillier, Nicolas Obin, Arshia Cont
- article
- Interspeech, Sep 2015, Dresde, Germany
- Accès au texte intégral et bibtex
-
- titre
- Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures
- auteur
- Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher, René Doursat
- article
- ECAL 2015 - 13th European Conference on Artificial Life, Paul Andrews, Leo Caves, René Doursat, Simon Hickinbotham, Fiona Polack, Susan Stepney, Tim Taylor and Jon Timmis, Jul 2015, York, United Kingdom. ⟨10.7551/978-0-262-33027-5-ch115⟩
- Accès au texte intégral et bibtex
-
- titre
- Autoregressive hidden semi-Markov model of symbolic music performance for score following
- auteur
- Eita Nakamura, Philippe Cuvillier, Arshia Cont, Nobutaka Ono, Shigeki Sagayama
- article
- 16th International Society for Music Information Retrieval Conference (ISMIR), Oct 2015, Malaga, Spain
- Accès au texte intégral et bibtex
-
- titre
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
- auteur
- Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
- article
- 25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany
- Accès au texte intégral et bibtex
-
- titre
- Towards an Equational Theory of Rhythm Notation
- auteur
- Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai
- article
- Music Encoding Conference 2015, May 2015, Florence, Italy
- Accès au texte intégral et bibtex
-
- titre
- Visualizing Timed, Hierarchical Code Structures in AscoGraph
- auteur
- Grigore Burloiu, Arshia Cont
- article
- International Conference on Information Visualisation, University of Barcelona, Jul 2015, Barcelona, Spain
- Accès au texte intégral et bibtex
-
2014
- titre
- AscoGraph: A User Interface for Sequencing and Score Following for Interactive Music
- auteur
- Thomas Coffy, Jean-Louis Giavitto, Arshia Cont
- article
- ICMC 2014 - 40th International Computer Music Conference, Sep 2014, Athens, Greece
- Accès au texte intégral et bibtex
-
- titre
- Planning Human-Computer Improvisation
- auteur
- Jérôme Nika, José-Manuel Echeveste, Marc Chemillier, Jean-Louis Giavitto
- article
- International Computer Music Conference, Sep 2014, Athens, Greece
- Accès au texte intégral et bibtex
-
- titre
- Coherent Time Modeling of semi-Markov Models with Application to Real-Time Audio-to-Score Alignment
- auteur
- Philippe Cuvillier, Arshia Cont
- article
- MLSP 2014 - IEEE International Workshop on Machine Learning for Signal Processing (2014), Mboup, Mamadou, Sep 2014, Reims, France
- Accès au texte intégral et bibtex
-
- titre
- The Cyber-Physical System Approach for Automatic Music Accompaniment in Antescofo
- auteur
- Arshia Cont, José Echeveste, Jean-Louis Giavitto
- article
- Acoustical Society Of America, May 2014, Providence, Rhode Island, United States
- Accès au bibtex
-
- titre
- Real Time Tempo Canons with Antescofo
- auteur
- Christopher Trapani, José Echeveste
- article
- International Computer Music Conference, Sep 2014, Athens, Greece. pp.207
- Accès au texte intégral et bibtex
-
- titre
- Time-coherency of Bayesian priors on transient semi-Markov chains for audio-to-score alignment
- auteur
- Philippe Cuvillier
- article
- MaxEnt 2014, SEE, Sep 2014, Amboise, France
- Accès au texte intégral et bibtex
-
- titre
- Real-Time Matching of Antescofo Temporal Patterns
- auteur
- Jean-Louis Giavitto, José Echeveste
- article
- PPDP 2014 - 16th International Symposium on Principles and Practice of Declarative Programming, Sep 2014, Canterbury, United Kingdom. pp. 93-104 ⟨10.1145/2643135.2643158⟩
- Accès au texte intégral et bibtex
-
- titre
- Test Methods for Score-Based Interactive Music Systems
- auteur
- Clément Poncelet Sanchez, Florent Jacquemard
- article
- ICMC SMC 2014, Sep 2014, Athen, Greece
- Accès au texte intégral et bibtex
-
2013
- titre
- Spatial Programming for Musical Transformations and Harmonization
- auteur
- Louis Bigo, Jean-Louis Giavitto, Antoine Spicher
- article
- Spatial Computing Workshiop (SCW), May 2013, Saint-Paul, Minesota, United States. p. 9-16
- Accès au bibtex
-
- titre
- Saliency-based modeling of acoustic scenes using sparse non-negative matrix factorization
- auteur
- Benjamin Cauchi, Mathieu Lagrange, Nicolas Misdariis, Arshia Cont
- article
- Workshop on Image and Audio Analysis for Multimedia Interactive, Jul 2013, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Formal Timing Analysis Of Mixed Music Scores
- auteur
- Léa Fanchon, Florent Jacquemard
- article
- 2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia
- Accès au texte intégral et bibtex
-
- titre
- From Authored to Produced Time in Computer-Musician Interactions
- auteur
- Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
- article
- CHI 2013 Workshop on Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction, John Thomas, Yue Pan, Thomas Erickson, Eli Blevis, Catherine Letondal, Aurélien Tabard, Apr 2013, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Unranked Tree Rewriting and Effective Closures of Languages
- auteur
- Florent Jacquemard, Michaël Rusinowitch
- article
- Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- Chromax, the other side of the spectral delay between signal processing and composition
- auteur
- Arshia Cont, Marco Stroppa, Carlo Laurenzi
- article
- Digital Audio Effects (DAFx), Sep 2013, Maynooth, Ireland
- Accès au texte intégral et bibtex
-
- titre
- Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes
- auteur
- Louis Bigo, Jean-Louis Giavitto, Moreno Andreatta, Olivier Michel, Antoine Spicher
- article
- MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. pp.38-51, ⟨10.1007/978-3-642-39357-0_3⟩
- Accès au texte intégral et bibtex
-
- titre
- A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
- auteur
- Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet
- article
- EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada
- Accès au texte intégral et bibtex
-
- titre
- Rewrite Closure and CF Hedge Automata
- auteur
- Florent Jacquemard, Michael Rusinowitch
- article
- 7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
- Accès au texte intégral et bibtex
-
- titre
- Online change detection in exponential families with unknown parameters
- auteur
- Arnaud Dessein, Arshia Cont
- article
- GSI 2013 First International Conference Geometric Science of Information, Aug 2013, Paris, France. pp.633-640, ⟨10.1007/978-3-642-40020-9_70⟩
- Accès au texte intégral et bibtex
-
2012
- titre
- Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo
- auteur
- Arshia Cont, José Echeveste, Jean-Louis Giavitto, Florent Jacquemard
- article
- ICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia
- Accès au texte intégral et bibtex
-
- titre
- Spatial Computing in MGS
- auteur
- Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
- article
- 11th International Conference Unconventional Computation & Natural Computation (UCNC 2012)., Sep 2012, Orléans, France. pp.63-69, ⟨10.1007/978-3-642-32894-7_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Arbitrary Nesting of Spatial Computations
- auteur
- Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
- article
- Spatial Computing Workshop, Jun 2012, Valencia, Spain. pp.25-32
- Accès au texte intégral et bibtex
-
2011
- titre
- Accelerating the Mixing Phase in Studio Recording Productions by Automatic Audio Alignemtnt
- auteur
- Nicola Montecchio, Arshia Cont
- article
- International Symposium on Music Information Retrieval (ISMIR), Oct 2011, Miami, Florida, United States
- Accès au texte intégral et bibtex
-
Book sections
2017
- titre
- Interaction-based Programming in MGS
- auteur
- Antoine Spicher, Jean-Louis Giavitto
- article
- Andrew Adamatzky. Advances in Unconventional Computing - Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. ⟨10.1007/978-3-319-33924-5⟩
- Accès au bibtex
-
2016
- titre
- A Topological Approach of Musical Relationships
- auteur
- Jean-Louis Giavitto, Antoine Spicher
- article
- Jordan B L Smith (National Institute for Advanced Industrial Research and Technology (AIST) Japan); Elaine Chew (Queen Mary University of London, UK); Gérard Assayag (IRCAM - UMPC - CNRS, Science and Technology of Music and Sound Lab, France). Mathemusical Conversations - Mathematics and Computation in Music Performance and Composition, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (32), World Scientific, pp.283--298, 2016, 978-981-3140-09-7
- Accès au bibtex
-
2013
- titre
- Real-time detection of overlapping sound events with non-negative matrix factorization
- auteur
- Arnaud Dessein, Arshia Cont, Guillaume Lemaitre
- article
- Nielsen, Frank and Bhatia, Rajendra. Matrix Information Geometry, Springer, pp.341-371, 2013, 978-3-642-30232-9. ⟨10.1007/978-3-642-30232-9_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Interaction−Based Modeling of Morphogenesis in MGS
- auteur
- Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
- article
- R. Doursat and H. Sayama. Morphogenetic Engineering, Springer, pp.409-440, 2013, Understanding Complex Systems, 978-3-642-33901-1. ⟨10.1007/978-3-642-33902-8_16⟩
- Accès au bibtex
-
Master thesis
2015
- titre
- Multimedia scheduling for interactive multimedia systems
- auteur
- Pierre Donat-Bouillud
- article
- Multimedia [cs.MM]. 2015
- Accès au texte intégral et bibtex
-
- titre
- Quantification rythmique dans OpenMusic
- auteur
- Adrien Ycart
- article
- Automatique. 2015
- Accès au texte intégral et bibtex
-
2014
- titre
- Online learning for audio clustering and segmentation
- auteur
- Alberto Bietti
- article
- Machine Learning [cs.LG]. 2014
- Accès au texte intégral et bibtex
-
Books
2013
- titre
- Musical Research at Ircam
- auteur
- Arshia Cont
- article
- Cont, Arshia. Taylor & Francis, pp.1-114, 2013, 0749-4467. ⟨10.1080/07494467.2013.774121⟩
- Accès au bibtex
-
- titre
- Proceedings of the Spatial Computing Workshop (SCW 2013) colocated with AAMAS (W09)
- auteur
- Jean-Louis Giavitto, Stefan O. Dulman, Antoine Spicher, Mirko Viroli
- article
- IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.92, 2013
- Accès au texte intégral et bibtex
-
2012
- titre
- Proceedings of the Spatial Computing Workshop (SCW 2012) colocated with AAMAS (W21)
- auteur
- Jacob Beal, Stefan O. Dulman, Jean-Louis Giavitto, Antoine Spicher
- article
- IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.60, 2012
- Accès au texte intégral et bibtex
-
Poster communications
2014
- titre
- Test methods for Score-Based Interactive Music Systems Toward a formal Specification
- auteur
- Clément Poncelet, Florent Jacquemard
- article
- ICMC/SMC 2014, Sep 2014, Athène, Greece
- Accès au texte intégral et bibtex
-
2013
- titre
- Génération de tests de conformité pour un système musical interactif temps-réel
- auteur
- Clement Poncelet
- article
- MSR'13, Nov 2013, Rennes, France
- Accès au texte intégral et bibtex
-
Documents associated with scientific events
2013
- titre
- Tree Automata with Constraints: a brief survey
- auteur
- Emmanuel Filiot, Florent Jacquemard, Sophie Tison
- article
- Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
- Accès au texte intégral et bibtex
-