Program Transformation under the Principle of Proof as Program. - Hideaki Nakayama (ISLP, 1991)

Evaluation of Variable Grain Logic Cell Architecture for Reconfigurable Device. - Motoki Amagasaki; Takurou Shimokawa; Kazunori Matsuyama; Ryoichi Yamaguchi; Hideaki Nakayama; Naoto Hamabe; Masahiro Iida; Toshinori Sueyoshi (VLSI-SoC, 2006)

Evaluating Variable-Grain Logic Cells Using Heterogeneous Technology Mapping. - Kazunori Matsuyama; Motoki Amagasaki; Hideaki Nakayama; Ryoichi Yamaguchi; Masahiro Iida; Toshinori Sueyoshi (ARC, 2007)