Yasuhito Arimoto

According to our database, Yasuhito Arimoto authored at least 4 papers between 2008 and 2016.

Collaborative distances:

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

2016

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

2013

Constructor-Based Inductive Theorem Prover.

Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Formal Verification of Effectiveness of Control Activities in Business Processes.

Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2012

2008

Checking assignments of controls to risks for internal control.

Yasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi

Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008