Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T14:18:37.100436Z
Paper Citation Record · LEDGER
As of 13 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 1 inbound Pith citation observation for arXiv:2412.12269.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T14:18:37.100436Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-06T15:04:16.863301Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-06T15:04:22.758245Z
54 of 54 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 17f85d47-a6cb-406f-8c6a-938548de1253 · outbound
A Framework for Debugging Quantum Programs On the need for effective tools for debuggi ng quantum programs,
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation edc09449-fea9-4f89-8845-7792569596b3 · outbound
A Framework for Debugging Quantum Programs Debugging quantum processes using mon itoring measure- ments,
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6dfb6ca7-a6df-475b-a639-86fe001ff723 · outbound
A Framework for Debugging Quantum Programs Statistical assertions for v alidating patterns and finding bugs in quantum programs,
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 9123b756-8f50-4ecd-b745-d5461af0af0f · outbound
A Framework for Debugging Quantum Programs A tool for debugging quan tum circuits,
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation aaa8074d-7189-4b47-8a93-39b8c5fc0043 · outbound
A Framework for Debugging Quantum Programs On Testing and Debugging Quantum Software
Reference 5
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db5aa096-84bb-4e5b-b388-a2412337e4fa · outbound
A Framework for Debugging Quantum Programs Quantum software testing: State of the art,
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 16a53135-fd34-464e-b146-47fdeba9b6c2 · outbound
A Framework for Debugging Quantum Programs Testing and debugging qu antum circuits,
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 814cc28c-d36c-4fd2-910a-3202f76cb524 · outbound
A Framework for Debugging Quantum Programs Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 16c5a324-2fa8-4535-ab03-6c22cf757026 · outbound
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3ee4faf4-8296-4880-99ad-715b099c1cf9 · outbound
A Framework for Debugging Quantum Programs Formal verification of quantum algorithms using quantum H oare logic,
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e392460a-c217-4389-891c-168f2689ede1 · outbound
A Framework for Debugging Quantum Programs Assertion-based op timization of quantum programs,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3d2d1ea5-369f-45ee-966a-2f666b6076e7 · outbound
A Framework for Debugging Quantum Programs Quantum abstract interpretatio n,
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 5fa7aa0e-617d-4fca-b12c-7fad3574546b · outbound
A Framework for Debugging Quantum Programs Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26d2f1c8-f160-4e2d-b002-cd5a85e71555 · outbound
A Framework for Debugging Quantum Programs symQV: A utomated symbolic verification of quantum programs,
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c3060185-dc85-4a0e-86ea-491903210084 · outbound
A Framework for Debugging Quantum Programs Statistical assertions for validating patterns and finding bugs in quantum programs,
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3c10da67-fbd7-43db-909b-e846e9776f41 · outbound
A Framework for Debugging Quantum Programs Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0b1d845-6949-4ac5-9012-920eb3edc2e2 · outbound
A Framework for Debugging Quantum Programs Quantum circuits for dyn amic runtime assertions in quantum computation,
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 19deebbb-88c6-4c25-ad13-11c7fd620a6a · outbound
A Framework for Debugging Quantum Programs Systematic approaches for precise a nd approximate quan- tum state runtime assertion,
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 513bb4dd-d384-4e6a-b3d3-024e2b5d635e · outbound
A Framework for Debugging Quantum Programs quAssert: Automatic Generation of Quantum Assertions
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c96dac1-fc19-46fd-9918-84c77caf67ac · outbound
A Framework for Debugging Quantum Programs A single quantum cannot b e cloned,
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 93626263-8dd8-4fdc-8080-e4db3de9e9cd · outbound
A Framework for Debugging Quantum Programs Debugging with gdb,
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 386c4439-5e4e-46df-be03-629ad2e545e4 · outbound
A Framework for Debugging Quantum Programs Debug adapter protocol
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ec0d3cb6-73c7-47de-8abc-bd26311088e9 · outbound
A Framework for Debugging Quantum Programs Using static analysis to find bugs,
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 62a016a2-2747-400c-bb42-45e45550f851 · outbound
A Framework for Debugging Quantum Programs The concept of dynamic analysis,
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 4c3b7be7-ea4a-4a92-80a9-c8496bde807d · outbound
A Framework for Debugging Quantum Programs Program slicing,
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation cdbc987d-df23-4e73-be1f-15c214682f1b · outbound
A Framework for Debugging Quantum Programs Y esterday, my program worked. today, it doe s not. why?
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation af462e71-0d42-4492-9f0e-304b47dea303 · outbound
A Framework for Debugging Quantum Programs Graph-based algorithms for boolean function manipulation,
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7000a618-4344-4260-832d-acb59d958913 · outbound
A Framework for Debugging Quantum Programs Robus t boolean reasoning for equivalence checking and functional property verificat ion,
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 080a649c-807f-43a9-a2a2-692de2a0dbde · outbound
A Framework for Debugging Quantum Programs Molitor and J
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 49eb4799-7de8-4a33-a987-131a49b28c93 · outbound
A Framework for Debugging Quantum Programs Design error diagnosis and co rrection via test vector simulation,
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8af641ec-03e8-4481-8b45-9d0669bce100 · outbound
A Framework for Debugging Quantum Programs Fault dia gnosis and logic debugging using Boolean satisfiability,
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 7695058c-b23a-4640-be54-e6f6c00a494c · outbound
A Framework for Debugging Quantum Programs Post- verification debugging of hierarchical designs,
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3292234b-9fad-464c-a66b-7c700fc48e1a · outbound
A Framework for Debugging Quantum Programs Debugging reversible circuits,
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8449dc87-4d89-466f-b4e6-9dc2b99870a2 · outbound
A Framework for Debugging Quantum Programs Coupling si mulation and hardware for interactive circuit debugging,
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6650ce2a-1380-4404-9451-0e6b1ea520d7 · outbound
A Framework for Debugging Quantum Programs A practical approach to programming wit h assertions,
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 07dc2eb5-a197-484d-8f83-dd0dbb8f3eda · outbound
A Framework for Debugging Quantum Programs Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 67be3b8f-c3b3-47d4-8d1c-095d6510ab12 · outbound
A Framework for Debugging Quantum Programs PennyLane: Automatic differentiation of hybrid quantum-classical computations
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec230301-81a2-40bc-97af-1568f5b6683e · outbound
A Framework for Debugging Quantum Programs Towards an Automated Framework for Realizing Quantum Computing Solutions
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2b5e3d21-e702-4687-8fa0-f3d7e362648f · outbound
A Framework for Debugging Quantum Programs Quantum computing with differentiable quantum trans- forms,
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 163e0217-0118-45c8-9514-06de6cfd678a · outbound
A Framework for Debugging Quantum Programs A Framework to Formulate Pathfinding Problems for Quantum Computing
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 214f60ce-3796-4ad5-8da4-da74c930ffaa · outbound
A Framework for Debugging Quantum Programs Towards an Automatic Framework for Solving Optimization Problems w ith Quantum Computers,
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e800ec1b-b0ec-495a-89fe-76684d9dc549 · outbound
A Framework for Debugging Quantum Programs Ketgpt–data set augmentation of quantum circuits using transformers,
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e856f958-d4ed-48d5-8875-c230724aebc3 · outbound
A Framework for Debugging Quantum Programs MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d56b567d-8a05-416f-bc74-8e38f1a6a6c1 · outbound
A Framework for Debugging Quantum Programs Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf6cd5f8-73b9-4074-bf7f-8d33d87316b6 · outbound
A Framework for Debugging Quantum Programs Openqasm 3: A broader and deeper quantum assembly languag e,
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c6244f1a-5821-4a38-8697-921d95c3a406 · outbound
A Framework for Debugging Quantum Programs Silq: A hi gh-level quantum language with safe uncomputation and intuitive semantics,
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1a5109cd-5090-4f07-9d8f-47f14dd169e9 · outbound
A Framework for Debugging Quantum Programs A Practical Quantum Instruction Set Architecture
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b935273c-1d66-4bf5-ac0b-62fa7269fc1e · outbound
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 2d06656d-f6e9-4b4a-9a57-e5e5b9947b63 · outbound
A Framework for Debugging Quantum Programs A fast quantum mechanical algorithm for d atabase search,
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b68de466-3a36-4832-b661-65d5099a56c9 · outbound
A Framework for Debugging Quantum Programs Open Quantum Assembly Language
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9a6e6d85-e230-4262-af57-14a1c13e86d6 · outbound
A Framework for Debugging Quantum Programs Rapid solution of problems by q uantum computation,
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 966c4459-50a4-4170-a83e-67a277814f68 · outbound
A Framework for Debugging Quantum Programs Advanced simulation of quant um computations,
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 3cfbd127-c081-426a-bf09-a643afb5b7af · outbound
A Framework for Debugging Quantum Programs Tools for quantum c omputing based on decision diagrams,
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 1d112119-0e8b-4715-ac5a-3a6131d8d4c0 · outbound
A Framework for Debugging Quantum Programs Unresolved cited work
Reference 2024
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e42d4222-a888-4a10-a53c-63537337835e · inbound
On the Feasibility of Quantum Unit Testing A Framework for Debugging Quantum Programs
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.