activity
20232025
most citedEnabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2024 · cs.PLShow all

1 paper · 2 filters

cs.PL2024★ 2 cited

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

Sean Kim, Marcus Edwards

The unique features of the hybrid quantum-classical computing model implied by the specification of OpenQASM 3.0 motivate new approaches to quantum program verification. We impleme…