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

Kim[ et al., (2025). Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0. Journal of Open Source Software, 10(113), 8696, https://doi.org/10.21105/joss.08696

Authors

Institutions

Publication Details

Journal
The Journal of Open Source Software
Published
2025-09-17
DOI
https://doi.org/10.21105/joss.08696
Citations
2
Primary Topic
Quantum Computing Algorithms and Architecture
Type
article
Field-Weighted Citation Impact
4.96
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

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

Marcus Edwards, Sean Kim
2 citations
The Journal of Open Source Software
Quantum Computing Algorithms and Architecture
4.96
article

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

Marcus Edwards, Sean Kim
article en
2 citations

Abstract

Kim[ et al., (2025). Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0. Journal of Open Source Software, 10(113), 8696, https://doi.org/10.21105/joss.08696

The Journal of Open Source SoftwareVol. 10(113)
University of British Columbia (CA), George Washington University (US)
Openalex Percentile: Top 5%
Quantum Computing Algorithms and Architecture
4.96
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.