Paper Citation Record · LEDGER

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach

As of 14 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2506.07635.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.07635 v2

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:40:25.707694Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact1
verified fuzzy33
unresolved4
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a3800093-6f88-40c4-8e6b-15ecf295be08 · outbound

This paper cites Quantum error correction below the surface code threshold,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Quantum error correction below the surface code threshold,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.156673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4c3d3b57-ac09-480e-8120-57d281ee92c3 · outbound

This paper cites Hardware-efficient quantum error correction via concatenated bosonic qubits,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Hardware-efficient quantum error correction via concatenated bosonic qubits,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.144181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bda3db3c-6669-4858-81d9-b4ba5f2a2c5e · outbound

This paper cites Fault-tolerant quantum computation by anyons,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Fault-tolerant quantum computation by anyons,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.131415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b338f37a-1017-4a09-8c09-2a1ae4f8733e · outbound

This paper cites Interferometric single-shot parity measure- ment in InAs–Al hybrid devices,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Interferometric single-shot parity measure- ment in InAs–Al hybrid devices,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.119198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 197a8ca7-2baf-48c9-910b-d326177f187f · outbound

This paper cites Quantum Computing in the NISQ era and beyond,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Quantum Computing in the NISQ era and beyond,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T05:40:25.582232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc8732d4-b2c7-4d0a-a13c-492281a9228d · outbound

This paper cites Beyond NISQ: The Megaquop Machine.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Beyond NISQ: The Megaquop Machine

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T05:40:25.585941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac2dd6a9-2e16-4217-acc1-b9a6e6cb680d · outbound

This paper cites Simulating physics with computers,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Simulating physics with computers,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T05:40:25.590203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 731d466f-6475-49d3-a946-8133f9dac127 · outbound

This paper cites Improved simulation of stabilizer circuits,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Improved simulation of stabilizer circuits,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.094823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 546c040a-51df-4a75-9909-d56ab5007da3 · outbound

This paper cites Safety verification of hybrid systems using barrier certificates,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Safety verification of hybrid systems using barrier certificates,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.084306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f52bd32c-40bd-4e9f-b57e-607b38734e4d · outbound

This paper cites Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.073389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 77636720-b246-4509-9235-84234463de05 · outbound

This paper cites A scenario approach for syn- thesizing k-inductive barrier certificates,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach A scenario approach for syn- thesizing k-inductive barrier certificates,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.062804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bfa52003-4bf5-4cb0-b522-bde0003b3c36 · outbound

This paper cites A fast quantum mechanical algorithm for database search,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach A fast quantum mechanical algorithm for database search,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.051484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 0aefe544-eab9-4829-b13c-a7996fcb153d · outbound

This paper cites Towards Quantum Programs Verification: From Quipper Circuits to QPMC,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Towards Quantum Programs Verification: From Quipper Circuits to QPMC,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.040484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 95fc5f95-a826-4be6-b6de-4b8f74c59de6 · outbound

This paper cites An automated deductive verification framework for circuit-building quantum programs,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach An automated deductive verification framework for circuit-building quantum programs,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.028817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a2d64223-e4c2-43ac-97ec-b7e218eb7e76 · outbound

This paper cites Giallar: Push-button verification for the Qiskit quantum compiler,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Giallar: Push-button verification for the Qiskit quantum compiler,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.017363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a665b1cb-c0db-4f11-b62d-eba815f170b2 · outbound

This paper cites Quantum abstract interpretation,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Quantum abstract interpretation,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:26.005859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ce6bcbb0-5aee-415d-9957-b37be3a11a3a · outbound

This paper cites Analyzing quantum programs with LintQ: A static analysis framework for Qiskit,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Analyzing quantum programs with LintQ: A static analysis framework for Qiskit,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.994728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b238a371-9b12-44c3-ac35-5d28ab53f693 · outbound

This paper cites Au- toQ: An automata-based quantum circuit verifier,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Au- toQ: An automata-based quantum circuit verifier,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.983581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a3574be8-2d10-4d48-8a87-cad6a1571ae9 · outbound

This paper cites An automata-based framework for verification and bug hunting in quantum circuits,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach An automata-based framework for verification and bug hunting in quantum circuits,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.972724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation dd093dcf-002e-44e2-a670-448ef09afdce · outbound

This paper cites Verification of Quantum Circuits through Discrete-Time Barrier Certificates.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Verification of Quantum Circuits through Discrete-Time Barrier Certificates

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:40:25.745214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b4cf86ac-1c15-478d-ae64-82dade1403d6 · outbound

This paper cites Formal verification of quantum programs: Theory, tools, and challenges,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Formal verification of quantum programs: Theory, tools, and challenges,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.960488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4a85423d-5e81-46fb-bacc-43d5dc818376 · outbound

This paper cites Formal methods for quantum algorithms,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Formal methods for quantum algorithms,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.948909Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 7f390e97-454a-4268-bd5c-78acc9c26ef2 · outbound

This paper cites Automated verification of silq quantum programs using smt solvers,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Automated verification of silq quantum programs using smt solvers,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.938019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5b77613d-dbf8-4b67-a6ac-7d55baeebf63 · outbound

This paper cites Safety verification of dynamical systems via k-inductive barrier certificates,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Safety verification of dynamical systems via k-inductive barrier certificates,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.927272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c7dbaa2e-e02b-4aba-9709-12f67ec70dd7 · outbound

This paper cites Formal verification of unknown discrete- and continuous-time systems: A data- driven approach,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Formal verification of unknown discrete- and continuous-time systems: A data- driven approach,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.916081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a3aeee34-36b8-4e0e-a87f-e12376b94b20 · outbound

This paper cites Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.905174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation eb56ef90-d9e4-46ca-a502-6b86e81eb880 · outbound

This paper cites On the necessity of barrier certificates,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach On the necessity of barrier certificates,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T05:40:25.663763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2f37aca-f41e-46ea-a3c8-43f87e655bb2 · outbound

This paper cites Non-convex scenario optimization,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Non-convex scenario optimization,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.888141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2cc4b8ba-f7ff-4f95-ac9e-aa6c84143087 · outbound

This paper cites Delta-decidability over the reals,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Delta-decidability over the reals,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.877625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 93e321cf-a8d8-4338-965b-ce2baf799e8b · outbound

This paper cites Distribution of points in a cube and approximate evalu- ation of integrals,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Distribution of points in a cube and approximate evalu- ation of integrals,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.867208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 8a5f3fa2-2685-4c21-ab30-916625e58df6 · outbound

This paper cites Parallelizing the dual revised simplex method,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Parallelizing the dual revised simplex method,

Reference 31

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T05:40:25.856695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation e47eff6b-2236-4ffa-9be2-a94b3699d552 · outbound

This paper cites Z3: An Efficient SMT Solver,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Z3: An Efficient SMT Solver,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.846580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 088d1e29-cf78-4733-988c-9034e6022ea8 · outbound

This paper cites Quantum computation,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Quantum computation,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.837256Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f44e592a-e9b9-454a-9d19-97fef3a40154 · outbound

This paper cites Safe reach set computation via neural barrier certificates,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Safe reach set computation via neural barrier certificates,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.827696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5037ed4b-f16f-44d3-877a-2a32c4884e0e · outbound

This paper cites Uniform sample generation in semialgebraic sets,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Uniform sample generation in semialgebraic sets,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.815357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ca8f953d-63d2-419b-8183-65197815cc4f · outbound

This paper cites Compositional construction of control barrier functions for continuous-time stochastic hybrid systems,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Compositional construction of control barrier functions for continuous-time stochastic hybrid systems,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.803688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation aa25b73e-d16c-4e73-869e-f699e39eb2fd · outbound

This paper cites Necessary and sufficient certificates for almost sure reachability,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Necessary and sufficient certificates for almost sure reachability,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.791311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b8c20691-8858-430b-9a47-895242817267 · outbound

This paper cites Data-driven distributionally robust safety verification using barrier certificates and conditional mean embeddings,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Data-driven distributionally robust safety verification using barrier certificates and conditional mean embeddings,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.779156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d1abe27e-1a01-480a-bd75-82091f623248 · outbound

This paper cites Control barrier functions for stochastic systems under signal temporal logic tasks,.

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach Control barrier functions for stochastic systems under signal temporal logic tasks,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:40:25.768231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.