Paper Citation Record · LEDGER

Modular Runtime Complexity Analysis of Probabilistic While Programs

As of 22 August 2026, this Paper Citation Record lists 3 of 3 outbound references and 1 inbound Pith citation observation for arXiv:1908.11343.

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

pith.paper-citation-record.v1
1908.11343 v1

Coverage vector

measured 3 of 3 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:35:08.968708Z

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-27T04:41:39.021333Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T16:58:43.613463Z

Reference resolution

3 of 3 outbound references displayed

verified exact0
verified fuzzy2
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 24080595-962f-4839-83e7-bb6c35cdc82b · outbound

This paper cites an unresolved cited work.

Modular Runtime Complexity Analysis of Probabilistic While Programs Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:35:09.041746Z

Source-reported events for the cited work

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

Observation 0a852299-9778-46f8-80c8-e43fe3856c81 · outbound

This paper cites Lucien Kaminski, J.-P.

Modular Runtime Complexity Analysis of Probabilistic While Programs Lucien Kaminski, J.-P

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:35:09.025333Z

Source-reported events for the cited work

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

Observation 6c2611b1-15df-4367-a430-68808e4c9a60 · outbound

This paper cites Olmedo, B.

Modular Runtime Complexity Analysis of Probabilistic While Programs Olmedo, B

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:35:09.007862Z

Source-reported events for the cited work

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

Pith citing papers

Observation c73b4bcc-5897-4fae-b2d6-d4679e887de5 · inbound

Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams cites this paper.

Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams Modular Runtime Complexity Analysis of Probabilistic While Programs

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-03T16:58:43.615541Z

Source-reported events for the cited work

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