Access content directly

David Janin

57
Documents

Presentation

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.
*Uniform algebraic modeling of heterogeneous spacetimed data flow (audio, music, drawing, animation, control, etc...) and application to multimodal system programming.*

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⟩
Journal articles hal-00717572v3
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⟩
Journal articles hal-00982538v1
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⟩
Journal articles hal-00947972v1
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
Journal articles hal-00658601v2
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⟩
Journal articles hal-00794196v1
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
Journal articles hal-00608295v3
Image document

The monadic theory of finite representations of infinite words

Anuj Dawar , David Janin
Information Processing Letters, 2007, 103, pp.94-101
Journal articles hal-00306381v1
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
Journal articles hal-00659987v1
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
Journal articles hal-00659986v1
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
Journal articles hal-00306411v1
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
Journal articles hal-00659985v1
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
Conference papers hal-02865894v1
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⟩
Conference papers hal-02389321v1
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
Conference papers hal-02389651v1
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⟩
Conference papers hal-02368138v1
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
Conference papers hal-01403369v1
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⟩
Conference papers hal-01571133v2
Image document

Vers une programmation réactive structurée

Simon Archipoff , David Janin
Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers hal-01326557v1
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
Conference papers hal-01246584v2
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
Conference papers hal-00738793v4
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
Conference papers hal-01326559v1
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⟩
Conference papers hal-01350525v1
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
Conference papers hal-01247424v1
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
Conference papers hal-01099131v1
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
Conference papers hal-01183097v1
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
Conference papers hal-01091736v1
Image document

Inverse monoids of higher-dimensional strings

David Janin
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia
Conference papers hal-01165724v2
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⟩
Conference papers hal-00879463v1
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
Conference papers hal-00978355v1
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⟩
Conference papers hal-00910002v2
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⟩
Conference papers hal-00955113v1
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
Conference papers hal-00879465v1
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⟩
Conference papers hal-00766261v2
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
Conference papers hal-00790792v1
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⟩
Conference papers hal-00784898v2
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⟩
Conference papers hal-00856678v1
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 et al.
FARM 2013, 2013, Boston, United States. pp.23-34, ⟨10.1145/2505341.2505347⟩
Conference papers hal-00789189v3
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⟩
Conference papers hal-00659202v4
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
Conference papers hal-00813313v1
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⟩
Conference papers hal-00698963v2
Image document

A Lazy Real-Time System Architecture For Interactive Music

David Janin
JIM 2012, May 2012, Mons, Belgium. pp.133-139
Conference papers hal-00676202v2
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⟩
Conference papers hal-00671917v3
Image document

A LAZY REAL-TIME SYSTEM ARCHITECTURE FOR INTERACTIVE MUSIC

David Janin
Journées d'Informatique Musicale, 2012, Mons, France
Conference papers hal-03041785v1
Image document

From asynchronous to synchronous specification for distributed program synthesis

Julien Bernet , David Janin
SOFSEM, Jan 2008, Slovakia. pp.161-173
Conference papers hal-00339740v1
Image document

On the (high) undecidability of distributed synthesis problems

David Janin
SOFSEM, Jan 2007, Czech Republic. pp.320--329
Conference papers hal-00306387v1
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
Conference papers hal-00306412v1
Image document

Automata on Directed Graphs : Edge versus Vertex Marking

Dietmar Berwanger , David Janin
ICGT, Sep 2006, Brazil. pp.46--60
Conference papers hal-00306378v1
Image document

Tree automata and discrete distributed games

Julien Bernet , David Janin
Fundamentals of Computation Theory (FCT), Aug 2005, Hungary. pp.540--551
Conference papers hal-00306410v1
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
Conference papers hal-00659988v1
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
Conference papers 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
Reports hal-01402209v1
Image document

Free inverse monoids up to rewriting

David Janin
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Reports hal-01182934v1
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
Reports hal-01182995v1
Image document

On quasi-inverse monoids (and premorphisms)

David Janin
2012
Reports hal-00673123v3
Image document

A contribution to formal methods : games, logic and automata

David Janin
Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005
Habilitation à diriger des recherches tel-00659990v2