Paper Citation Record · LEDGER

Reducing urban traffic congestion due to localized routing decisions

As of 11 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2002.10298.

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

pith.paper-citation-record.v1
2002.10298 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:42:44.948395Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T16:29:13.144628Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation e8ef9dd6-a2be-4e93-8958-d5650183cb8a · inbound

Logical relations for call-by-push-value models, via internal fibrations in a 2-category cites this paper.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Reducing urban traffic congestion due to localized routing decisions

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:44.948395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d857e0a-88ed-44b2-8fc6-ff826410dab8 · inbound

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml cites this paper.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml Reducing urban traffic congestion due to localized routing decisions

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:27.471841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afdf8829-daca-4502-a172-eaf9638a81f1 · inbound

Increasing the Expressiveness of a Gradual Verifier cites this paper.

Increasing the Expressiveness of a Gradual Verifier Reducing urban traffic congestion due to localized routing decisions

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:29:13.259847Z

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 fbc0b996-4782-431d-bc63-55257f676d57 · inbound

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation cites this paper.

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation Reducing urban traffic congestion due to localized routing decisions

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T02:24:29.209111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 665537a1-c095-4ffe-b207-f26ec2267740 · inbound

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity cites this paper.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity Reducing urban traffic congestion due to localized routing decisions

Reference 2002

Resolution: unresolved; no resolver link, observed 2026-08-02T03:20:04.017684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7796a826-9ee4-4b8e-a5cc-335be82470dd · inbound

Verifying Isolation Levels of Database Implementations for Free Using Separation Logic cites this paper.

Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Reducing urban traffic congestion due to localized routing decisions

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T22:14:42.096873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 933bbdef-dc67-4a80-b60d-c3ad5ccdc125 · inbound

Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary cites this paper.

Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary Reducing urban traffic congestion due to localized routing decisions

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T20:49:55.876537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 131154f8-ad9a-45d5-9425-12e61e280c01 · inbound

Formalization of security cites this paper.

Formalization of security Reducing urban traffic congestion due to localized routing decisions

Reference 135

Resolution: unresolved; no resolver link, observed 2026-07-31T03:58:10.586979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.