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

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

Free inverse monoids up to rewriting

David Janin

[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015

Rapport (rapport de recherche) hal-01182934v1
Deposit thumbnail

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
Deposit thumbnail

On quasi-inverse monoids (and premorphisms)

David Janin

2012

Rapport hal-00673123v3
Deposit thumbnail

A contribution to formal methods : games, logic and automata

David Janin

Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005

HDR tel-00659990v2