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
Publications
|
|
Two-way automata and regular languages of overlapping tilesFundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩ |
|
|
On labeled birooted tree languages: algebras, automata and logicInformation and Computation, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩ |
|
|
A syntactic congruence for languages of birooted treesSemigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩ |
|
|
Une étude des jeux distribuésRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (9-10), pp.1007-1041 |
|
|
Vers une modélisation combinatoire des structures rythmiques simples de la musiqueRevue Francophone d'Informatique et Musique, 2012, 2, http://revues.mshparisnord.org/rfim/index.php?id=222 |
|
|
Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic ApproachInternational Journal of Semantic Computing, 2012, 6 (4), pp.409-427. ⟨10.1142/S1793351X12400132⟩ |
|
|
The monadic theory of finite representations of infinite wordsInformation Processing Letters, 2007, 103, pp.94-101 |
|
|
On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applications to the mu-calculusFundamenta Informaticae, 2004, 61 (3-4), pp.247--265 |
|
|
Permissive strategies : from parity games to safety gamesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, 36, pp.251--275 |
|
|
Permissive strategies: from parity games to safety gamesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, 36, pp.261-275 |
|
|
On the logical definability of topologically closed recognizable languages of infinite treesComputing and Informatics, 2002, 21, pp.185--203 |
|
|
Modéliser la structure musicale à l'aide des tuiles hiérarchiquesJournées d'Informatique Musicale 2024, PRISM-CNRS; GMEM, May 2024, Marseille, France |
|
|
Des promesses, des actions, par flots, en OCamlJFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France |
|
|
A Timed IO monadPractical Aspects of Declarative Languages (PADL), Jan 2020, New Orleans, United States. ⟨10.1007/978-3-030-39197-3_9⟩ |
|
|
An equational modeling of asynchronous concurrent programming21st International Symposium on Trends in Functional Programming, Aleksander Byrski and John Hugues, Feb 2020, Krakow, Poland |
|
|
Screaming in the IO Monad A Realtime Audio Processing and Control Experiment in Haskell7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Aug 2019, Berlin, Germany. ⟨10.1145/3331543.3342585⟩ |
|
|
Unified Media Programming: An Algebraic Approach5th ACM SIGPLAN International Work- shop on Functional Art, Music, Modeling and Design (FARM), Sep 2017, Oxford, United Kingdom. ⟨10.1145/3122938.3122943⟩ |
|
|
Causalité dans les calculs d'événementsJFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France |
|
|
Vers une programmation réactive structuréeJournées d’Informatique Musicale (JIM), Mar 2016, Albi, France |
|
|
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France |
|
|
Walking automata in free inverse monoids42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic |
|
|
Pour un raffinement spatio-temporel tuiléJFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France |
|
|
A robust algebraic framework for high-level music writing and programmingTechnologies for Music Notation and Representation (TENOR), May 2016, Cambridge, United Kingdom |
|
|
Structured reactive programming with polymorphic temporal tilesACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), 2016, Nara, Japan. ⟨10.1145/2975980.2975984⟩ |
|
|
Flux média tuilés polymorphes: une sémantique opérationnelle en HaskellVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France |
|
|
Inverse monoids of higher-dimensional strings12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia |
|
|
Des signaux aux symphonies : pour une modélisation homogène des objets sonoresJournées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada |
|
|
Flux média tuilés polymorphes: une sémantique opérationnelle en HaskellJournées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France |
|
|
Embedding finite and infinite words into overlapping tilesDevelopments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩ |
|
|
Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems40th 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⟩ |
|
|
Programmer avec des tuiles musicales: le T-calcul en EuterpeaActes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10 |
|
|
Tiled Polymorphic Temporal Media2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design (FARM), Sep 2014, Gothenburg, Sweden. pp.49-60, ⟨10.1145/2633638.2633649⟩ |
|
|
Algebraic tools for the overlapping tile product8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. pp.335-346 |
|
|
libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisésJournées d'Informatique Musicale, May 2013, Saint-Denis, France. pp.45-50 |
|
|
Algebras, automata and logic for languages of labeled birooted treesICALP, 2013, Riga, Latvia. pp.318-329, ⟨10.1007/978-3-642-39212-2_29⟩ |
|
|
Overlapping tile automataThe 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. pp.431--443, ⟨10.1007/978-3-642-38536-0_37⟩ |
|
|
The T-Calculus : towards a structured programing of (musical) time and spaceFARM 2013, 2013, Boston, United States. pp.23-34, ⟨10.1145/2505341.2505347⟩ |
|
|
Modélisation algébrique du dîner des philosophesModélisation des systèmes réactifs, 2013, France. pp.29--43, ⟨10.3166/JESA.47⟩ |
|
|
On languages of one-dimensional overlapping tilesSOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. pp.244-256, ⟨10.1007/978-3-642-35843-2_22⟩ |
|
|
Multi-scale design of interactive music systems : the libTuiles experimentSMC 2013, 2013, Stockholm, Sweden. pp.123-129 |
|
|
Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic ApproachICSC, Sep 2012, Palermo, Italy. pp.202-209, ⟨10.1109/ICSC.2012.11⟩ |
|
|
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tilesMFCS, Aug 2012, Bratislava, Slovakia. pp.516-528, ⟨10.1007/978-3-642-32589-2_46⟩ |
|
|
A LAZY REAL-TIME SYSTEM ARCHITECTURE FOR INTERACTIVE MUSICJournées d'Informatique Musicale, 2012, Mons, France |
|
|
A Lazy Real-Time System Architecture For Interactive MusicJIM 2012, May 2012, Mons, Belgium. pp.133-139 |
|
|
From asynchronous to synchronous specification for distributed program synthesisSOFSEM, Jan 2008, Slovakia. pp.161-173 |
|
|
On the (high) undecidability of distributed synthesis problemsSOFSEM, Jan 2007, Czech Republic. pp.320--329 |
|
|
Automata on Directed Graphs : Edge versus Vertex MarkingICGT, Sep 2006, Brazil. pp.46--60 |
|
|
On Distributed Program Specification and Synthesis in Architecture with CyclesInternationnal Conference on Formal Methods for Networked and Distributed Systems (FORTE), Sep 2006, France. pp.175-190 |
|
|
Tree automata and discrete distributed gamesFundamentals of Computation Theory (FCT), Aug 2005, Hungary. pp.540--551 |
|
|
Relating levels of the mu-calculus hierarchy and levels of the monadic hierachyLICS, 2001, Boston, United States. pp.347--356 |
|
|
On the structure of the monadic logic of the binary treeMFCS, 1999, Szklarska Poreba, Poland. pp.310-320 |
|
|
Spatio-temporal domains: an overview2018 |
Timed Denotational Semantics for Causal Functions over Timed Streams[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016 |
|
|
|
Free inverse monoids up to rewriting[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015 |
|
|
From out-of-time design to in-time production of temporal media[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015 |
|
|
On quasi-inverse monoids (and premorphisms)2012 |
|
|
33èmes journées francophones des langages applicatifsChantal Keller; Timothy Bourke. , pp.1-292, 2022 |
|
|
A contribution to formal methods : games, logic and automataComputer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005 |