On the public citation graph

A Mutation-Based Framework for Efficiency Evaluation of Quantum Compilers

0 signed · 17 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-032-06770-8_14openalex-snapshot

Advanced Equivalence Checking for Quantum Circuits

inferredcites →https://doi.org/10.1007/978-3-319-08494-7_16openalex-snapshot

Equivalence Checking in Multi-level Quantum Systems

inferredcites →https://doi.org/10.1007/978-3-319-63390-9_1openalex-snapshot

Verified Compilation of Space-Efficient Reversible Circuits

inferredcites →https://doi.org/10.1038/s43588-025-00792-yopenalex-snapshot

Benchmarking the performance of quantum computing software for quantum circuit creation, manipulation and compilation

inferredcites →https://doi.org/10.1088/2399-6528/ac1df7openalex-snapshot

Generation and verification of 27-qubit Greenberger-Horne-Zeilinger states in a superconducting quantum computer

inferredcites →https://doi.org/10.1109/icst49551.2021.00014openalex-snapshot

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

inferredcites →https://doi.org/10.1109/icst62969.2025.10989032openalex-snapshot

Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information

inferredcites →https://doi.org/10.1109/jetcas.2022.3202204openalex-snapshot

Equivalence Checking of Quantum Circuits With the ZX-Calculus

inferredcites →https://doi.org/10.1109/tc.2020.3023247openalex-snapshot

Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search

inferredcites →https://doi.org/10.1109/tcad.2018.2846658openalex-snapshot

An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures

inferredcites →https://doi.org/10.1145/3168822openalex-snapshot

Qubit allocation

inferredcites →https://doi.org/10.1145/3297858.3304023openalex-snapshot

Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices

inferredcites →https://doi.org/10.1145/3489517.3530481openalex-snapshot

Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification

inferredcites →https://doi.org/10.1145/3508035openalex-snapshot

Metamorphic Testing of Deep Learning Compilers

inferredcites →https://doi.org/10.1145/3519939.3523431openalex-snapshot

Giallar: push-button verification for the qiskit Quantum compiler

inferredcites →https://doi.org/10.1145/3604630openalex-snapshot

A Verified Optimizer for Quantum Circuits

inferredcites →https://doi.org/10.1145/3643781openalex-snapshot

Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.