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.