Travelled to:
1 × Czech Republic
1 × Germany
1 × Spain
1 × Taiwan
1 × United Kingdom
Collaborated with:
D.Kuske M.Lohrey M.Minnes A.Moskvina A.Gandhi B.Khoussainov
Talks about:
automat (3) structur (2) isomorph (2) problem (2) infinit (2) complex (2) class (2) word (2) tree (2) languag (1)
Person: Jiamou Liu
DBLP: Liu:Jiamou
Contributed to:
Wrote 5 papers:
- CSL-2015-KuskeLM #decidability #infinity #monad #word
- Infinite and Bi-infinite Words with Decidable Monadic Theories (DK, JL, AM), pp. 472–486.
- DLT-2012-GandhiKL #complexity #finite #on the #word
- On State Complexity of Finite Word and Tree Languages (AG, BK, JL), pp. 392–403.
- CSL-2010-KuskeLL #morphism #problem
- The Isomorphism Problem for ω-Automatic Trees (DK, JL, ML), pp. 396–410.
- LICS-2010-KuskeLL #automation #morphism #problem
- The Isomorphism Problem on Classes of Automatic Structures (DK, JL, ML), pp. 160–169.
- LATA-2009-LiuM #automation #complexity
- Analysing Complexity in Classes of Unary Automatic Structures (JL, MM), pp. 518–529.