`Travelled to:`

1 × Brazil

1 × Latvia

1 × Poland

1 × Russia

1 × Spain

1 × USA

`Collaborated with:`

∅ A.Dicky E.Dubourg D.Berwanger G.Lenzi

`Talks about:`

automata (3) hierarchi (2) overlap (2) algebra (2) level (2) tile (2) arbitrari (1) tableaus (1) fixpoint (1) calculus (1)

## Person: David Janin

### DBLP: Janin:David

### Contributed to:

### Wrote 6 papers:

- DLT-2014-DickyJ #finite #infinity #word
- Embedding Finite and Infinite Words into Overlapping Tiles — (AD, DJ), pp. 339–347.
- LATA-2014-DubourgJ #algebra #tool support
- Algebraic Tools for the Overlapping Tile Product (ED, DJ), pp. 335–346.
- ICALP-v2-2013-Janin #algebra #automaton #logic
- Algebras, Automata and Logic for Languages of Labeled Birooted Trees (DJ), pp. 312–323.
- ICGT-2006-BerwangerJ #automaton #graph
- Automata on Directed Graphs: Edge Versus Vertex Marking (DB, DJ), pp. 46–60.
- LICS-2001-JaninL #calculus #monad #μ-calculus
- Relating Levels of the μ-Calculus Hierarchy and Levels of the Monadic Hierarchy (DJ, GL), pp. 347–356.
- LICS-1997-Janin #automaton #calculus #fixpoint #reduction #theorem
- Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices (DJ), pp. 172–182.