Ryuichi Nagoshi

Orcid: 0009-0000-1355-8730

According to our database¹, Ryuichi Nagoshi authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Formal Verification of Measurement-Based Quantum Computation in Maude.

[DOI]

Proceedings of the Software Fault Prevention, Verification, and Validation, 2025