Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. - Kazuko Takahashi 001; Shizuo Yoshimaru; Mizuki Goto (SCSS, 2013)

Formalization of the Behavior of Content-Centric Networking. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (FNC/MobiSPC, 2015)

A Qualitative Representation of a Figure and Construction of Its Planar Class. - Kazuko Takahashi 001; Mizuki Goto; Hiroyoshi Miwa (ICAART (2), 2015)

Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. - Kazuko Takahashi 001; Mizuki Goto; Hiroyoshi Miwa (ICAART (Revised Selected Papers), 2015)

Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. - Sosuke Moriguchi; Mizuki Goto; Kazuko Takahashi 001 (SCSS, 2016)

Verification of Content-Centric Networking Using Proof Assistant. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (IEICE Trans. Commun., 2016)