Paper Citation Record · LEDGER

On the Reachability Problem for Two-Dimensional Branching VASS

As of 21 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2506.22561.

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

pith.paper-citation-record.v1
2506.22561 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:17:53.912177Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

34 of 34 outbound references displayed

verified exact6
verified fuzzy2
unresolved21
parse uncertain0
malformed identifier1
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4cc68fe1-d003-43c8-872e-8c2abc42d07c · outbound

This paper cites Approximating petri net reachability along context-free traces.

On the Reachability Problem for Two-Dimensional Branching VASS Approximating petri net reachability along context-free traces

Reference 1

Resolution: verified exact; doi, observed 2026-08-06T22:17:54.077530Z

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 5cf00de5-334b-4453-8dac-34bf055a0eca · outbound

This paper cites The reachability problem for two-dimensional vector addition systems with states.

On the Reachability Problem for Two-Dimensional Branching VASS The reachability problem for two-dimensional vector addition systems with states

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.814893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0fc1924-94ed-4d43-8139-81a844c102b6 · outbound

This paper cites Two-variable logic on data trees and XML reasoning.

On the Reachability Problem for Two-Dimensional Branching VASS Two-variable logic on data trees and XML reasoning

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T22:17:54.591448Z

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 29b9b407-6c2b-4c9d-9706-f47c2d11feea · outbound

This paper cites Analysis of recursively parallel programs.

On the Reachability Problem for Two-Dimensional Branching VASS Analysis of recursively parallel programs

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.821702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4448311-482a-4938-a583-0e496f83c120 · outbound

This paper cites The tractability border of reachability in simple vector addition systems with states.

On the Reachability Problem for Two-Dimensional Branching VASS The tractability border of reachability in simple vector addition systems with states

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.824981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d28a0cb3-5893-4a16-b6f9-642a2b61c5cd · outbound

This paper cites Timed pushdown automata and branching vector addition systems.

On the Reachability Problem for Two-Dimensional Branching VASS Timed pushdown automata and branching vector addition systems

Reference 6

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T22:17:54.423069Z

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 b884540f-236b-45fc-b1cf-62763d78d3b0 · outbound

This paper cites Murawski, and C.

On the Reachability Problem for Two-Dimensional Branching VASS Murawski, and C

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.831246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7a1a7de-5fcc-463e-a54e-ca70a99d88fb · outbound

This paper cites The reachability problem for P etri nets is not elementary.

On the Reachability Problem for Two-Dimensional Branching VASS The reachability problem for P etri nets is not elementary

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.833910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7838c4af-ac98-4154-9069-6ed9dff33f01 · outbound

This paper cites David and H.

On the Reachability Problem for Two-Dimensional Branching VASS David and H

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:17:54.926582Z

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 c216fedf-be51-4933-8134-104f4f5ea450 · outbound

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

On the Reachability Problem for Two-Dimensional Branching VASS Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.840271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b56102f2-9808-49f8-bf4e-935337623ab8 · outbound

This paper cites The covering and boundedness problems for branching vector addition systems.

On the Reachability Problem for Two-Dimensional Branching VASS The covering and boundedness problems for branching vector addition systems

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.843931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 690f4dfa-87ce-43ad-87c2-f96380ad8da8 · outbound

This paper cites Polynomial-space completeness of reachability for succinct branching VASS in dimension one.

On the Reachability Problem for Two-Dimensional Branching VASS Polynomial-space completeness of reachability for succinct branching VASS in dimension one

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.847524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c9f31f7-bb7e-4de6-97a5-f8e1d9978724 · outbound

This paper cites Reachability for two-counter machines with one test and one reset.

On the Reachability Problem for Two-Dimensional Branching VASS Reachability for two-counter machines with one test and one reset

Reference 13

Resolution: verified exact; doi, observed 2026-08-06T22:17:54.039263Z

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 dbb1c0a6-8bab-4223-b609-ceb05396c384 · outbound

This paper cites Complexity analysis of continuous petri nets.

On the Reachability Problem for Two-Dimensional Branching VASS Complexity analysis of continuous petri nets

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.853871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb60087e-8074-4d9e-99fe-05fa2fb15d74 · outbound

This paper cites Reachability in bidirected pushdown VASS.

On the Reachability Problem for Two-Dimensional Branching VASS Reachability in bidirected pushdown VASS

Reference 15

Resolution: verified exact; doi, observed 2026-08-06T22:17:54.025609Z

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 dbf0c39d-7dd6-4266-b34e-c6d33295be0e · outbound

This paper cites an unresolved cited work.

On the Reachability Problem for Two-Dimensional Branching VASS Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.859785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ee311cc-2dbd-4edc-b0e5-4c02cf2d8be7 · outbound

This paper cites A polynomial-time algorithm for reachability in branching VASS in dimension one.

On the Reachability Problem for Two-Dimensional Branching VASS A polynomial-time algorithm for reachability in branching VASS in dimension one

Reference 17

Resolution: verified exact; doi, observed 2026-08-06T22:17:54.012093Z

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 8da027a3-5301-41ca-8f06-8e0791c8b986 · outbound

This paper cites A survival guide to presburger arithmetic.

On the Reachability Problem for Two-Dimensional Branching VASS A survival guide to presburger arithmetic

Reference 18

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T22:17:54.344487Z

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 f9a7c251-d29f-420d-a989-bb46a8295f71 · outbound

This paper cites Hopcroft and Jean - Jacques Pansiot.

On the Reachability Problem for Two-Dimensional Branching VASS Hopcroft and Jean - Jacques Pansiot

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.868016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39e674cc-e839-4514-8652-703140b06ab8 · outbound

This paper cites Fo2( , +1, ) on data trees, data tree automata and branching vector addition systems.

On the Reachability Problem for Two-Dimensional Branching VASS Fo2( , +1, ) on data trees, data tree automata and branching vector addition systems

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.871183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bf20cca-d330-418d-993f-aa621f2c32d1 · outbound

This paper cites Karp and Raymond E.

On the Reachability Problem for Two-Dimensional Branching VASS Karp and Raymond E

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.873576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cf07bfb-3d18-47f8-8772-56607d16d92b · outbound

This paper cites The reachability problem for vector addition systems with a stack is not elementary.

On the Reachability Problem for Two-Dimensional Branching VASS The reachability problem for vector addition systems with a stack is not elementary

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:17:53.988232Z

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 9c61c61d-0fea-4ec0-acb8-dd4bf79ee434 · outbound

This paper cites an unresolved cited work.

On the Reachability Problem for Two-Dimensional Branching VASS Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-06T22:17:54.805847Z

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 93db3afc-23cc-4e06-89a1-db8fbb6c1bef · outbound

This paper cites Nonelementary complexities for branching VASS , MELL , and extensions.

On the Reachability Problem for Two-Dimensional Branching VASS Nonelementary complexities for branching VASS , MELL , and extensions

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.881483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caca1071-6f92-46ad-a443-7ef617f0b5ec · outbound

This paper cites The reachability problem for P etri nets is not primitive recursive.

On the Reachability Problem for Two-Dimensional Branching VASS The reachability problem for P etri nets is not primitive recursive

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.884362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b9910e1-fdf4-4d96-8b2c-7a7e91ba48d0 · outbound

This paper cites Reachability in vector addition systems is primitive-recursive in fixed dimension.

On the Reachability Problem for Two-Dimensional Branching VASS Reachability in vector addition systems is primitive-recursive in fixed dimension

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.886967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19bd9f0a-4e5d-46ca-9851-59ccd60c3c62 · outbound

This paper cites On the coverability problem for pushdown vector addition systems in one dimension.

On the Reachability Problem for Two-Dimensional Branching VASS On the coverability problem for pushdown vector addition systems in one dimension

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-08-06T22:17:53.890153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da31abe3-0287-4a3e-bae2-c3a3d100c469 · outbound

This paper cites Counting and equality constraints for multitree automata.

On the Reachability Problem for Two-Dimensional Branching VASS Counting and equality constraints for multitree automata

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.893433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e878b8f-bd74-4cbb-a8ea-27156f2d9f87 · outbound

This paper cites an unresolved cited work.

On the Reachability Problem for Two-Dimensional Branching VASS Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.896589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bf682b9-5c6a-489f-9694-c2de4e1adbd9 · outbound

This paper cites Reachability for bounded branching VASS.

On the Reachability Problem for Two-Dimensional Branching VASS Reachability for bounded branching VASS

Reference 30

Resolution: verified exact; doi, observed 2026-08-06T22:17:53.952810Z

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 6d8ae08f-8855-4240-9677-e46a21431cd0 · outbound

This paper cites Beyond regularity: Equational tree automata for associative and commutative theories.

On the Reachability Problem for Two-Dimensional Branching VASS Beyond regularity: Equational tree automata for associative and commutative theories

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.903038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e113971-cca5-4ac7-bf45-79b9f6ee8f09 · outbound

This paper cites Multiset-valued linear index grammars: Imposing dominance constraints on derivations.

On the Reachability Problem for Two-Dimensional Branching VASS Multiset-valued linear index grammars: Imposing dominance constraints on derivations

Reference 32

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T22:17:54.162831Z

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 48f8e70b-a41a-4b82-939e-7747812795ae · outbound

This paper cites On the computational complexity of dominance links in grammatical formalisms.

On the Reachability Problem for Two-Dimensional Branching VASS On the computational complexity of dominance links in grammatical formalisms

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:17:54.674470Z

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 029ec2c1-4880-464b-ba0a-2cbf3b3671e2 · outbound

This paper cites Karp-miller trees for a branching extension of VASS.

On the Reachability Problem for Two-Dimensional Branching VASS Karp-miller trees for a branching extension of VASS

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:53.912177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.