François Le Gall, Masayuki Miyamoto, Harumichi Nishimura. Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS2023). 2023
François Le Gall, Masayuki Miyamoto, Harumichi Nishimura. Distributed Quantum Interactive Proofs. 40th International Symposium on Theoretical Aspects of Computer Science (STACS). 2023. 42:1-42:21
François Le Gall, Masayuki Miyamoto, Harumichi Nishimura. Brief Announcement: Distributed Quantum Interactive Proofs. 36th International Symposium on Distributed Computing (DISC). 2022. 48:1-48:3
Akinori Kawachi, Harumichi Nishimura. Communication Complexity of Private Simultaneous Quantum Messages Protocols. 2nd Conference on Information-Theoretic Cryptography (ITC 2021). 2021. 20:1-20:19
François Le Gall, Harumichi Nishimura, Abuzer Yakaryilmaz. Quantum Logarithmic Space and Post-Selection. 16th Conference on the Theory of Quantum Computation, Communication and Cryptography(TQC). 2021. 10:1-10:17
More Distributed Quantum Merlin-Arthur Protocols: Improvement and Extension
(Shenzhen-Nagoya workshop on Quantum Science 2022 2023)
Power of Distributed Quantum Merlin-Arthur Proofs
(SUSTech-Nagoya workshop on Quantum Science 2022 2022)
Simultaneous Message Passing Models and Private Simultaneous Messages Protocols with Shared Entanglement
(3rdWorkshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems (QCCC2021) 2021)
SMP model, PSM protocols, and their quantum analogues
(SUSTech-Nagoya workshop on Quantum Science 2021 2021)
Distributed Quantum Proofs for Replicated Data
(24th Workshop on Quantum Information Processing (QIP2021) 2021)