Paper Citation Record · LEDGER

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification

As of 24 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 1 inbound Pith citation observation for arXiv:2411.17250.

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

pith.paper-citation-record.v1
2411.17250 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T12:30:39.056397Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T12:30:38.939597Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-12T18:16:22.223912Z

Reference resolution

36 of 36 outbound references displayed

verified exact11
verified fuzzy5
unresolved11
parse uncertain0
malformed identifier7
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ea3a2746-f2d1-499e-b8b2-0fd9c53eb2d1 · outbound

This paper cites International Journal on Software Tools for Technology Transfer 14(2), 109–118 (2012).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification International Journal on Software Tools for Technology Transfer 14(2), 109–118 (2012)

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T12:30:40.207523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 16df54d9-cf6d-4fce-bccf-bb1f364e1019 · outbound

This paper cites In: Model Checking, Synthesis, and Learning – Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Model Checking, Synthesis, and Learning – Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.284109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 46b3b3be-bb96-4b03-81db-8f73f8abef28 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:38.899038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cbb7212-6a30-4e05-84f8-176f817a1c6d · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:38.903742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f626e9b6-6ab8-49f0-bcdc-c57b2ef045b1 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 5

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T12:30:40.192581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 25a0ecb0-aae2-43d7-b5eb-fdd619874017 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T12:30:40.177228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 21050918-d393-43c8-a734-466a71239260 · outbound

This paper cites In: Handbook of Model Checking, pp.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Handbook of Model Checking, pp

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.253143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7a362c4e-51f5-49ac-b9c2-ddc70a22724e · outbound

This paper cites IEEE Transactions on Computers27(6), 509– 516 (1978), https://doi.org/10.1109/TC.1978.1675141.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification IEEE Transactions on Computers27(6), 509– 516 (1978), https://doi.org/10.1109/TC.1978.1675141

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:38.930778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d90e554-9ec4-473b-a8e5-7aff6b7dc01d · outbound

This paper cites an unresolved cited work.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-12T12:30:40.162254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4ccffd58-8b4c-4e64-b27b-941bd7cb0f4c · outbound

This paper cites Weakly acyclic diagrams: A data structure for infinite-state symbolic verification.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Weakly acyclic diagrams: A data structure for infinite-state symbolic verification

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T12:30:39.238093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 413f08c2-2182-4012-b975-f0522dffcb5f · outbound

This paper cites Formal Methods in System Design (FMSD) 14(3), 237–255 (1999).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Formal Methods in System Design (FMSD) 14(3), 237–255 (1999)

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.217097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 235c9acd-b3c4-40cc-a85e-d1f387658880 · outbound

This paper cites Information and Computation205(2), 199–224 (2007).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Information and Computation205(2), 199–224 (2007)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:38.949423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28d0021a-6dff-4135-bbbb-603aac805540 · outbound

This paper cites IEEE Transactions on Computers35(8), 677–691 (1986).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification IEEE Transactions on Computers35(8), 677–691 (1986)

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-12T12:30:38.954174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6331c6c4-7b3d-4194-8b0d-49be45d06ee5 · outbound

This paper cites In: Handbook of Model Checking, pp.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Handbook of Model Checking, pp

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:38.958559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5eee4419-2a1e-462c-a0fb-bbb5299947d5 · outbound

This paper cites Journal of Computer and System Sciences20(1), 32–49 (1980), https://doi.org/10.1016/0022-0000(80) 90003-3.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Journal of Computer and System Sciences20(1), 32–49 (1980), https://doi.org/10.1016/0022-0000(80) 90003-3

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:38.963181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40aae5f4-ef4d-41dd-98aa-252c3b78728e · outbound

This paper cites In: Handbook of Model Checking, pp.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Handbook of Model Checking, pp

Reference 16

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T12:30:40.147524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a334cb29-fd6c-45f7-9ec9-4a15282df4b5 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 17

Resolution: verified exact; raw_fallback, observed 2026-08-12T12:30:39.521848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4a3200ca-c393-4f67-9e11-263c60aa9c10 · outbound

This paper cites International Journal on Software Tools for Technology Transfer (STTT)5(2-3), 268–297 (2004).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification International Journal on Software Tools for Technology Transfer (STTT)5(2-3), 268–297 (2004)

Reference 18

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T12:30:40.132397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 89ea04c2-a574-43b1-9abf-a83308f8f368 · outbound

This paper cites an unresolved cited work.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-12T12:30:40.117429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c53b9151-54e4-430e-ad10-bc83c8ef66f6 · outbound

This paper cites MIT Press (2023).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification MIT Press (2023)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T12:30:40.102721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0b1bcc74-30ae-439f-9ff5-2cf52c405234 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.173179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c49deb1a-b4ef-41d7-884a-3543e7d9022f · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 22

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.158452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fd1d99c9-f3f2-45ff-9982-3b14f04cf879 · outbound

This paper cites https://doi.org/10.1016/ S0304-3975(00)00102-X.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification https://doi.org/10.1016/ S0304-3975(00)00102-X

Reference 23

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T12:30:40.087135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation eb9e0623-0955-4763-a7c7-a023072e2421 · outbound

This paper cites an unresolved cited work.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-12T12:30:40.070339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 286d04d6-1a78-4efc-8e77-2b2e0c9e04a1 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 25

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T12:30:39.441430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d70b9dde-7de9-4781-be9f-96d9e8c341d5 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T12:30:40.055123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f7e72921-acef-4b70-b713-27cfba3cdcc3 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.144357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fbed1e0d-d927-49cd-aa4c-065950f4b4ee · outbound

This paper cites BRICS, Department of Computer Science, University of Aarhus (January 2001), notes Series NS-01-1.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification BRICS, Department of Computer Science, University of Aarhus (January 2001), notes Series NS-01-1

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T12:30:40.035047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dbca757c-18ca-4351-9d09-547fd235b9ca · outbound

This paper cites Information and Computation255, 177–192 (2017).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Information and Computation255, 177–192 (2017)

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.129764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2adba41c-3c76-4b5b-99e9-9e6b765da9f6 · outbound

This paper cites Logical Methods in Computer Science17(2) (2021).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Logical Methods in Computer Science17(2) (2021)

Reference 30

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T12:30:40.018407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 22eb85b5-ab9a-4817-a37c-06cb5e5f4a2f · outbound

This paper cites Proceedings of the IEEE 77(4), 541–580 (1989).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Proceedings of the IEEE 77(4), 541–580 (1989)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:39.036558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73a5fff3-c361-4cf3-b294-bf31ef4fa349 · outbound

This paper cites North Oxford, London and Plenum (1986).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification North Oxford, London and Plenum (1986)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T12:30:40.002682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9c133e07-f49b-4003-accc-90de142a8862 · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 33

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.104745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 898fcb18-7ce0-4490-a73b-8cd244a4467e · outbound

This paper cites In: Proc.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification In: Proc

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T12:30:39.051033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9883c912-e573-4a16-9643-cc2cb4697a4e · outbound

This paper cites ¬flag(q).

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification ¬flag(q)

Reference 35

Resolution: verified exact; raw_fallback, observed 2026-08-12T12:30:39.363118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8b869ae1-5ee8-4a34-b95f-df6610ab7be5 · outbound

This paper cites https://doi.org/10.1007/3-540-60218-6_25.

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification https://doi.org/10.1007/3-540-60218-6_25

Reference 347

Resolution: verified exact; doi, observed 2026-08-12T12:30:39.268789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

Observation 4ccffd58-8b4c-4e64-b27b-941bd7cb0f4c · inbound