Paper Citation Record · LEDGER

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants

As of 12 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2607.09558.

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

pith.paper-citation-record.v1
2607.09558 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T02:10:00.570517Z

measured 41 of 41 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact19
verified fuzzy0
unresolved19
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 23682185-bf41-470b-8f98-a01f31a7e1de · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.809076Z

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 4430c999-b298-4c4c-b6c4-94b73ba78683 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.937144Z

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 e15408fa-b95f-45df-91df-5b033c1ab558 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.930174Z

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 362303bd-3878-4533-810d-3b082b53ab8a · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9e18aee-ba45-4098-ace4-be8c67493898 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.922549Z

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 6c418253-bd74-4c92-a0c3-75073f0fb2eb · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8a6140c-02bf-4315-82e0-f9494c922c3a · outbound

This paper cites Murawski, and C.-H.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Murawski, and C.-H

Reference 7

Resolution: malformed identifier; doi_truncated, observed 2026-07-13T02:19:17.696721Z

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 25975579-6e3c-4741-8cb1-484399e9616b · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cbb3a80-4f59-43b0-9b26-75d240800f61 · outbound

This paper cites Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-07-13T02:19:17.850566Z

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 d2685e99-e316-48a7-9197-69a8e05fc64d · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.787693Z

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 bfb6f580-8f7b-439f-9bd4-b838f6f14845 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.774897Z

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 02ca334f-10e9-4ee5-be5f-605c16075680 · outbound

This paper cites Ginsburg and E.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Ginsburg and E

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d0ecb6d-e834-4fb5-9024-74139ffebb5d · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31acceec-9ffb-4067-b519-d9bf19b049f5 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3918d3c-3e59-4624-8aa2-41e36d32298b · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7b59abd-2304-4972-9361-d1e20524ab50 · outbound

This paper cites Raskin, and Javier Esparza.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Raskin, and Javier Esparza

Reference 16

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.763198Z

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 378dfd78-6a9f-4dd1-9d72-a678cda8c561 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.870247Z

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 a6332a21-e528-49f3-8fcf-9cef2b32ed22 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b3a1282-f10d-4b30-9da7-06772198825a · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.915602Z

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 d4c301f9-4d36-47a8-8a20-98d3de7c2f98 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.877765Z

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 88779659-f630-4103-aaba-a890ff69854b · outbound

This paper cites Kanovich.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Kanovich

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a5357f8-1084-4caf-b2de-af2d5b00dd91 · outbound

This paper cites Rao Kosaraju.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Rao Kosaraju

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be41068a-88d8-485a-97b7-6db9da34b446 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 23

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.824268Z

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 29cb9d95-387c-4eed-b3f7-2c6d8c4f9df5 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dd4ad85-86a3-4c96-934b-f34e67d3fcf3 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5f9775b-89b7-486d-bf6c-a29ee013aefc · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d98601e-93d8-4342-847c-86827806b0f8 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 27

Resolution: malformed identifier; doi_truncated, observed 2026-07-13T02:19:17.746626Z

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 21f424ce-63f5-4ca9-905b-3e2650656842 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 233ed7ac-9340-4081-aa0c-a5feaa825a6c · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.687253Z

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 b920766e-5f55-4017-8f37-b486d3ede744 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 616926ba-1c84-40d4-93f1-138dc144f9ff · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.755543Z

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 3d8c2542-df6c-4286-993e-478cc460e844 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 32

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.794698Z

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 0498a850-e0aa-4bf9-a589-76fbdc71e0b2 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 33

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.737573Z

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 66555d9a-79a5-4ca0-a3d5-66a03b7d6b70 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52973bb9-597f-4eaa-bfbe-7f258d321915 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-07-13T02:19:17.902728Z

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 cab04927-2b2f-4a9a-bfb3-87ce3ffc22bf · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e71474c-62d6-488c-a4b0-6e8ba2a6b812 · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c573adc-6033-489e-a3e5-97cbe836aa41 · outbound

This paper cites 1999.Theory of linear and integer programming.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants 1999.Theory of linear and integer programming

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49bed133-9517-4ced-a5a3-bfcae9cdb6ef · outbound

This paper cites an unresolved cited work.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.729476Z

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 9c641a16-83bd-4ed6-af62-4db2954a41a3 · outbound

This paper cites decorated.

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants decorated

Reference 40

Resolution: verified exact; doi, observed 2026-07-13T02:19:17.892728Z

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 caf4b759-5d77-45ab-ade9-94890ebd6e21 · outbound

This paper cites Moreover, we have src(𝜎)= f0 =src(𝛼 0) +src(𝛽 0) − c0 =src(𝛼) +src(𝛽) −src(𝜌) and tgt(𝜎)= h𝑘 =tgt(𝛼 𝑘 ) +tgt(𝛽 𝑘 ) − c𝑘 =tgt(𝛼) +tgt(𝛽) −tgt(𝜌).

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants Moreover, we have src(𝜎)= f0 =src(𝛼 0) +src(𝛽 0) − c0 =src(𝛼) +src(𝛽) −src(𝜌) and tgt(𝜎)= h𝑘 =tgt(𝛼 𝑘 ) +tgt(𝛽 𝑘 ) − c𝑘 =tgt(𝛼) +tgt(𝛽) −tgt(𝜌)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-13T02:10:00.570517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.