David Janin

58
Documents

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

6
5
4
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
1
2
7
8
6
8
7
1
2
2
2
1
3
1
1
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Image document

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-00717572 v3
Image document

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-00982538 v1
Image document

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-00947972 v1
Image document

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-00658601 v2
Image document

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-00608295 v3
Image document

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-00794196 v1
Image document

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-00306381 v1
Image document

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-00659987 v1
Image document

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-00306411 v1
Image document

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-00659985 v1
Image document

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-00659986 v1
Image document

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-04831012 v1
Image document

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-02389651 v1
Image document

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-02389321 v1
Image document

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-02865894 v1
Image document

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-02368138 v1
Image document

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-01571133 v2
Image document

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-01403369 v1
Image document

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-01326557 v1
Image document

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-00738793 v4
Image document

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-01326559 v1
Image document

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-01247424 v1
Image document

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-01246584 v2
Image document

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-01350525 v1
Image document

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-01099131 v1
Image document

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-01183097 v1
Image document

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-01165724 v2
Image document

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-01091736 v1
Image document

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-00910002 v2
Image document

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-00879463 v1
Image document

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-00978355 v1
Image document

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-00955113 v1
Image document

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-00879465 v1
Image document

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-00790792 v1
Image document

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-00784898 v2
Image document

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-00766261 v2
Image document

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-00856678 v1
Image document

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-00789189 v3
Image document

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-00659202 v4
Image document

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-00813313 v1
Image document

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-00698963 v2
Image document

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-00671917 v3
Image document

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-03041785 v1
Image document

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-00676202 v2
Image document

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-00339740 v1
Image document

On the (high) undecidability of distributed synthesis problems

David Janin
SOFSEM, Jan 2007, Czech Republic. pp.320--329
Communication dans un congrès hal-00306387 v1
Image document

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-00306412 v1
Image document

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-00306378 v1
Image document

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-00306410 v1
Image document

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-00659988 v1
Image document

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-00676277 v1

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-01402209 v1
Image document

Free inverse monoids up to rewriting

David Janin
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Rapport (rapport de recherche) hal-01182934 v1
Image document

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-01182995 v1
Image document

On quasi-inverse monoids (and premorphisms)

David Janin
2012
Rapport hal-00673123 v3
Image document

A contribution to formal methods : games, logic and automata

David Janin
Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005
HDR tel-00659990 v2