Naoki Nishiguchi

According to our database, Naoki Nishiguchi authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion.

Naoki Nishiguchi, Tatsuhiro Tsuchiya

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023