Mizuki Goto

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 5

Top Topics

Qualitative Spatial

Multimedia Content

Top Venues

ICAART (Revised Selected Papers)

IEICE Trans. Commun.

Publications

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Verification of Content-Centric Networking Using Proof Assistant. IEICE Trans. Commun. (11) (2016)
Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. SCSS (2016)
Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa
A Qualitative Representation of a Figure and Construction of Its Planar Class. ICAART (2) (2015)
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Formalization of the Behavior of Content-Centric Networking. FNC/MobiSPC (2015)
Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa
Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. ICAART (Revised Selected Papers) (2015)
Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. SCSS (2013)