Yasuhito Arimoto

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Automated Deduction

Mathematical Knowledge

Top Venues

Publications

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto
Constructor-Based Inductive Theorem Prover. CALCO (2013)
Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi
Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Trans. Inf. Syst. (5) (2012)
Yasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi
Checking assignments of controls to risks for internal control. ICEGOV (2008)