Paper Citation Record · LEDGER

StacKAT: Infinite State Network Verification

As of 22 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2506.13383.

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

pith.paper-citation-record.v1
2506.13383 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:12:27.348782Z

measured 42 of 42 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 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

42 of 42 outbound references displayed

verified exact7
verified fuzzy2
unresolved27
parse uncertain0
malformed identifier4
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9111715a-5ad9-47de-a5d8-217fcefcda2b · outbound

This paper cites Madhusudan.

StacKAT: Infinite State Network Verification Madhusudan

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.174792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ece61069-f20b-41cf-8351-449ba75f161f · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.179439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8729d2c9-c066-48f8-97af-585ba060bedd · outbound

This paper cites Antimirov.

StacKAT: Infinite State Network Verification Antimirov

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.183222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e0c251b-4885-4676-970f-ec3d3b7850a5 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:12:28.502354Z

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 337e7048-a5ed-4b8e-b33a-515ef1fe8980 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.191856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6845c05c-6f91-460b-b643-69131a3dd145 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.196111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d655239-ff63-41f6-80cb-5ad277c8429f · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.199999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24275da0-d8c2-48ef-ad0c-f1a51fb32008 · outbound

This paper cites Brzozowski.

StacKAT: Infinite State Network Verification Brzozowski

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.203850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6967fcd-219f-4194-9b2a-f928971b21cf · outbound

This paper cites Buckheister and Georg Zetzsche.

StacKAT: Infinite State Network Verification Buckheister and Georg Zetzsche

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.207148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c82a92b5-7901-46e5-b200-21adc0c13a71 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.210708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f9fa56e-d8ad-4024-82b2-90d4851d32e9 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.543759Z

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 9ca2c216-c421-4de6-baf6-d4dd5da2cc11 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.220312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 917ab77a-198a-4123-8014-f24d82dd73da · outbound

This paper cites Hopcroft, Rajeev Motwani, and Jeffrey D.

StacKAT: Infinite State Network Verification Hopcroft, Rajeev Motwani, and Jeffrey D

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:12:28.491791Z

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 703a0e92-3ac9-4866-8aa7-6aec613283e1 · outbound

This paper cites Reps, and Shmuel Sagiv.

StacKAT: Infinite State Network Verification Reps, and Shmuel Sagiv

Reference 14

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T20:12:28.101956Z

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 6c8e9aaa-6c7c-42bf-9ea6-cca478b3acc7 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:12:28.480561Z

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 57d5a68f-e1be-4af8-9e1a-84f366378064 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:12:28.469066Z

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 30799c9b-5988-4e65-ac3a-65f0027d9d32 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 17

Resolution: malformed identifier; doi_truncated, observed 2026-08-15T20:12:27.526863Z

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 d95446de-ab20-4026-81bc-4e54828baf61 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.515722Z

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 93284cd4-1e4b-48a0-bfad-64dd41f2494c · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.258082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f271a2ea-795f-4e1a-b234-a31e9e491304 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.262209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a29d0853-e012-4c48-88bb-6f7ef88e70fc · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.497728Z

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 8692e02f-7eac-4a55-84d2-2b103bbec364 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T20:12:27.906802Z

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 8bea77be-7e49-481a-83be-b694651616c3 · outbound

This paper cites Meyer and Larry J.

StacKAT: Infinite State Network Verification Meyer and Larry J

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.278218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3e48c01-8f44-4329-bd6c-5004b029d58b · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.282418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27583df1-cb8f-45b5-92fd-680350c27393 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.471502Z

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 6390a9b1-225b-4b70-afb4-45ef3cc85e45 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.292045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a41e4867-0be0-4253-99d5-1c4f65d80c2f · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.295835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1629b9f-89a4-4cd5-a94e-b04afd9b72c4 · outbound

This paper cites Reps, Susan Horwitz, and Shmuel Sagiv.

StacKAT: Infinite State Network Verification Reps, Susan Horwitz, and Shmuel Sagiv

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.299561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e323961-8297-4ac7-ab6c-c2bb15685c81 · outbound

This paper cites Reps, Susan Horwitz, Shmuel Sagiv, and Genevieve Rosay.

StacKAT: Infinite State Network Verification Reps, Susan Horwitz, Shmuel Sagiv, and Genevieve Rosay

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.303412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddd166eb-a460-4d2f-8324-25928197c302 · outbound

This paper cites Reps, Stefan Schwoon, and Somesh Jha.

StacKAT: Infinite State Network Verification Reps, Stefan Schwoon, and Somesh Jha

Reference 30

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.450861Z

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 1afa79ba-dce3-46bf-bdd0-69825e4aea0d · outbound

This paper cites Reps, Stefan Schwoon, Somesh Jha, and David Melski.

StacKAT: Infinite State Network Verification Reps, Stefan Schwoon, Somesh Jha, and David Melski

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.313197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02624404-a2bd-49e3-9a4f-1a9ff5bae5da · outbound

This paper cites Reps, and Susan Horwitz.

StacKAT: Infinite State Network Verification Reps, and Susan Horwitz

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.317863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee200590-f307-4f0f-8595-069f9b170fd0 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 33

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.421926Z

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 b0ed4617-20d8-40dd-bdf0-eacbb70c4692 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-08-15T20:12:27.325547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96145e24-8eae-4cc9-9c63-24967c0f45a1 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 35

Resolution: malformed identifier; no resolver link, observed 2026-08-15T20:12:27.329895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a1bd138-81b3-436e-9fe0-5491c30ef780 · outbound

This paper cites 2010.Kleene Coalgebra.

StacKAT: Infinite State Network Verification 2010.Kleene Coalgebra

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:12:28.456727Z

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 b0064d23-1490-48cb-bdd8-b99c729c8df4 · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.337810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e37e49ab-ed41-42cb-832d-79a3b30264b4 · outbound

This paper cites Sunshine.

StacKAT: Infinite State Network Verification Sunshine

Reference 38

Resolution: verified exact; doi, observed 2026-08-15T20:12:27.394736Z

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 be3ce1ca-9adf-46f4-adf3-8951eae9ddd3 · outbound

This paper cites Valiant and Michael S.

StacKAT: Infinite State Network Verification Valiant and Michael S

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.345104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f51a4cd-94aa-44d6-a6f6-55329f47181c · outbound

This paper cites an unresolved cited work.

StacKAT: Infinite State Network Verification Unresolved cited work

Reference 40

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:12:28.444885Z

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 c8877152-de71-4460-9e59-144a2cd8ce45 · outbound

This paper cites InCoNEXT.

StacKAT: Infinite State Network Verification InCoNEXT

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.236660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9657a69-2a33-4f2d-9b8c-6538a4a5bd97 · outbound

This paper cites InCoNEXT.

StacKAT: Infinite State Network Verification InCoNEXT

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-15T20:12:27.244413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.