4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2025★ 1 cited
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka +1
Quantum Separation Logic (QSL) has been proposed as an effective tool to improve the scalability of deductive reasoning for quantum programs. In QSL, separation is interpreted as d…
cs.PL2023
Type-based Qubit Allocation for a First-Order Quantum Programming Language
Ryo Wakizaka, Atsushi Igarashi
Qubit allocation is a process to assign physical qubits to logical qubits in a quantum program. Since some quantum computers have connectivity constraints on applications of two-qu…
quant-ph2023★ 4 cited
InQuIR: Intermediate Representation for Interconnected Quantum Computers
Shin Nishio, Ryo Wakizaka
Various physical constraints limit the number of qubits that can be implemented in a single quantum processor, and thus it is necessary to connect multiple quantum processors via q…