2022
Books
- titre
- 33èmes journées francophones des langages applicatifs
- auteur
- Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, Stefania Dumbrava, Diane Gallois-Wong, Adrien Guatto, David Janin, Marie Kerjean, Luc Pellissier, Mário Pereira, Alix Trieu, Yannick Zakowski
- article
- Chantal Keller; Timothy Bourke. , pp.1-292, 2022
- typdoc
- Books
- Accès au texte intégral et bibtex
-
2020
Conference papers
- titre
- A Timed IO monad
- auteur
- David Janin
- article
- Practical Aspects of Declarative Languages (PADL), Jan 2020, New Orleans, United States. ⟨10.1007/978-3-030-39197-3_9⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- An equational modeling of asynchronous concurrent programming
- auteur
- David Janin
- article
- 21st International Symposium on Trends in Functional Programming, Aleksander Byrski and John Hugues, Feb 2020, Krakow, Poland
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Des promesses, des actions, par flots, en OCaml
- auteur
- Simon Archipoff, David Janin, Bernard P. Serpette
- article
- JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2019
Conference papers
- titre
- Screaming in the IO Monad A Realtime Audio Processing and Control Experiment in Haskell
- auteur
- David Janin
- article
- 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Aug 2019, Berlin, Germany. ⟨10.1145/3331543.3342585⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2018
Preprints, Working Papers, ...
- titre
- Spatio-temporal domains: an overview
- auteur
- David Janin
- article
- 2018
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- Causalité dans les calculs d'événements
- auteur
- Bernard P Serpette, David Janin
- article
- JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France
- typdoc
- Conference papers
- Accès au texte intégral et 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), Sep 2017, Oxford, United Kingdom. ⟨10.1145/3122938.3122943⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2016
Conference papers
- 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
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et 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⟩
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- 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
- typdoc
- Reports
- Accès au bibtex
-
2015
Journal articles
- titre
- On labeled birooted tree languages: algebras, automata and logic
- auteur
- David Janin
- article
- Information and Computation, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
- titre
- Two-way automata and regular languages of overlapping tiles
- auteur
- Anne Dicky, David Janin
- article
- Fundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- 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
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell
- auteur
- Théis Bazin, David Janin
- article
- Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- Free inverse monoids up to rewriting
- auteur
- David Janin
- article
- [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
- typdoc
- Reports
- Accès au texte intégral et 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
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- A syntactic congruence for languages of birooted trees
- auteur
- Achim Blumensath, David Janin
- article
- Semigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- 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. pp.335-346
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Embedding finite and infinite words into overlapping tiles
- auteur
- Anne Dicky, David Janin
- article
- Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩
- typdoc
- Conference papers
- Accès au texte intégral et 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
- typdoc
- Conference papers
- Accès au texte intégral et 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, ⟨10.1145/2633638.2633649⟩
- typdoc
- Conference papers
- Accès au texte intégral et 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. pp.7-20, ⟨10.1007/978-3-319-04298-5_2⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Une étude des jeux distribués
- auteur
- Julien Bernet, David Janin
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (9-10), pp.1007-1041
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Algebras, automata and logic for languages of labeled birooted trees
- auteur
- David Janin
- article
- ICALP, 2013, Riga, Latvia. pp.318-329, ⟨10.1007/978-3-642-39212-2_29⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisés
- auteur
- Florent Berthaut, David Janin, Myriam Desainte-Catherine
- article
- Journées d'Informatique Musicale, May 2013, Saint-Denis, France. pp.45-50
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Modélisation algébrique du dîner des philosophes
- auteur
- Anne Dicky, David Janin
- article
- Modélisation des systèmes réactifs, 2013, France. pp.29--43, ⟨10.3166/JESA.47⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Multi-scale design of interactive music systems : the libTuiles experiment
- auteur
- David Janin, Florent Berthaut, Myriam Desainte-Catherine
- article
- SMC 2013, 2013, Stockholm, Sweden. pp.123-129
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- On languages of one-dimensional overlapping tiles
- auteur
- David Janin
- article
- SOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. pp.244-256, ⟨10.1007/978-3-642-35843-2_22⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Overlapping tile automata
- auteur
- David Janin
- article
- The 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. pp.431--443, ⟨10.1007/978-3-642-38536-0_37⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- The T-Calculus : towards a structured programing of (musical) time and space
- auteur
- David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati
- article
- FARM 2013, 2013, Boston, United States. pp.23-34, ⟨10.1145/2505341.2505347⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach
- auteur
- Florent Berthaut, David Janin, Benjamin Martin
- article
- International Journal of Semantic Computing, 2012, 6 (4), pp.409-427. ⟨10.1142/S1793351X12400132⟩
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
- titre
- Vers une modélisation combinatoire des structures rythmiques simples de la musique
- auteur
- David Janin
- article
- Revue Francophone d'Informatique et Musique, 2012, 2, http://revues.mshparisnord.org/rfim/index.php?id=222
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A LAZY REAL-TIME SYSTEM ARCHITECTURE FOR INTERACTIVE MUSIC
- auteur
- David Janin
- article
- Journées d'Informatique Musicale, 2012, Mons, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- A Lazy Real-Time System Architecture For Interactive Music
- auteur
- David Janin
- article
- JIM 2012, May 2012, Mons, Belgium. pp.133-139
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach
- auteur
- Florent Berthaut, David Janin, Benjamin Martin
- article
- ICSC, Sep 2012, Palermo, Italy. pp.202-209, ⟨10.1109/ICSC.2012.11⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles
- auteur
- David Janin
- article
- MFCS, Aug 2012, Bratislava, Slovakia. pp.516-528, ⟨10.1007/978-3-642-32589-2_46⟩
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- On quasi-inverse monoids (and premorphisms)
- auteur
- David Janin
- article
- 2012
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- From asynchronous to synchronous specification for distributed program synthesis
- auteur
- Julien Bernet, David Janin
- article
- SOFSEM, Jan 2008, Slovakia. pp.161-173
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- The monadic theory of finite representations of infinite words
- auteur
- Anuj Dawar, David Janin
- article
- Information Processing Letters, 2007, 103, pp.94-101
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- On the (high) undecidability of distributed synthesis problems
- auteur
- David Janin
- article
- SOFSEM, Jan 2007, Czech Republic. pp.320--329
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- Automata on Directed Graphs : Edge versus Vertex Marking
- auteur
- Dietmar Berwanger, David Janin
- article
- ICGT, Sep 2006, Brazil. pp.46--60
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- On Distributed Program Specification and Synthesis in Architecture with Cycles
- auteur
- Julien Bernet, David Janin
- article
- Internationnal Conference on Formal Methods for Networked and Distributed Systems (FORTE), Sep 2006, France. pp.175-190
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- Tree automata and discrete distributed games
- auteur
- Julien Bernet, David Janin
- article
- Fundamentals of Computation Theory (FCT), Aug 2005, Hungary. pp.540--551
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- A contribution to formal methods : games, logic and automata
- auteur
- David Janin
- article
- Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005
- typdoc
- Habilitation à diriger des recherches
- Accès au texte intégral et bibtex
-
2004
Journal articles
- titre
- On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applications to the mu-calculus
- auteur
- David Janin, Giacomo Lenzi
- article
- Fundamenta Informaticae, 2004, 61 (3-4), pp.247--265
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
2002
Journal articles
- titre
- On the logical definability of topologically closed recognizable languages of infinite trees
- auteur
- David Janin, Giacomo Lenzi
- article
- Computing and Informatics, 2002, 21, pp.185--203
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
- titre
- Permissive strategies : from parity games to safety games
- auteur
- Julien Bernet, David Janin, Igor Walukiewicz
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, 36, pp.251--275
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
- titre
- Permissive strategies: from parity games to safety games
- auteur
- Julien Bernet, David Janin, Igor Walukiewicz
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, 36, pp.261-275
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
2001
Conference papers
- titre
- Relating levels of the mu-calculus hierarchy and levels of the monadic hierachy
- auteur
- David Janin, Giacomo Lenzi
- article
- LICS, 2001, Boston, United States. pp.347--356
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
1999
Conference papers
- titre
- On the structure of the monadic logic of the binary tree
- auteur
- David Janin, Giacomo Lenzi
- article
- MFCS, 1999, Szklarska Poreba, Poland. pp.310-320
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-