Chemical Compounds Knowledge Visualization with Natural Language Processing and Linked Data. - Kazunari Tanaka; Tomoya Iwakura; Yusuke Koyanagi; Noriko Ikeda; Hiroyuki Shindo; Yuji Matsumoto 001 (LREC, 2018)

Proving Tree Algorithms for Succinct Data Structures. - Reynald Affeldt; Jacques Garrigue; Xuanrui Qi; Kazunari Tanaka (ITP, 2019)

Formal Verification and Code-Generation of Mersenne-Twister Algorithm. - Takafumi Saikawa; Kazunari Tanaka; Kensaku Tanaka (ISITA, 2020)