David Janin

Présentation

Modélisation algébrique uniforme de flux de données spatio-temporelles (musique, son, dessin, animation, contrôle, etc...) pour application, notamment, à la programmation de systèmes multimodaux.

Publications

Article dans une revue (11)

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

Communication dans un congrès (40)

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

Pré-publication, Document de travail (1)

Spatio-temporal domains: an overview David Janin 2018 Pré-publication, Document de travail hal-01634897v2

Rapport (4)

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

Ouvrages (1)

33èmes journées francophones des langages applicatifs Chantal Keller,Timothy Bourke,Sandrine Blazy,Frédéric Bour,Guillaume Buryet al. Chantal Keller; Timothy Bourke. , pp.1-292, 2022 Ouvrages hal-03689075v1

HDR (1)

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