Reasoning about Continuous-Variable Quantum Systems | Paper Citation Record

Observation f7846035-677c-467e-b86c-d0fc4f125aed · outbound

This paper cites 2006.Infinite dimensional analysis: a hitchhiker’s guide.

Reasoning about Continuous-Variable Quantum Systems 2006.Infinite dimensional analysis: a hitchhiker’s guide

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:01.550175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16d31ce0-4f06-4cf1-bc22-3bff87058d2b · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:01.611360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 224c443e-1492-4f90-9d3e-493f6f19eed1 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:01.653694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20502da6-9a19-4fd8-acf4-8640c17d50a8 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:01.759668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2a07dc3-018d-4077-9571-c4c4f16cbbcc · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:01.855253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4251d8ea-c26d-473b-ad65-353e9e9ec481 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:01.966377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e89f817-57f5-49fb-857d-d1b72089f340 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.042839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1b63db1-b61f-4d3e-a0a4-d7207766e4f9 · outbound

This paper cites 2020.Boundary value problems, Weyl functions, and differential operators.

Reasoning about Continuous-Variable Quantum Systems 2020.Boundary value problems, Weyl functions, and differential operators

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.138621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12e15ef3-17ea-41eb-9396-33704fcd1e2f · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-01T03:38:24.324632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation f2fbaa25-9b0c-4ab1-b2f0-7c36b0fad3e8 · outbound

This paper cites Eli Bourassa, Rafael N.

Reasoning about Continuous-Variable Quantum Systems Eli Bourassa, Rafael N

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-01T03:36:02.342046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea25792a-0ae1-4c3a-860f-409b336e04f1 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.447739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a21808f1-5b80-46cb-ae05-f49e07ab68a6 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.524642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1446ae3-f976-4392-9976-3250b9180a04 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.604921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18901baa-48ae-4a99-b8b7-224dcc819777 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.750796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebf241ec-53ba-49a6-88a3-2892f351dd1b · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.824887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5558333-a7c1-4633-bf42-459cb83cda7d · outbound

This paper cites 1998.Multivalued linear operators.

Reasoning about Continuous-Variable Quantum Systems 1998.Multivalued linear operators

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.903578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a79af37-9742-40d7-88c6-27102eaac2a6 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:02.964553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c28fcf8-617f-4546-bb9f-d74aacdcaf30 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.062651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 732bd928-5726-4dd4-9b3f-bd3f64381f56 · outbound

This paper cites Diestel and J.

Reasoning about Continuous-Variable Quantum Systems Diestel and J

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.172772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b84bffb-03ef-4c61-8d87-3158826b7c29 · outbound

This paper cites Dunford and J.T.

Reasoning about Continuous-Variable Quantum Systems Dunford and J.T

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.285061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 343c0698-eec5-4359-aed3-d13fd3309b8c · outbound

This paper cites End-to-End Formalization of Quantum Error Correction.

Reasoning about Continuous-Variable Quantum Systems End-to-End Formalization of Quantum Error Correction

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.367982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8135d9ab-edcd-467c-8aca-0da58e18b644 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.448773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ae6162-7e4c-4e6b-84d9-82a169ecfc0b · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.562336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5aaedffb-e594-4091-a3c0-b683859c758a · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.620800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43e0bed2-6254-4b77-bbbb-572e48f63c74 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-01T03:36:03.727726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99e9d9da-571c-49c8-9a4d-d53cfd4f9890 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.784058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 520573f8-4a8d-4257-bb11-af5831406d0c · outbound

This paper cites 2001.Statistical structure of quantum theory.

Reasoning about Continuous-Variable Quantum Systems 2001.Statistical structure of quantum theory

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.834773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e26ff52-f3d4-413e-a23b-e4978a8f0229 · outbound

This paper cites 2011.Probabilistic and statistical aspects of quantum theory.

Reasoning about Continuous-Variable Quantum Systems 2011.Probabilistic and statistical aspects of quantum theory

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:03.947857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32d7704a-fcc0-47ad-8389-a0d1e928b024 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.003139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4680456-8c9f-468a-b886-9ace9a7d0f3a · outbound

This paper cites 2016.Analysis in Banach spaces.

Reasoning about Continuous-Variable Quantum Systems 2016.Analysis in Banach spaces

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.113243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3e21ff5-401e-4e79-b1c7-410754ed15b1 · outbound

This paper cites 1997.Fundamentals of the Theory of Operator Algebras.

Reasoning about Continuous-Variable Quantum Systems 1997.Fundamentals of the Theory of Operator Algebras

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.172889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79a93f56-62f6-4945-adbf-5d06145953b7 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.277805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2909be7b-8f24-421a-acad-74308bf9f2ed · outbound

This paper cites 2013.Perturbation theory for linear operators.

Reasoning about Continuous-Variable Quantum Systems 2013.Perturbation theory for linear operators

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.337832Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 267a0502-4c6a-4caf-8d0d-986a015a4a55 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.446142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f63f7c5-d50d-4c1b-a35a-829c0b4fefb0 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 35

Resolution: malformed identifier; no resolver link, observed 2026-08-01T03:36:04.552045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69c4ba7d-618d-42bf-b6ea-8707d9e4e6aa · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.663742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6cf3e8e-ee88-445b-b4d8-a57e65c180a6 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.723704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b53ce3af-a533-491b-a9a7-8e9b920cc88d · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 38

Resolution: verified exact; doi, observed 2026-08-01T03:38:24.210009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 93870229-6eb3-4d62-8dd9-1218b217c922 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-01T03:38:24.033375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4d09749b-2812-4f79-93cd-ffd96eecf186 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.789010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f26266c-a6d0-48f0-9dd2-d714e0f21625 · outbound

This paper cites Braunstein.

Reasoning about Continuous-Variable Quantum Systems Braunstein

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.793492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eac11128-8e7b-4256-8902-2c165063cb94 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.797746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d7b27d2-30cd-4f0c-872d-067bd03a91e5 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.801956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9defc0aa-2762-40da-9aae-21c2a2bb1e74 · outbound

This paper cites 2005.Abstraction, Refinement and Proof for Probabilistic Systems.

Reasoning about Continuous-Variable Quantum Systems 2005.Abstraction, Refinement and Proof for Probabilistic Systems

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.805988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f22d6969-7b67-4cdf-b983-c7248ca5dfa1 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.810847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8293bc3c-a9a3-475f-86da-ad9abc86b33b · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.815193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f09a972c-2ab3-44a4-a64a-c5ff18a49f08 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 47

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.967716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5a1ef2ef-77d8-42fc-96a9-c868f09558ee · outbound

This paper cites 1980.Methods of modern mathematical physics: Functional analysis.

Reasoning about Continuous-Variable Quantum Systems 1980.Methods of modern mathematical physics: Functional analysis

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.823573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f8e5e70-e4a3-49d1-b93c-e8cdefd68fda · outbound

This paper cites 1987.Real and complex analysis.

Reasoning about Continuous-Variable Quantum Systems 1987.Real and complex analysis

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.827936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b935485-54fc-4e76-b01f-1c86197cad34 · outbound

This paper cites 2012.Unbounded self-adjoint operators on Hilbert space.

Reasoning about Continuous-Variable Quantum Systems 2012.Unbounded self-adjoint operators on Hilbert space

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.832029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e441d4bd-419f-4862-a03c-bc92ffb0c881 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.835900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cab4f38-82d3-49fc-8aec-8f98e8b9e896 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.796590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 44adf98e-8eb7-4db1-afcd-ff1f018bbd40 · outbound

This paper cites Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs.

Reasoning about Continuous-Variable Quantum Systems Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.844247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c45ad392-b6ab-4e3e-a942-3dc936273084 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.848693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e228854-783a-4d36-a6e4-df7a48f7e766 · outbound

This paper cites Tse, Haocun Yu, N.

Reasoning about Continuous-Variable Quantum Systems Tse, Haocun Yu, N

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.852588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 576501c9-397f-4b68-8d3d-cc16cca5b7e0 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.856854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf378017-2e60-4d5c-9b01-0ad7a5d0e258 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.861229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 598d1591-5601-4023-9a57-21d612ee2fe8 · outbound

This paper cites Quantum references.

Reasoning about Continuous-Variable Quantum Systems Quantum references

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.865227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a329be6-c29b-442a-9511-2653fafaea0c · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.869441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2eb4f01d-58c4-4673-b173-56eaae11a58f · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.873158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e61204b9-6fe7-44fe-a04d-54a8dd71c0d0 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.876980Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b41cc290-2aca-41f0-a802-23120cc530ee · outbound

This paper cites QECV: Quantum Error Correction Verification.

Reasoning about Continuous-Variable Quantum Systems QECV: Quantum Error Correction Verification

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.880772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bde80235-a8c1-48e5-b48d-68b6eac70a8c · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.884978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23ad30d3-b1d4-456b-b8f3-4d7c32f7d91c · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 64

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.694464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 87d345ad-85bc-4160-af1b-bfd0c55a2c75 · outbound

This paper cites Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.

Reasoning about Continuous-Variable Quantum Systems Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.893217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 310a8191-281d-400e-8a3c-ceb8d985c1b0 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 66

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.603304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e1bdcdf4-5117-4738-ace2-c93059798bb6 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.902008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 147321c7-30c5-4ecd-9bfa-33c99445aa1d · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 68

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.509176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4761f284-f4f0-4038-a56c-58b5d04281b6 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 69

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.385879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 81acf81d-dcf2-4bbc-bb85-c36850a37e5b · outbound

This paper cites Reasoning about Parallel Quantum Programs.

Reasoning about Continuous-Variable Quantum Systems Reasoning about Parallel Quantum Programs

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.914728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f808191b-8c40-43b0-8163-c84f26cfbe7a · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 71

Resolution: verified exact; doi, observed 2026-08-01T03:38:23.259788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 224e5319-5746-4281-b783-6a182537a3b9 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.923612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdb14ada-54cf-4b17-b938-df7664a2b906 · outbound

This paper cites By the definition of closure, the domain Dom(𝑇) is dense inDom(𝔱 𝑇)with respect to the form norm.

Reasoning about Continuous-Variable Quantum Systems By the definition of closure, the domain Dom(𝑇) is dense inDom(𝔱 𝑇)with respect to the form norm

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.929107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8650cc3e-5ad6-4f87-959f-e89c9ec49966 · outbound

This paper cites continue.

Reasoning about Continuous-Variable Quantum Systems continue

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.933257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7626f2b-1285-4716-9641-839b35c54c5d · outbound

This paper cites We show that Í 𝑖 𝔱𝑄[𝐾𝑖 u]= Í 𝑗 𝔱𝑄[𝐿𝑗 u]for any𝑢∈H.

Reasoning about Continuous-Variable Quantum Systems We show that Í 𝑖 𝔱𝑄[𝐾𝑖 u]= Í 𝑗 𝔱𝑄[𝐿𝑗 u]for any𝑢∈H

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.940112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b7d3960-c7bc-4295-9b26-ff4fbe05784b · outbound

This paper cites By the spectral approximation𝑄= Ã 𝑛𝑄𝑛 used above, and the continuity of the trace over positive forms, we have: Tr(𝑄J𝑆K(𝜌))=sup 𝑛 Tr 𝑄𝑛J𝑆K(𝜌).

Reasoning about Continuous-Variable Quantum Systems By the spectral approximation𝑄= Ã 𝑛𝑄𝑛 used above, and the continuity of the trace over positive forms, we have: Tr(𝑄J𝑆K(𝜌))=sup 𝑛 Tr 𝑄𝑛J𝑆K(𝜌)

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.944833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84c17044-770a-4f2a-b9d7-ee5042928afd · outbound

This paper cites • Validity:By the Exact Duality established above,Tr(wlp(𝑆,𝑄)𝜌)=Tr(𝑄J𝑆K(𝜌))≥Tr(𝑄J𝑆K(𝜌)).

Reasoning about Continuous-Variable Quantum Systems • Validity:By the Exact Duality established above,Tr(wlp(𝑆,𝑄)𝜌)=Tr(𝑄J𝑆K(𝜌))≥Tr(𝑄J𝑆K(𝜌))

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.949518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31cca163-a3cf-401d-aa49-0c3a09090579 · outbound

This paper cites By definition, Dom(𝔱𝑄)⊆Dom(𝔱 𝑃) and 𝔱𝑃[v]≤𝔱 𝑄[v] for all v∈Dom(𝔱 𝑄).

Reasoning about Continuous-Variable Quantum Systems By definition, Dom(𝔱𝑄)⊆Dom(𝔱 𝑃) and 𝔱𝑃[v]≤𝔱 𝑄[v] for all v∈Dom(𝔱 𝑄)

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.955491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b3ac64e-1a4d-4d6b-bbef-311db79da02c · outbound

This paper cites By Theorem A.3, the form 𝔱𝑃 is defined by 𝔱𝑃[v]=Í 𝑗𝑐𝑗 𝔱𝑃 𝑗[v]and is a closed form.

Reasoning about Continuous-Variable Quantum Systems By Theorem A.3, the form 𝔱𝑃 is defined by 𝔱𝑃[v]=Í 𝑗𝑐𝑗 𝔱𝑃 𝑗[v]and is a closed form

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.959766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53d9ca98-6360-4ae8-b3f2-f328d8f3efec · outbound

This paper cites By Theo- rem A.3,𝔱𝑃(v)=sup 𝑛 𝔱𝑃𝑛(v).

Reasoning about Continuous-Variable Quantum Systems By Theo- rem A.3,𝔱𝑃(v)=sup 𝑛 𝔱𝑃𝑛(v)

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.964098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f347249-b6b3-4ece-a329-f83f10e7dcb7 · outbound

This paper cites Hence Tr(𝑃𝑠𝑦𝑛𝜌)=Tr(𝑄𝜌)=Tr(𝑄JskipK(𝜌)).

Reasoning about Continuous-Variable Quantum Systems Hence Tr(𝑃𝑠𝑦𝑛𝜌)=Tr(𝑄𝜌)=Tr(𝑄JskipK(𝜌))

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.968903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bf704c4-cf11-46d7-9926-7666cdb4a3ee · outbound

This paper cites By the induction hypothesis for 𝑆2,𝑅∈P.

Reasoning about Continuous-Variable Quantum Systems By the induction hypothesis for 𝑆2,𝑅∈P

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.973049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fa1a916-e7b7-478d-8aed-f935da378a43 · outbound

This paper cites The measurement outcome space is denoted by(Ω𝑀,Σ𝑀,𝜇) , the Kraus-density operator at outcome𝜈 by𝑀𝜈, and the continuation with𝑥=𝜈 by𝑆 𝜈.

Reasoning about Continuous-Variable Quantum Systems The measurement outcome space is denoted by(Ω𝑀,Σ𝑀,𝜇) , the Kraus-density operator at outcome𝜈 by𝑀𝜈, and the continuation with𝑥=𝜈 by𝑆 𝜈

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.976937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58ba0a12-c02a-41da-b741-4bdb3382d612 · outbound

This paper cites Define𝑋 0 =0, and 𝔱𝑋𝑛+1[u]= 𝔱 𝑄[𝑀0u]+𝔱 wlpsyn(𝑆𝑏𝑜𝑑 𝑦,𝑋𝑛)[𝑀1u].

Reasoning about Continuous-Variable Quantum Systems Define𝑋 0 =0, and 𝔱𝑋𝑛+1[u]= 𝔱 𝑄[𝑀0u]+𝔱 wlpsyn(𝑆𝑏𝑜𝑑 𝑦,𝑋𝑛)[𝑀1u]

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.981070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e39d43ac-66af-4679-8cb8-4afee480074a · outbound

This paper cites The total cost is C(𝑆,𝜌)= ∞∑︁ 𝑘=0 𝜀Tr(𝜌 𝑘)+C(𝑆 𝑏𝑜𝑑𝑦,𝑀 1𝜌𝑘𝑀† 1) <∞.

Reasoning about Continuous-Variable Quantum Systems The total cost is C(𝑆,𝜌)= ∞∑︁ 𝑘=0 𝜀Tr(𝜌 𝑘)+C(𝑆 𝑏𝑜𝑑𝑦,𝑀 1𝜌𝑘𝑀† 1) <∞

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.985659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5373e07-c39e-4645-aac2-bbfda9091f3d · outbound

This paper cites Their sum is 𝔱𝑄[u]+𝜀∥ u∥2, which exactly matches the syntactic rule 𝔱wp(skip,𝑄)[u].

Reasoning about Continuous-Variable Quantum Systems Their sum is 𝔱𝑄[u]+𝜀∥ u∥2, which exactly matches the syntactic rule 𝔱wp(skip,𝑄)[u]

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.990005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1daeaaf-4333-481b-8d58-9d1dcad2b09d · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.994018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84341996-d23a-49af-ab37-313baf6e6aa3 · outbound

This paper cites an unresolved cited work.

Reasoning about Continuous-Variable Quantum Systems Unresolved cited work

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:04.998675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2158779-dd17-458d-ad68-3eaed26e0e28 · outbound

This paper cites Both components are defined as infinite limits of their 𝑁 -step truncations.

Reasoning about Continuous-Variable Quantum Systems Both components are defined as infinite limits of their 𝑁 -step truncations

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.003171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5905e428-a776-4f1c-83e0-2431673481df · outbound

This paper cites Thus, equality𝑃=wlp(𝑆,𝑄) holds trivially, which implies𝑃⊒wlp(𝑆,𝑄).

Reasoning about Continuous-Variable Quantum Systems Thus, equality𝑃=wlp(𝑆,𝑄) holds trivially, which implies𝑃⊒wlp(𝑆,𝑄)

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.008109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28f08dc9-7fbf-4760-b4ba-3f9212b01dda · outbound

This paper cites By the monotonicity of the wlp transformer (Theorem C.2.1), wlp(𝑆 1,𝑅)⊒wlp(𝑆 1,wlp(𝑆 2,𝑄)).

Reasoning about Continuous-Variable Quantum Systems By the monotonicity of the wlp transformer (Theorem C.2.1), wlp(𝑆 1,𝑅)⊒wlp(𝑆 1,wlp(𝑆 2,𝑄))

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.012270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf7e4d3-a4e1-4da6-a7ea-260535ef30e5 · outbound

This paper cites By induction hypothesis,𝑃𝜈⊒wlp(𝑆 𝜈,𝑄) , which means 𝔱𝑃𝜈[v]≥𝔱 wlp(𝑆 𝜈,𝑄)[v] for allv.

Reasoning about Continuous-Variable Quantum Systems By induction hypothesis,𝑃𝜈⊒wlp(𝑆 𝜈,𝑄) , which means 𝔱𝑃𝜈[v]≥𝔱 wlp(𝑆 𝜈,𝑄)[v] for allv

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.016711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ad88f5c-0ab3-46aa-a3b9-deea3bca392d · outbound

This paper cites By the induction hypothesis,𝑅⊒wlp(𝑆 𝑏𝑜𝑑𝑦,𝑃).

Reasoning about Continuous-Variable Quantum Systems By the induction hypothesis,𝑅⊒wlp(𝑆 𝑏𝑜𝑑𝑦,𝑃)

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.020952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51eceab7-ee70-4576-9ee5-77af61e8cf99 · outbound

This paper cites By the monotonicity of wlp,𝑄′⊒𝑄=⇒wlp(𝑆,𝑄 ′) ⊒wlp(𝑆,𝑄).

Reasoning about Continuous-Variable Quantum Systems By the monotonicity of wlp,𝑄′⊒𝑄=⇒wlp(𝑆,𝑄 ′) ⊒wlp(𝑆,𝑄)

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.025092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c62d466-e449-4d6b-beee-8852d2a26608 · outbound

This paper cites For abort, the semantic weakest liberal precondition is wlp(abort,𝑄)= 0(by Definition C.4).

Reasoning about Continuous-Variable Quantum Systems For abort, the semantic weakest liberal precondition is wlp(abort,𝑄)= 0(by Definition C.4)

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.029353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94012bae-7b12-4274-9d4f-ac8658601f67 · outbound

This paper cites By the induction hypothesis, ⊢ {𝑃𝜈}𝑆𝜈{𝑄} is derivable for all𝜈∈Ω 𝑀.

Reasoning about Continuous-Variable Quantum Systems By the induction hypothesis, ⊢ {𝑃𝜈}𝑆𝜈{𝑄} is derivable for all𝜈∈Ω 𝑀

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.033574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8f0e1b4-71e9-4600-88f0-03e28f2b65f4 · outbound

This paper cites We must derive⊢{wlp(𝑆,𝑄)}𝑆{𝑄}.

Reasoning about Continuous-Variable Quantum Systems We must derive⊢{wlp(𝑆,𝑄)}𝑆{𝑄}

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.037920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b8c83af-34aa-46a5-ab2e-3397d9292ba8 · outbound

This paper cites Evaluating its quadratic form yields 𝔱𝑃𝑠 𝑦𝑛[u]= 𝔱 𝑄[u]+𝜀 ∥u∥2.

Reasoning about Continuous-Variable Quantum Systems Evaluating its quadratic form yields 𝔱𝑃𝑠 𝑦𝑛[u]= 𝔱 𝑄[u]+𝜀 ∥u∥2

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.042415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7aa68c1e-414e-4fa9-9194-b0f0eec1f580 · outbound

This paper cites By the induction hypothesis, we have𝑃⊒wp(𝑆 1,𝑅) and𝑅⊒wp(𝑆 2,𝑄).

Reasoning about Continuous-Variable Quantum Systems By the induction hypothesis, we have𝑃⊒wp(𝑆 1,𝑅) and𝑅⊒wp(𝑆 2,𝑄)

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.046589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 901021a3-9a14-4e39-abd1-90e52543764c · outbound

This paper cites The derived precondition is𝑃𝑝𝑟𝑒 =𝜀𝐼+ ∫ Ω𝑀 𝑀† 𝜈𝑃𝜈𝑀𝜈𝑑𝜇(𝜈).

Reasoning about Continuous-Variable Quantum Systems The derived precondition is𝑃𝑝𝑟𝑒 =𝜀𝐼+ ∫ Ω𝑀 𝑀† 𝜈𝑃𝜈𝑀𝜈𝑑𝜇(𝜈)

Reference 102

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:05.051623Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers