Skip to Main content

Keywords

Semantics Synchronization structures Inverse semigroup Partially ordered monoid Control live-looping Formal language theory Inverse semigroups Media arts Pebble automata Monadic second order logic Algebraic recognizability Audio reconstruction Premorphism Models of audio patterns Domain specific languages Formal languages Premorphisms Prehomomorphism Mu-calculus Birooted graphs
› Full list
Number of documents

55

David Janin

How to synchronize, mix, combine, transform temporal media streams as varied as sounds, animations, melodies, videos, while ignoring their nature ? By providing a consistent and robust mathematical modeling, we aim at simplifying the design of interactive timed multimedia application. Polymorphic, this approach could also improve the interoperability between the existing tools. In addition, this research project deals with the modeling of timed and interactive applications in a quite unusual mathematical framework: inverse monoid theory. Its application to the modeling of computer systems could also lead, thanks to its richness, to a better formalization of incremental,  hierarchical and multi-scale design methods for these interactive systems.

Peut-on synchroniser, mixer, combiner, coordonner, transformer des flux media temporisés de natures diverses tels que des sons, des animations, des mélodies, des vidéos, tout en faisant abstraction de leur nature ? En offrant une modélisation uniforme et mathématiquement robuste, nous cherchons d'abord à simplifier l'accès à l'outil informatique aux créateurs d'applications multimédia temporisés et interactives. Transversale, cette approche pourrait aussi améliorer l'intéropérabilité entre les outils existants. Au delà, ce projet de recherche traite de la structuration logique des applications temporisées et interactives dans un cadre mathématique jusqu'alors peu exploité: la théorie des monoïdes inversifs. Particulièrement riche, son application à modélisation des systèmes informatiques pourrait aussi conduire à une meilleur formalisation des méthodes de conception incrémentale, hiérarchique et multi-échelle de ces systèmes interactifs.

Journal articles11 documents

  • David Janin. On labeled birooted tree languages: algebras, automata and logic. Journal of Information and Computation, Elsevier, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩. ⟨hal-00982538⟩
  • Anne Dicky, David Janin. Two-way automata and regular languages of overlapping tiles. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩. ⟨hal-00717572v3⟩
  • Achim Blumensath, David Janin. A syntactic congruence for languages of birooted trees. Semigroup Forum, Springer Verlag, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩. ⟨hal-00947972⟩
  • Julien Bernet, David Janin. Une étude des jeux distribués. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 32 (9-10), pp.1007-1041. ⟨hal-00658601v2⟩
  • Florent Berthaut, David Janin, Benjamin Martin. Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach. International Journal of Semantic Computing, World Scientific, 2012, 6 (4), pp.409-427. ⟨10.1142/S1793351X12400132⟩. ⟨hal-00794196⟩
  • David Janin. Vers une modélisation combinatoire des structures rythmiques simples de la musique. Revue Francophone d'Informatique et Musique, Association Francophone d'Informatique Musicale, 2012, 2, http://revues.mshparisnord.org/rfim/index.php?id=222. ⟨hal-00608295v3⟩
  • Anuj Dawar, David Janin. The monadic theory of finite representations of infinite words. Information Processing Letters, Elsevier, 2007, 103, pp.94-101. ⟨hal-00306381⟩
  • David Janin, Giacomo Lenzi. On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applications to the mu-calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2004, 61 (3-4), pp.247--265. ⟨hal-00659987⟩
  • David Janin, Giacomo Lenzi. On the logical definability of topologically closed recognizable languages of infinite trees. Computing and Informatics, Slovak University Press, Bratislava, 2002, 21, pp.185--203. ⟨hal-00659986⟩
  • Julien Bernet, David Janin, Igor Walukiewicz. Permissive strategies : from parity games to safety games. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2002, 36, pp.251--275. ⟨hal-00306411⟩
  • Julien Bernet, David Janin, Igor Walukiewicz. Permissive strategies: from parity games to safety games. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2002, 36, pp.261-275. ⟨hal-00659985⟩

Conference papers38 documents

  • David Janin. An equational modeling of asynchronous concurrent programming. 21st International Symposium on Trends in Functional Programming, Aleksander Byrski and John Hugues, Feb 2020, Krakow, Poland. ⟨hal-02865894⟩
  • Simon Archipoff, David Janin, Bernard Serpette. Des promesses, des actions, par flots, en OCaml. JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02389651⟩
  • David Janin. A Timed IO monad. Practical Aspects of Declarative Languages (PADL), Jan 2020, New Orleans, United States. ⟨10.1007/978-3-030-39197-3_9⟩. ⟨hal-02389321⟩
  • David Janin. Screaming in the IO Monad A Realtime Audio Processing and Control Experiment in Haskell. 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Aug 2019, Berlin, Germany. ⟨10.1145/3331543.3342585⟩. ⟨hal-02368138⟩
  • Simon Archipoff, David Janin. Unified Media Programming: An Algebraic Approach. 5th ACM SIGPLAN International Work- shop on Functional Art, Music, Modeling and Design (FARM), Sep 2017, Oxford, United Kingdom. ⟨10.1145/3122938.3122943⟩. ⟨hal-01571133v2⟩
  • Bernard Serpette, David Janin. Causalité dans les calculs d'événements. JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France. ⟨hal-01403369⟩
  • David Janin. Walking automata in free inverse monoids. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic. ⟨hal-00738793v4⟩
  • Simon Archipoff, David Janin. Pour un raffinement spatio-temporel tuilé. JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France. ⟨hal-01247424⟩
  • Simon Archipoff, David Janin. Vers une programmation réactive structurée . Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France. ⟨hal-01326557⟩
  • Simon Archipoff, Jaime Arias, Edwin Buger, David Janin. Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo). Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France. ⟨hal-01326559⟩
  • David Janin. A robust algebraic framework for high-level music writing and programming. Technologies for Music Notation and Representation (TENOR), May 2016, Cambridge, United Kingdom. ⟨hal-01246584v2⟩
  • Simon Archipoff, David Janin. Structured reactive programming with polymorphic temporal tiles. ACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), 2016, Nara, Japan. ⟨10.1145/2975980.2975984⟩. ⟨hal-01350525⟩
  • David Janin. Inverse monoids of higher-dimensional strings. 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia. ⟨hal-01165724v2⟩
  • David Janin, Myriam Desainte-Catherine. Des signaux aux symphonies : pour une modélisation homogène des objets sonores. Journées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada. ⟨hal-01183097⟩
  • Théis Bazin, David Janin. Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. ⟨hal-01099131⟩
  • Théis Bazin, David Janin. Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell. Journées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France. ⟨hal-01091736⟩
  • Paul Hudak, David Janin. Tiled Polymorphic Temporal Media. 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design (FARM), Sep 2014, Gothenburg, Sweden. pp.49-60, ⟨10.1145/2633638.2633649⟩. ⟨hal-00955113⟩
  • Paul Hudak, David Janin. Programmer avec des tuiles musicales: le T-calcul en Euterpea. Actes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10. ⟨hal-00978355⟩
  • David Janin. Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. 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⟩. ⟨hal-00879463⟩
  • Etienne Dubourg, David Janin. Algebraic tools for the overlapping tile product. 8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. pp.335-346. ⟨hal-00879465⟩
  • Anne Dicky, David Janin. Embedding finite and infinite words into overlapping tiles. Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩. ⟨hal-00910002v2⟩
  • Anne Dicky, David Janin. Modélisation algébrique du dîner des philosophes. Modélisation des systèmes réactifs, 2013, France. pp.29--43, ⟨10.3166/JESA.47⟩. ⟨hal-00856678⟩
  • Florent Berthaut, David Janin, Myriam Desainte-Catherine. libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisés. JIM, May 2013, Saint-Denis, France. pp.45-50. ⟨hal-00790792⟩
  • David Janin. Overlapping tile automata. The 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. pp.431--443, ⟨10.1007/978-3-642-38536-0_37⟩. ⟨hal-00766261v2⟩
  • David Janin. Algebras, automata and logic for languages of labeled birooted trees. ICALP, 2013, Riga, Latvia. pp.318-329, ⟨10.1007/978-3-642-39212-2_29⟩. ⟨hal-00784898v2⟩
  • David Janin, Florent Berthaut, Myriam Desainte-Catherine. Multi-scale design of interactive music systems : the libTuiles experiment. SMC 2013, 2013, Stockholm, Sweden. pp.123-129. ⟨hal-00813313⟩
  • David Janin. On languages of one-dimensional overlapping tiles. SOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. pp.244-256, ⟨10.1007/978-3-642-35843-2_22⟩. ⟨hal-00659202v4⟩
  • David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati. The T-Calculus : towards a structured programing of (musical) time and space. FARM 2013, 2013, Boston, United States. pp.23-34, ⟨10.1145/2505341.2505347⟩. ⟨hal-00789189v3⟩
  • Florent Berthaut, David Janin, Benjamin Martin. Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach. ICSC, Sep 2012, Palermo, Italy. pp.202-209, ⟨10.1109/ICSC.2012.11⟩. ⟨hal-00698963v2⟩
  • David Janin. A Lazy Real-Time System Architecture For Interactive Music. JIM 2012, May 2012, Mons, Belgium. pp.133-139. ⟨hal-00676202v2⟩
  • David Janin. Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles. MFCS, Aug 2012, Bratislava, Slovakia. pp.516-528, ⟨10.1007/978-3-642-32589-2_46⟩. ⟨hal-00671917v3⟩
  • Julien Bernet, David Janin. From asynchronous to synchronous specification for distributed program synthesis. SOFSEM, Jan 2008, Slovakia. pp.161-173. ⟨hal-00339740⟩
  • David Janin. On the (high) undecidability of distributed synthesis problems. SOFSEM, Jan 2007, Czech Republic. pp.320--329. ⟨hal-00306387⟩
  • Julien Bernet, David Janin. On Distributed Program Specification and Synthesis in Architecture with Cycles. Internationnal Conference on Formal Methods for Networked and Distributed Systems (FORTE), Sep 2006, France. pp.175-190. ⟨hal-00306412⟩
  • Dietmar Berwanger, David Janin. Automata on Directed Graphs : Edge versus Vertex Marking. ICGT, Sep 2006, Brazil. pp.46--60. ⟨hal-00306378⟩
  • Julien Bernet, David Janin. Tree automata and discrete distributed games. Fundamentals of Computation Theory (FCT), Aug 2005, Hungary. pp.540--551. ⟨hal-00306410⟩
  • David Janin, Giacomo Lenzi. Relating levels of the mu-calculus hierarchy and levels of the monadic hierachy. LICS, 2001, Boston, United States. pp.347--356. ⟨hal-00659988⟩
  • David Janin, Giacomo Lenzi. On the structure of the monadic logic of the binary tree. MFCS, 1999, Szklarska Poreba, Poland. pp.310-320. ⟨hal-00676277⟩

Preprints, Working Papers, ...1 document

Reports4 documents

  • David Janin, Bernard Paul Serpette. Timed Denotational Semantics for Causal Functions over Timed Streams. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016. ⟨hal-01402209⟩
  • David Janin. Free inverse monoids up to rewriting. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. ⟨hal-01182934⟩
  • Paul Hudak, David Janin. From out-of-time design to in-time production of temporal media. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. ⟨hal-01182995⟩
  • David Janin. On quasi-inverse monoids (and premorphisms). 2012. ⟨hal-00673123v3⟩

Habilitation à diriger des recherches1 document

  • David Janin. A contribution to formal methods : games, logic and automata. Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005. ⟨tel-00659990v2⟩