QCIVET provides contract-based subtype verification and hash-chained audit traces to enforce syntactic and semantic integrity in hybrid quantum-classical pipelines.
Wood, Jake Lishman, Julien Gacon, Simon Martiel, Paul D
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
years
2026 4verdicts
UNVERDICTED 4roles
background 2polarities
background 2representative citing papers
Position graph abstraction with memoized SABRE heuristics scales qubit mapping and routing for TI-QCCD architectures by caching repeated evaluations without altering decisions.
A digital quantum simulation using Trotter steps on a four-qubit system reproduces the analytic particle spectrum for cosmological particle creation in an FLRW transition.
A hybrid path-sum reduction plus weighted model counting method yields a complete equivalence checker for quantum circuits up to global phase.
citing papers explorer
-
QCIVET: A Quantum--Classical Pipeline Integrity Framework with Contract-Based Subtype Verification and Hash-Chained Audit Traces
QCIVET provides contract-based subtype verification and hash-chained audit traces to enforce syntactic and semantic integrity in hybrid quantum-classical pipelines.
-
Scaling Qubit Mapping and Routing With Position Graph Abstraction and Memoization
Position graph abstraction with memoized SABRE heuristics scales qubit mapping and routing for TI-QCCD architectures by caching repeated evaluations without altering decisions.
-
Time-resolved digital quantum simulation of cosmological particle creation in a de Sitter-radiation transition
A digital quantum simulation using Trotter steps on a four-qubit system reproduces the analytic particle spectrum for cosmological particle creation in an FLRW transition.
-
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
A hybrid path-sum reduction plus weighted model counting method yields a complete equivalence checker for quantum circuits up to global phase.