Optimization of Queries Including ADT Functions. - Kenichi Yajima; Hiroyuki Kitagawa; Kazunori Yamaguchi; Nobuo Ohbo; Yuzuru Fujiwara (DASFAA, 1991)

Field Experiment of an Extendable Traceability System: Application to the Quality Control of Beef-Product Distribution. - Nobuo Okabe; Hirokazu Takatama; Kenichi Yajima; Yusuke Doi; Atsushi Inoue (IPC, 2007)

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. - Kenichi Yajima; Shoichi Morimoto; Daisuke Horie; Noor Sheila Azreen; Yuichi Goto; Jingde Cheng (ARES, 2009)

GEST: A Generator of ISO/IEC 15408 Security Target Templates. - Daisuke Horie; Kenichi Yajima; Noor Azimah; Yuichi Goto; Jingde Cheng (Computer and Information Science, 2009)