David Janin

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⟩

David Janin. On labeled birooted tree languages: algebras, automata and logic. Information and Computation, Elsevier, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩. ⟨hal-00982538⟩

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⟩

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⟩

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⟩

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.261-275. ⟨hal-00659985⟩

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⟩

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⟩

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⟩

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⟩

Simon Archipoff, David Janin. Vers une programmation réactive structurée . Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France. ⟨hal-01326557⟩

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. Pour un raffinement spatio-temporel tuilé. JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France. ⟨hal-01247424⟩

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, 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⟩

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⟩

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⟩

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. Journées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France. ⟨hal-01091736⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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. Multi-scale design of interactive music systems : the libTuiles experiment. SMC 2013, 2013, Stockholm, Sweden. pp.123-129. ⟨hal-00813313⟩

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⟩

Florent Berthaut, David Janin, Myriam Desainte-Catherine. libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisés. Journées d'Informatique Musicale, May 2013, Saint-Denis, France. pp.45-50. ⟨hal-00790792⟩

David Janin. A Lazy Real-Time System Architecture For Interactive Music. JIM 2012, May 2012, Mons, Belgium. pp.133-139. ⟨hal-00676202v2⟩

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. Journées d'Informatique Musicale, 2012, Mons, France. ⟨hal-03041785⟩

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⟩

David Janin. Spatio-temporal domains: an overview. 2018. ⟨hal-01634897v2⟩

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⟩

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