Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T20:09:01.617175Z
Paper Citation Record · LEDGER
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
As of 11 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2501.09430.
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-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
12 of 12 outbound references displayed
- verified exact0
- verified fuzzy1
- unresolved10
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5494880c-a440-48ab-b3a0-46b45848b0eb · outbound
This paper cites Henzinger, and Pei-Hsin Ho.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Henzinger, and Pei-Hsin Ho
Reference 1
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-10T20:09:02.020510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 06755c22-13e6-4815-b6fd-56850be6e235 · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.988660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 30cec2f4-f4d7-4af0-921b-a26e4377b3df · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.959598Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1d483ede-08f1-4461-b696-9302e395e79d · outbound
This paper cites Henzinger.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Henzinger
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:09:01.922720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 4ef54d1f-4331-4d28-9be5-bb239a6c2549 · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.888568Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation b39c431e-c590-462c-bf7e-a22aa0a7822a · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.861327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8cf87069-c7de-4f1d-8f2b-7d5d6a313a92 · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.834610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c7b507d8-6e96-45ce-a327-52cb328195eb · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.803883Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 6fe25c6b-f5cc-48de-a0b9-eb29afb9e411 · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.770385Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 147df06b-e152-4e81-9290-218f1f40c500 · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.746621Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ffda45c7-e59b-41f5-abd7-c3b3ac99d251 · outbound
This paper cites an unresolved cited work.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:09:01.713307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7887780c-f993-433f-ad45-ddb3b9930a0d · outbound
This paper cites A Generalized Hybrid Hoare Logic.
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version A Generalized Hybrid Hoare Logic
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:09:01.617175Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.