「SAT型制約プログラミングシステムと周辺技術」
宋剛秀, 番原 睦則, 田村直之 Vol. 34, No. 1 (2017)
「暗号系の安全性検証 - 入門から計算機による証明まで」
川本裕輔, Vol. 33, No. 4 (2016) 
 

「モデル検査による設計検証」
吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚, Vol. 31, No. 4 (2014)
「LR構文解析の原理」
大堀淳， Vol. 31, No. 1 (2014) 
 
 

5編で1件として選定
『計算機科学者のためのゲーム理論入門』シリーズ
横尾真, 岩崎敦, 櫻井祐子, 岡本吉央
第1回 非協力ゲーム(基礎編)，Vol. 29, No. 2 (2013), p.2_69-2_84
第2回 非協力ゲーム(発展編)，Vol. 29, No. 3 (2013), p.3_39-3_53
第3回 メカニズムデザイン(基礎編)，Vol. 29, No. 4 (2013), p.4_15-4_31
第4回 メカニズムデザイン(応用編)，Vol. 30, No. 1 (2013), p.1_34-1_52
第5回 協力ゲーム，Vol. 30, No. 2 (2013), p.2_33-2_51
 

「自律分散制御から知能創発の工学化への視点」
我妻広明， Vol. 28, No. 1 (2011), pp. 2-20
「言語理論の話をしよう」
関浩之，鰺坂恒夫， Vol. 28, No. 3 (2011), pp. 61-69 
 
 

2編を1件として選定
「静的単一代入形式を用いた最適化(導入編)」，
佐々政孝，滝本宗宏：Vol. 25, No. 1(2008), pp. 19–29.
「静的単一代入形式を用いた最適化(発展編)」
滝本宗宏，佐々政孝：，Vol. 25, No. 1 (2008), pp. 30–46.

「アスペクト指向プログラミング」
増原英彦, Vol. 23，No. 2 (2006)，pp. 4-28.
「スケッチインタフェースの研究動向」
五十嵐健夫, Vol. 23, No. 4 (2006), pp. 3-13.

「XMLとスキーマ言語」
村田真，川口耕介, Vol. 21, No. 6 (2004), pp. 50－59
「抽象化を用いた検証ツール」
田辺良則，高井利憲，高橋孝一，Vol. 22, No. 1 (2005), pp. 2－44