Sites Inria

English version

Equipe de recherche POSET

Publications de l'équipe POSET

2017

Communication dans un congrès

titre
Causalité dans les calculs d'événements
auteur
Bernard Serpette, David Janin
article
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France. JFLA 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403369/file/jfla2017.pdf BibTex
titre
Unified Media Programming: An Algebraic Approach
auteur
Simon Archipoff, David Janin
article
5th ACM SIGPLAN International Work- shop on Functional Art, Music, Modeling and Design (FARM), 2017, Oxford, United Kingdom. 2017, 〈10.1145/3122938.3122943〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01571133/file/ArchipoffJanin.pdf BibTex

2016

Article dans une revue

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, Taylor & Francis (Routledge), 2016, pp.1 - 19. 〈10.1080/09298215.2016.1248444〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399925/file/main.pdf BibTex

Communication dans un congrès

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. Proceedings of the International Computer Music Conference 2016, 2016, 〈http://www.icmc2016.com〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. Proceedings of the 13th Sound and Music Computing Conference, 2016, 〈http://quintetnet.hfmt-hamburg.de/SMC2016/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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
The Fourth International Workshop on Musical Metacreation (MUME 2016), Jun 2016, Paris, France. 2016, 〈http://musicalmetacreation.org/mume-2016〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. TENOR 2016 proceedings, 2016, 〈http://tenor2016.tenor-conference.org/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01246584/file/23_Janin_tenor2016.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. Journées d'informatique musicale 2016, pp.82-92, 2016, Journées d'informatique musicale 2016. 〈http://jim2016.gmea.net/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01300348/file/pp82-92.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. Journées d'Informatique Musicale (JIM), 2016, 〈http://jim2016.gmea.net/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Journées d’Informatique Musicale (JIM), 〈http://jim2016.gmea.net/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01326557/file/paper.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. Journées Francophones des Langages Applicatifs, 2016, 〈http://jfla.inria.fr〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01350525/file/T-calculus.pdf BibTex

Chapitre d'ouvrage

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://hal.inria.fr/hal-01389848/file/SimulationTravailTheatralNotationInformatiqueAuteur.pdf BibTex

Poster

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.archives-ouvertes.fr/hal-01300355/file/template_Beamer.pdf BibTex

Rapport

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

Article dans une revue

titre
The IO and OI hierarchies revisited
auteur
Gregory Kobele, Sylvain Salvati
article
Information and Computation, Elsevier, 2015, 243, pp.205-221. 〈http://dx.doi.org/10.1016/j.ic.2014.12.015〉. 〈10.1016/j.ic.2014.12.015〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251097/file/io_and_oi_revisited.pdf BibTex
titre
Using Models to Model-check Recursive Schemes
auteur
Sylvain Salvati, Igor Walukiewicz
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013, 〈http://www.lmcs-online.org/ojs/viewarticle.php?id=1490&layout=abstract&iid=59〉. 〈10.2168/LMCS-???〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251224/file/m.pdf BibTex
titre
A logical approach to grammar description
auteur
Lionel Clément, Jérôme Kirman, Sylvain Salvati
article
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 〈http://jlm.ipipan.waw.pl/index.php/JLM/article/view/94/95〉. 〈10.15398/jlm.v3i1.94〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251222/file/cks.pdf BibTex
titre
Two-way automata and regular languages of overlapping tiles
auteur
Anne Dicky, David Janin
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 142, pp.1-33. 〈10.3233/FI-2015-1280〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00717572/file/report-tiled-two-way.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, Elsevier, 2015, 81 (7), pp.1252 - 1277. 〈http://www.sciencedirect.com/science/article/pii/S0022000015000264〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564552/file/mix.pdf BibTex
titre
On labeled birooted tree languages: algebras, automata and logic
auteur
David Janin
article
Journal of Information and Computation, Elsevier, 2015, 243, pp.222 - 248. 〈http://www.sciencedirect.com/science/article/pii/S0890540114001680〉. 〈10.1016/j.ic.2014.12.016〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00982538/file/RR1467-13-Extended.pdf BibTex

Communication dans un congrès

titre
Ordered Tree-Pushdown Systems
auteur
Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz
article
FSTTCS 2015, Dec 2015, Bangalore, India. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 45, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. 〈http://www.fsttcs.org/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 41, 〈http://dx.doi.org/10.4230/LIPIcs.CSL.2015.229〉. 〈10.4230/LIPIcs.CSL.2015.229〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01145494/file/m.pdf BibTex
titre
An Efficient Implementation of Tiled Polymorphic Temporal Media
auteur
Simon Archipoff
article
ICFP FARM, Sep 2015, Vancouver, Canada. 2015, Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design. 〈www.icfpconference.or〉. 〈10.1145/2808083.2808089〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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. 9110, pp.29-41, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-20603-5_3〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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-
article
TENOR2015, May 2015, Paris, France. 〈http://tenor2015.tenor-conference.org/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01129316/file/article.pdf BibTex
titre
Typing weak MSOL properties
auteur
Sylvain Salvati, Igor Walukiewicz
article
FOSSACS'15, Apr 2015, London, United Kingdom. FOSSACS 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01091736/file/report.pdf BibTex
titre
Non-linear Second order Abstract Categorial Grammars and deletion
auteur
Sylvain Salvati
article
NLCS 2015: Natural Language and Computer Science, 2015, Kyoto, Japan. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251127/file/lambda_i.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. Springer, 9399, 2015, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2015
Accès au bibtex
BibTex

HDR

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.archives-ouvertes.fr/tel-01253426/file/hdr.pdf BibTex

Poster

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, 〈http://devlog.cnrs.fr/jdev2015〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01245350/file/poster_jdev2015_iscore_jaime_arias.pdf BibTex

Rapport

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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01182995/file/paper.pdf BibTex

Thèse

titre
Mise au point d'un formalisme de haut niveau pour le traitement automatique des langues
auteur
Jérôme Kirman
article
Informatique et langage [cs.CL]. Université de Bordeaux, 2015. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01251668/file/these.pdf BibTex
titre
Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices
auteur
Jaime Arias
article
Computer Science [cs]. Université de Bordeaux, 2015. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01245370/file/main.pdf BibTex

Pré-publication, Document de travail

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.archives-ouvertes.fr/hal-01169352/file/hal-version.pdf BibTex

2014

Article dans une revue

titre
A syntactic congruence for languages of birooted trees
auteur
Achim Blumensath, David Janin
article
Semigroup Forum, Springer Verlag, 2014, 91 (3), pp.675-698. 〈10.1007/s00233-014-9677-x〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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 Kobele, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka
article
Theory of Computing Systems, Springer Verlag, 2014, 55 (1), pp.250-278. 〈10.1007/s00224-014-9534-z〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251232/file/MCFL_not_iterative.pdf BibTex

Communication dans un congrès

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. 312, pp.161-177, 2015, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2015.04.010〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2014, 〈10.1145/2633638.2633649〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00955113/file/RR1479-14.pdf BibTex
titre
Embedding finite and infinite words into overlapping tiles
auteur
Anne Dicky, David Janin
article
A.A. Bulatov and A.M. Shur. Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. Springer, 8633, pp.339-347, 2014, LNCS. 〈10.1007/978-3-319-09698-8_30〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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. springer, 8370, pp.335-346, 2014, LNCS
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Springer, 8327, pp.7-20, LNCS. 〈10.1007/978-3-319-04298-5_2〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00978355/file/JIM2014-Hudak-janin.pdf BibTex

2013

Article dans une revue

titre
Towards an Hybrid Temporal Paradigm for Musical Composition and Performance
auteur
Myriam Desainte-Catherine, Antoine Allombert, Gérard Assayag
article
Computer Music Journal, Massachusetts Institute of Technology Press (MIT Press): Arts & Humanities Titles etc, 2013, 37 (2), pp. 61-72
Accès au bibtex
BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !