On Reduction Properties. - Hirotaka Kikyo; Akito Tsuboi (J. Symb. Log., 1994)

The definable multiplicity property and generic automorphisms. - Hirotaka Kikyo; Anand Pillay (Ann. Pure Appl. Log., 2000)

Model Companions of Theories with An Automorphism. - Hirotaka Kikyo (J. Symb. Log., 2000)

The Strict Order Property and Generic Automorphisms. - Hirotaka Kikyo; Saharon Shelah (J. Symb. Log., 2002)

On Characteristic Constants of Theories Defined by Kolmogorov Complexity. - Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo (WoLLIC, 2008)

On generic structures with a strong amalgamation property. - Koichiro Ikeda; Hirotaka Kikyo; Akito Tsuboi (J. Symb. Log., 2009)

Kolmogorov complexity and characteristic constants of formal theories of arithmetic. - Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo (Math. Log. Q., 2011)

On superstable generic structures. - Koichiro Ikeda; Hirotaka Kikyo (Arch. Math. Log., 2012)

Model completeness of generic graphs in rational cases. - Hirotaka Kikyo (Arch. Math. Log., 2018)

Dividing and forking in random hypergraphs. - Hirotaka Kikyo; Akito Tsuboi (Ann. Pure Appl. Log., 2025)

Random structures and automorphisms with a single orbit. - Hirotaka Kikyo; Akito Tsuboi (Arch. Math. Log., 2025)