Kazunari Tanaka

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 4

Top Topics

Knowledge Visualization

Top Venues

Publications

Takafumi Saikawa, Kazunari Tanaka, Kensaku Tanaka
Formal Verification and Code-Generation of Mersenne-Twister Algorithm. ISITA (2020)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving tree algorithms for succinct data structures. CoRR (2019)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving Tree Algorithms for Succinct Data Structures. ITP (2019)
Kazunari Tanaka, Tomoya Iwakura, Yusuke Koyanagi, Noriko Ikeda, Hiroyuki Shindo, Yuji Matsumoto
Chemical Compounds Knowledge Visualization with Natural Language Processing and Linked Data. LREC (2018)