Mizuki Goto

According to our database, Mizuki Goto authored at least 6 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Verification of Content-Centric Networking Using Proof Assistant.

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

IEICE Trans. Commun., 2016

Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.

Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data.

Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

A Qualitative Representation of a Figure and Construction of Its Planar Class.

Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

Proceedings of the ICAART 2015, 2015

Formalization of the Behavior of Content-Centric Networking.

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

2013

Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application.

Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013