Some Results About Logical Descriptions of Non-Deterministic Behaviours. - David Janin (FSTTCS, 1993)

Automata for the Modal mu-Calculus and related Results. - David Janin; Igor Walukiewicz (MFCS, 1995)

On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. - David Janin; Igor Walukiewicz (CONCUR, 1996)

Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices. - David Janin (LICS, 1997)

On the Structure of the Monadic Logic of the Binary Tree. - David Janin; Giacomo Lenzi (MFCS, 1999)

Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy. - David Janin; Giacomo Lenzi (LICS, 2001)

A Toolkit for First Order Extensions of Monadic Games. - David Janin; Jerzy Marcinkowski (STACS, 2001)

On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees. - David Janin; Giacomo Lenzi (Comput. Artif. Intell., 2002)

Permissive strategies: from parity games to safety games. - Julien Bernet; David Janin; Igor Walukiewicz (RAIRO Theor. Informatics Appl., 2002)

On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. - Anuj Dawar; David Janin (FSTTCS, 2004)

Workshop on Logic, Graph Transformations, Finite and Infinite Structures. - Bruno Courcelle; David Janin (ICGT, 2004)

On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus. - David Janin; Giacomo Lenzi (Fundam. Informaticae, 2004)

A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates). - David Janin (2005)

Tree Automata and Discrete Distributed Games. - Julien Bernet; David Janin (FCT, 2005)

On Distributed Program Specification and Synthesis in Architectures with Cycles. - Julien Bernet; David Janin (FORTE, 2006)

Automata on Directed Graphs: Edge Versus Vertex Marking. - Dietmar Berwanger; David Janin (ICGT, 2006)

On the (High) Undecidability of Distributed Synthesis Problems. - David Janin (SOFSEM (1), 2007)

The monadic theory of finite representations of infinite words. - Anuj Dawar; David Janin (Inf. Process. Lett., 2007)

From Asynchronous to Synchronous Specifications for Distributed Program Synthesis. - Julien Bernet; David Janin (SOFSEM, 2008)

Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles - (Extended Abstract). - David Janin (MFCS, 2012)

Advanced Synchronization of Audio or Symbolic Musical Patterns: an Algebraic Approach. - Florent Berthaut; David Janin; Benjamin Martin 001 (Int. J. Semantic Comput., 2012)

Overlapping Tile Automata. - David Janin (CSR, 2013)

Algebras, Automata and Logic for Languages of Labeled Birooted Trees. - David Janin (ICALP (2), 2013)

The T-calculus: towards a structured programing of (musical) time and space. - David Janin; Florent Berthaut; Myriam Desainte-Catherine; Yann Orlarey; Sylvain Salvati (FARM@ICFP, 2013)

On Languages of One-Dimensional Overlapping Tiles. - David Janin (SOFSEM, 2013)

Une étude des jeux distribués. - Julien Bernet; David Janin (Tech. Sci. Informatiques, 2013)

Embedding Finite and Infinite Words into Overlapping Tiles - (Short Paper). - Anne Dicky; David Janin (Developments in Language Theory, 2014)

Tiled polymorphic temporal media. - Paul Hudak; David Janin (FARM@ICFP, 2014)

Algebraic Tools for the Overlapping Tile Product. - Etienne Dubourg; David Janin (LATA, 2014)

Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. - David Janin (SOFSEM, 2014)

Inverse Monoids of Higher-Dimensional Strings. - David Janin (ICTAC, 2015)

Two-way Automata and Regular Languages of Overlapping Tiles. - Anne Dicky; David Janin (Fundam. Informaticae, 2015)

On labeled birooted tree languages: Algebras, automata and logic. - David Janin (Inf. Comput., 2015)

Structured reactive programming with polymorphic temporal tiles. - Simon Archipoff; David Janin (FARM@ICFP, 2016)

FARM 2016 demo summary. - Michael Sperber; David Janin (FARM@ICFP, 2016)

Walking Automata in Free Inverse Monoids. - David Janin (SOFSEM, 2016)

Unified media programming: an algebraic approach. - Simon Archipoff; David Janin (FARM@ICFP, 2017)

Spatio-Temporal Domains: An Overview. - David Janin (ICTAC, 2018)

Screaming in the IO monad: a realtime audio processing and control experiment in Haskell. - David Janin (FARM@ICFP, 2019)

A Timed IO Monad. - David Janin (PADL, 2020)

An Equational Modeling of Asynchronous Concurrent Programming. - David Janin (TFP, 2020)