Kazuhide Yasukata

According to our database, Kazuhide Yasukata authored at least 2 papers between 2014 and 2016.

Collaborative distances:

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

2016

Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation.

Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2014

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking.

Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014