Old Web
English
Sign In
Acemap
>
authorDetail
>
Goto Mizuki
Goto Mizuki
Engineering
Automated theorem proving
Communications protocol
Algorithm
Proof assistant
3
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Physical Educational Guidance in Basic Movements
2020
Masui Sota
Sakamoto Moe
Goto Mizuki
Tachi Masanobu
Nakamura Motohiko
Show All
Source
Cite
Save
Citations (0)
A Cubesat Development for the Demonstration of Constellation Deployment with Rotation and Separation of Satellites in Nagoya University
2019
Yamada Yuki
Inamori Takaya
Park Ji Hyun
An Hoang Xuan Truong
Goto Mizuki
Inakawa Tomoya
Teshima Yusuke
Kishi Nobuki
Tamura Hiroto
Nakayama Satoshi
Noro Takumi
Otsuki Hiroki
Matsuzawa Shinji
Kurahashi Naoki
Show All
Source
Cite
Save
Citations (0)
Modeling and verification for CCN using a proof assistant Coq
2014
Morishima Takashi
Goto Mizuki
Takahashi Kazuko
Show All
Source
Cite
Save
Citations (0)
1