Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-23T07:44:28.588742Z
Paper Citation Record · LEDGER
A Practical Quantum Hoare Logic with Classical Variables, I
As of 3 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 2 inbound Pith citation observations for arXiv:2412.09869.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-02T06:30:47.504484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T17:18:12.178281Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-10T06:15:00.866473Z
Reference resolution
72 of 72 outbound references displayed
- verified exact8
- verified fuzzy33
- unresolved31
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 715dc2ea-1336-4a42-8f27-a8d99696495a · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.652340Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation d62550d1-1468-4d71-ad16-19c83f36c6b6 · outbound
This paper cites Barthe, J.
A Practical Quantum Hoare Logic with Classical Variables, I Barthe, J
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.676411Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 1e3f200a-6127-4dd5-9679-7b84e3f991a2 · outbound
This paper cites Bauer-Marquart, S.
A Practical Quantum Hoare Logic with Classical Variables, I Bauer-Marquart, S
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.679845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 44d802db-ac45-4e29-93c8-064c1d7be30c · outbound
This paper cites Biamonte, P.
A Practical Quantum Hoare Logic with Classical Variables, I Biamonte, P
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.683758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 9ed460e5-a83a-42cd-b5d4-3a315f65bfca · outbound
This paper cites Birkhoff and J.
A Practical Quantum Hoare Logic with Classical Variables, I Birkhoff and J
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.691287Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation a8b44981-f11f-4211-92a1-9a0bc54fcd4c · outbound
This paper cites Carette, G.
A Practical Quantum Hoare Logic with Classical Variables, I Carette, G
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.542064Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation a3e55182-683a-4e02-95ae-8290d5eb1558 · outbound
This paper cites Cerezo, A.
A Practical Quantum Hoare Logic with Classical Variables, I Cerezo, A
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.550583Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation dbe3718a-40ac-4650-9b79-e8b565537a62 · outbound
This paper cites Chadha, P.
A Practical Quantum Hoare Logic with Classical Variables, I Chadha, P
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.538611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 0a92ca2a-b7e3-4c71-bca5-1285cb58b76a · outbound
This paper cites Chareton, S.
A Practical Quantum Hoare Logic with Classical Variables, I Chareton, S
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.674198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation c11599ac-b01b-4d18-adc0-d5c238117533 · outbound
This paper cites Chareton, D.
A Practical Quantum Hoare Logic with Classical Variables, I Chareton, D
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.669490Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 39a0153b-40b5-418f-9d68-c1dd34f07157 · outbound
This paper cites Cross, A.
A Practical Quantum Hoare Logic with Classical Variables, I Cross, A
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.596400Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation a8e805f1-ea61-4eb6-b148-5dcd6b8522e6 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.570457Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 5ecc8fdc-e6e4-44aa-93b3-cee6c9050aa4 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.549764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 905cc353-7e3b-4680-9a88-4d873dcdb90e · outbound
This paper cites D’Hondt and P.
A Practical Quantum Hoare Logic with Classical Variables, I D’Hondt and P
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.584155Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 928b0ce7-94bb-4b56-adfc-88d0fc22b97d · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.687307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation ac983957-d5ec-475a-a533-346ed31988b1 · outbound
This paper cites Fang and M.
A Practical Quantum Hoare Logic with Classical Variables, I Fang and M
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.694542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 9017dc2a-5f05-4a94-841c-30251ad42712 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.750647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 679cbd8d-06f0-49b5-93d6-ab6c443ae98c · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.665677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 2f92614e-ce7c-4a4b-88ce-f0276629740c · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.671553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7e842354-2c28-43b4-ba29-467ba0c2cfba · outbound
This paper cites Feng and Y.
A Practical Quantum Hoare Logic with Classical Variables, I Feng and Y
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.731350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 9944ced2-ac8b-437b-b5f9-3d8867982dd8 · outbound
This paper cites Feng and M.
A Practical Quantum Hoare Logic with Classical Variables, I Feng and M
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.728029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 3a28602f-efed-4c21-9621-368bdbdbb892 · outbound
This paper cites Refinement calculus of quantum programs with projective assertions.
A Practical Quantum Hoare Logic with Classical Variables, I Refinement calculus of quantum programs with projective assertions
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.966422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7b9037eb-75d2-4bb0-ba54-ac855d24bde6 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.723642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation e13b6b5f-8cba-42a7-b28a-31dfde90741b · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.560420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation ef87ca9b-0fb4-4306-9931-c3b9034f9cc9 · outbound
This paper cites Hietala, A Verified Software Toolchain for Quantum Programming , PhD Thesis, University of Maryland.
A Practical Quantum Hoare Logic with Classical Variables, I Hietala, A Verified Software Toolchain for Quantum Programming , PhD Thesis, University of Maryland
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.614540Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 3ef8a9cb-4ebb-401f-859e-be7c90e43594 · outbound
This paper cites Hietala, R.
A Practical Quantum Hoare Logic with Classical Variables, I Hietala, R
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.782997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7b05e03b-9617-4e30-a8c6-e9139e0c1a6a · outbound
This paper cites Jorrand and S.
A Practical Quantum Hoare Logic with Classical Variables, I Jorrand and S
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.765196Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 83d338a9-26e8-45bd-9d68-4db72a4fbc30 · outbound
This paper cites Kakutani, A logic for formal verification of quantum programs, In: Proceedings of the 13th Asian Computing Science Conference (ASIAN) , Springer LNCS 5913, 2009, pp.
A Practical Quantum Hoare Logic with Classical Variables, I Kakutani, A logic for formal verification of quantum programs, In: Proceedings of the 13th Asian Computing Science Conference (ASIAN) , Springer LNCS 5913, 2009, pp
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.774281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation e76ac847-4d7b-4230-8535-cd8dc2fdf3e5 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.747930Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation c27f11c7-9cad-4a28-b7ea-43efbdfb3c4c · outbound
This paper cites Lewis, S.
A Practical Quantum Hoare Logic with Classical Variables, I Lewis, S
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.744899Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 0a5618c9-3397-4185-ac85-5dd901a0673d · outbound
This paper cites Qafny: A Quantum-Program Verifier.
A Practical Quantum Hoare Logic with Classical Variables, I Qafny: A Quantum-Program Verifier
Reference 31
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.997083Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation bd7b5f97-b7e4-4269-8b56-d1bb5c03a43d · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.734960Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation ef563fba-ca59-4236-adf4-b39d8f5f13ea · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.738373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation af532bdb-6bb7-471b-9835-73f2251af416 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.769746Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 8c82bd6b-0590-41df-a9a6-b171414d62b4 · outbound
This paper cites Loeckx and K.
A Practical Quantum Hoare Logic with Classical Variables, I Loeckx and K
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.663838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 1541f46e-4cfe-4c9d-bb6d-c43764ec0dbd · outbound
This paper cites Mateus and A.
A Practical Quantum Hoare Logic with Classical Variables, I Mateus and A
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.744577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 9d4f527c-9eb8-49de-8bbb-7c0ceb5d96b5 · outbound
This paper cites Meuli, M.
A Practical Quantum Hoare Logic with Classical Variables, I Meuli, M
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.727033Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 31e4efd8-0ef0-40ef-be62-dce06938dfb8 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.730497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation ba0a426b-ae23-4a9e-83fa-49222b271b13 · outbound
This paper cites QbC: Quantum Correctness by Construction.
A Practical Quantum Hoare Logic with Classical Variables, I QbC: Quantum Correctness by Construction
Reference 39
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.981491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 0b813651-3a68-4062-824d-f3712d178fa8 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.751023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation c9968454-bc2f-44ff-8c88-6128dee9d3b1 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.778691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 52f0fb65-ae89-4e44-923b-0993952437e9 · outbound
This paper cites Perdrix, Quantum entanglement analysis based on abstract interpre- tation, in: Proceedings of the 2008 International Static Analysis Sympo- sium (SAS), pp.
A Practical Quantum Hoare Logic with Classical Variables, I Perdrix, Quantum entanglement analysis based on abstract interpre- tation, in: Proceedings of the 2008 International Static Analysis Sympo- sium (SAS), pp
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.787445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation d31cd47d-20ce-4d50-a602-a0ce7cf3a9c8 · outbound
This paper cites Rand, Formally Verified Quantum Programming, PhD Thesis, Uni- versity of Pennsylvania.
A Practical Quantum Hoare Logic with Classical Variables, I Rand, Formally Verified Quantum Programming, PhD Thesis, Uni- versity of Pennsylvania
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.709373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 2ecb5f6a-c69b-4a6d-ae20-ebf594313535 · outbound
This paper cites Selinger, Towards a quantum programming language, Mathematical Structures in Computer Science 14(2004) 527-586.
A Practical Quantum Hoare Logic with Classical Variables, I Selinger, Towards a quantum programming language, Mathematical Structures in Computer Science 14(2004) 527-586
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.705390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation e8adcdc0-95c2-4383-a723-fbf9f749cc8b · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.712852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 1baa54d8-e96c-4a41-a78e-78402c496169 · outbound
This paper cites Singhal, R.
A Practical Quantum Hoare Logic with Classical Variables, I Singhal, R
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.747653Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation ed31e946-c8ab-458f-8104-2fe2238b3026 · outbound
This paper cites Svore, A.
A Practical Quantum Hoare Logic with Classical Variables, I Svore, A
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.765531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 3fcb8736-92a0-4a21-b883-cc6e026290b3 · outbound
This paper cites Takagi, C.
A Practical Quantum Hoare Logic with Classical Variables, I Takagi, C
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.738072Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7c40b77c-c823-4619-ba05-9a55ae854625 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.741119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7b7f4c9b-2817-4e5c-b221-862f823a8f87 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.705658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 732f14e9-8302-498f-9e5f-5744272834a9 · outbound
This paper cites Unruh, Quantum Hoare logic with ghost variables, Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A Practical Quantum Hoare Logic with Classical Variables, I Unruh, Quantum Hoare logic with ghost variables, Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.701355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 663df82c-d3ae-440e-9f50-3d2513af0117 · outbound
This paper cites Unruh, Quantum relational Hoare logic, Proceedings of ACM Pro- gramming Languages 3(2019) POPL: art.
A Practical Quantum Hoare Logic with Classical Variables, I Unruh, Quantum relational Hoare logic, Proceedings of ACM Pro- gramming Languages 3(2019) POPL: art
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.720243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 20290979-18cb-47be-ae5d-d566fcb0d67a · outbound
This paper cites Valiron, On Quantum Programming Languages , Habilitation Disser- tation, University of Paris - Saclay.
A Practical Quantum Hoare Logic with Classical Variables, I Valiron, On Quantum Programming Languages , Habilitation Disser- tation, University of Paris - Saclay
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.686528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 20cde6c1-f6c3-4f35-a960-b4c491193db7 · outbound
This paper cites von Neumann, On infinite direct products, Compositio Mathematica, tome 6(1939) 1-77.
A Practical Quantum Hoare Logic with Classical Variables, I von Neumann, On infinite direct products, Compositio Mathematica, tome 6(1939) 1-77
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.682042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 76df4262-2aa4-4546-b8eb-6426976f9fa6 · outbound
This paper cites Reasoning about Recursive Quantum Programs.
A Practical Quantum Hoare Logic with Classical Variables, I Reasoning about Recursive Quantum Programs
Reference 55
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.991944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 6730ce21-3901-4392-bfa6-82b757e49377 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.661122Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 95459408-010b-49c7-a329-5ccdb0e4297b · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.690014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 177e00ea-93e0-40dd-8a8e-707f5e1b1a24 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.716337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 65c4b382-9572-4bb7-88b7-070617bae4c2 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.643337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 93fbcc21-ab2f-4447-8766-669d1f2fa74f · outbound
This paper cites Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.
A Practical Quantum Hoare Logic with Classical Variables, I Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
Reference 60
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.987356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 24595cbf-9a2b-4ed8-aa62-dbf6ba784561 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.678259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 22db60c7-4e45-4d0e-960d-d0df994fbe7f · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.753821Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation db08e7d5-b20a-456f-8ad1-c5fd8b316e76 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.761606Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7bf68a56-c6ce-42cf-8915-a2c0c289804e · outbound
This paper cites Quantum Recursive Programming with Quantum Case Statements.
A Practical Quantum Hoare Logic with Classical Variables, I Quantum Recursive Programming with Quantum Case Statements
Reference 64
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.981730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 1b784616-6e1f-4446-9ea0-3cfeecc3445c · outbound
This paper cites Verification of Recursively Defined Quantum Circuits.
A Practical Quantum Hoare Logic with Classical Variables, I Verification of Recursively Defined Quantum Circuits
Reference 65
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.969997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 3d1da7ec-475e-40b8-8bd9-acc26960e445 · outbound
This paper cites Reasoning about Parallel Quantum Programs.
A Practical Quantum Hoare Logic with Classical Variables, I Reasoning about Parallel Quantum Programs
Reference 66
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:45:28.971204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 6c05ceb0-fbfb-4946-bf4f-a8794b0e21de · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.769437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation ea647f13-7aa8-4a67-84e5-1c8570da9b0a · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.757819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 62213a85-2574-45d0-8422-42417f1efb77 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.575507Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 40266d40-993b-45bd-a8c1-6e2c40b3834d · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.589846Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation a8a2b32b-e365-45f0-b869-969324f8c3e0 · outbound
This paper cites an unresolved cited work.
A Practical Quantum Hoare Logic with Classical Variables, I Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:45:29.602201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 7e43c852-8f26-4ce7-a1d0-aa611accc8a7 · outbound
This paper cites WD” stand for “is well-defined.
A Practical Quantum Hoare Logic with Classical Variables, I WD” stand for “is well-defined
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:45:29.571976Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Pith citing papers
Observation 054b111d-95f7-497d-b1c5-ce432decdc62 · inbound
An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops cites this paper.
An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops A Practical Quantum Hoare Logic with Classical Variables, I
Reference 62
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T05:36:48.373938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.
Observation 5d27227d-cb6e-4c81-bd9c-60f07ddc8d2b · inbound
Formal Verification of Continuous-Variable Quantum Programs cites this paper.
Formal Verification of Continuous-Variable Quantum Programs A Practical Quantum Hoare Logic with Classical Variables, I
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T17:18:12.178281Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.