 | 2012 |
| 17 |  | Alexander Kartzow,
Jiamou Liu,
Markus Lohrey:
Tree-Automatic Well-Founded Trees.
CiE 2012: 363-373 |
| 16 |  | Aniruddh Gandhi,
Bakhadyr Khoussainov,
Jiamou Liu:
Finite Automata over Structures - (Extended Abstract).
TAMC 2012: 373-384 |
| 15 |  | Alexander Kartzow,
Jiamou Liu,
Markus Lohrey:
Tree-Automatic Well-Founded Trees
CoRR abs/1201.5495: (2012) |
| 2011 |
| 14 |  | Imran Khaliq,
Bakhadyr Khoussainov,
Jiamou Liu:
Extracting Winning Strategies in Update Games.
CiE 2011: 142-151 |
| 13 |  | Aniruddh Gandhi,
Bakhadyr Khoussainov,
Jiamou Liu:
Efficient Algorithms for Games Played on Trees with Back-edges.
Fundam. Inform. 111(4): 391-412 (2011) |
| 12 |  | Jiamou Liu,
Mia Minnes:
Deciding the isomorphism problem in classes of unary automatic structures.
Theor. Comput. Sci. 412(18): 1705-1717 (2011) |
| 2010 |
| 11 |  | Dietrich Kuske,
Jiamou Liu,
Markus Lohrey:
The Isomorphism Problem for omega-Automatic Trees.
CSL 2010: 396-410 |
| 10 |  | Dietrich Kuske,
Jiamou Liu,
Markus Lohrey:
The Isomorphism Problem on Classes of Automatic Structures.
LICS 2010: 160-169 |
| 9 |  | Dietrich Kuske,
Jiamou Liu,
Markus Lohrey:
The Isomorphism Problem On Classes of Automatic Structures
CoRR abs/1001.2086: (2010) |
| 8 |  | Dietrich Kuske,
Jiamou Liu,
Markus Lohrey:
The Isomorphism Problem for omega-Automatic Trees
CoRR abs/1004.0610: (2010) |
| 2009 |
| 7 |  | Jiamou Liu,
Mia Minnes:
Analysing Complexity in Classes of Unary Automatic Structures.
LATA 2009: 518-529 |
| 6 |  | Bakhadyr Khoussainov,
Jiamou Liu,
Imran Khaliq:
A Dynamic Algorithm for Reachability Games Played on Trees.
MFCS 2009: 477-488 |
| 5 |  | Bakhadyr Khoussainov,
Jiamou Liu:
On complexity of Ehrenfeucht-Fraïssé games.
Ann. Pure Appl. Logic 161(3): 404-415 (2009) |
| 4 |  | Bakhadyr Khoussainov,
Jiamou Liu,
Mia Minnes:
Unary automatic graphs: an algorithmic perspective.
Mathematical Structures in Computer Science 19(1): 133-152 (2009) |
| 2008 |
| 3 |  | Barbara F. Csima,
Bakhadyr Khoussainov,
Jiamou Liu:
Computable Categoricity of Graphs with Finite Components.
CiE 2008: 139-148 |
| 2 |  | Bakhadyr Khoussainov,
Jiamou Liu,
Mia Minnes:
Unary Automatic Graphs: An Algorithmic Perspective.
TAMC 2008: 542-553 |
| 2007 |
| 1 |  | Bakhadyr Khoussainov,
Jiamou Liu:
On Complexity of Ehrenfeucht-Fraïssé Games.
LFCS 2007: 293-309 |