Yoshiumi Kawamura

According to our database, Yoshiumi Kawamura authored at least 2 papers between 2004 and 2019.

Collaborative distances:

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

2019

Application of Abstract Interpretation to the Automotive Electronic Control System.

Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2004

A hybrid approach combining energy density analysis with the interaction energy decomposition method.

Yoshiumi Kawamura, Hiromi Nakai

J. Comput. Chem., 2004