Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Reducing urban traffic congestion due to localized routing decisions
As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2002.10298.
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-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T10:45:53.135666Z
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 09b8aeca-3b39-4f91-a647-b3f98eaf478a · inbound
Kindly Bent to Free Us cites this paper.
Kindly Bent to Free Us Reducing urban traffic congestion due to localized routing decisions
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T11:09:51.236473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f59f5f6b-c05a-411d-b6e3-a7429bc9bcf7 · inbound
An Abstract Domain for Heap Commutativity (Extended Version) cites this paper.
An Abstract Domain for Heap Commutativity (Extended Version) Reducing urban traffic congestion due to localized routing decisions
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T17:20:33.082582Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3daef933-5f06-49a8-9405-8d8b14135e3e · inbound
Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic cites this paper.
Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic Reducing urban traffic congestion due to localized routing decisions
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:45:53.135666Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac20ae40-5fc7-4016-9dc5-a67566e69d82 · inbound
A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms cites this paper.
A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms Reducing urban traffic congestion due to localized routing decisions
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T05:49:10.411941Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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-20T06:33:59.587034+00:00.
Observation 4ecba3d5-64c1-4e41-a52f-5c1db684395c · inbound
A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants cites this paper.
A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants Reducing urban traffic congestion due to localized routing decisions
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T16:59:23.577425Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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.
Observation 3fb904f2-abf9-4534-8ca6-69a6279ef0e0 · inbound
Multiobjective Preexpectation Reasoning for Probabilistic Programs cites this paper.
Multiobjective Preexpectation Reasoning for Probabilistic Programs Reducing urban traffic congestion due to localized routing decisions
Reference 299
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-14T15:11:07.397285Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.