Toshiba (Japan) — Japan
Computer Science · Physical Sciences
2h-index228citations6works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Parallel Computing and Optimization Techniques(2), Formal Methods in Verification(2), Quantum Computing Algorithms and Architecture(2), Distributed systems and fault tolerance(2), Quantum Information and Cryptography(1)
Publications6 total
Science Advances·2021· 204 citedOpen Access
Lecture notes in computer science·2013· 1 cited
A tableau construction for control synthesis of FSMs (形式的手法)
回路とシステム軽井沢ワークショップ論文集·2006
Frequent Co-authors
Hayato Goto(3), Ryo Hidaka(3), Masaya Yamasaki(3), Kosuke Tatsumura(3), Kotaro Endo(1), Masaru Suzuki(1), Taro Kanao(1), Yohei Hamakawa(1), J. Yamaguchi(1), Y. Nakamura(1)