Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T13:36:09.106685Z
Paper Citation Record · LEDGER
A Modular Program-Transformation Framework for Reducing Specifications to Reachability
As of 15 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 0 inbound Pith citation observations for arXiv:2501.16310.
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-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
72 of 72 outbound references displayed
- verified exact31
- verified fuzzy7
- unresolved29
- parse uncertain0
- malformed identifier2
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f3086a65-eca6-456c-b83f-bb6bc1829cd0 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.618636Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 58219de9-96fb-42cf-8624-de993e2ca0c5 · outbound
This paper cites Afzal, A.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Afzal, A
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.882866Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97003a67-437a-481e-9a8f-2d7564d6ac35 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.609633Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d92ceb85-4d2d-4f1a-a261-393ff041ba91 · outbound
This paper cites Alglave, A.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Alglave, A
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.527352Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 53dbd113-12b4-4497-a5d6-cf355745a4d0 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 5
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-10T13:36:08.892561Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc5c94d4-504c-44c6-89fa-a5280d846d79 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.600607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1738044d-6096-4342-8e88-3dc36541e311 · outbound
This paper cites Ayaziová, D.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Ayaziová, D
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.591506Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d8cf1dd9-85ea-4341-8e20-44e3ffb8946b · outbound
This paper cites Baier, D.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Baier, D
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.509972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ab5b367f-df7a-4b71-aec6-e6d11f6ad95f · outbound
This paper cites Baier, D.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Baier, D
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.905055Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7805fa1b-4634-4c75-8ace-fc74c20a8e8e · outbound
This paper cites Bajczi, D.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Bajczi, D
Reference 10
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.493544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 79e84f41-b0d0-4879-9fd6-60e10208cbff · outbound
This paper cites Bajczi, C.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Bajczi, C
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.483579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2a4b6141-af9f-47e6-92ff-833e76c463a1 · outbound
This paper cites Ball and S.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Ball and S
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.581203Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 37f1b5e1-3439-4a8c-8cf1-bd78eabbfccd · outbound
This paper cites Ball and S.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Ball and S
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.916815Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15a70cc9-cd17-4bfe-87b0-b544fd0b111a · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.570187Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4d5a770e-710e-4bdd-ba0e-e66e9923be0c · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.922590Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d8c41be-2b91-498d-a39b-98f0ccb850fa · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.466491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4affddea-7ad6-427c-adfc-ac9448dc7e40 · outbound
This paper cites Beyer, A.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, A
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.455791Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4dfd3f8c-bc65-4001-9a8a-38cd4e94e0c5 · outbound
This paper cites Beyer, M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, M
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.445280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation eb91104e-f36a-4990-9a78-eb2b7cda9088 · outbound
This paper cites Beyer, M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, M
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.434938Z
Source-reported events for the cited work
correction dated 2021-03-03. Source: crossref record 10.1007/s10817-020-09585-6->10.1007/s10817-017-9432-6:correction, observed 2026-07-11T02:57:47.831703+00:00. This notice travels one citation hop only.
Observation aa0f3942-ac6e-4363-aac5-59f8c442e92c · outbound
This paper cites Beyer, S.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, S
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.425106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7e501445-e52e-4989-9941-6c60acc296a5 · outbound
This paper cites Beyer, T.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, T
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.415033Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 72153abb-19b8-438d-987a-407e4548c3c9 · outbound
This paper cites Beyer, T.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, T
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.403497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cabb3c6a-c177-4d5d-9f01-99cdad2282e3 · outbound
This paper cites Beyer and M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer and M
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.948328Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 22119ae9-3826-4b19-9b0b-a3d8627f2a7a · outbound
This paper cites Beyer and N.-Z.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer and N.-Z
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.559170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 92bdc15c-5a11-4be3-8d07-2a53cc85f8d8 · outbound
This paper cites Beyer, M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, M
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.386362Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e22fed3e-a280-49cc-b891-ab65b0a90798 · outbound
This paper cites Beyer, S.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer, S
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.962751Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f0dbf0c-23f2-4188-b4c1-44f3e7c1234e · outbound
This paper cites Beyer and M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Beyer and M
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.368674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4b7704f0-d652-4c6d-b019-f11d696bd5b1 · outbound
This paper cites Clarke, Ofer Strichman, and Yunshan Zhu.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Clarke, Ofer Strichman, and Yunshan Zhu
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.970321Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b24105e-b91f-4ecd-85ce-9acabb608f80 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.548164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e17351f0-6572-464d-9f10-124518444d15 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.537131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1978eae0-d869-472d-be2f-2152417bea19 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.979032Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6fbed0e6-55d8-4c51-9e4c-b65fc68a3784 · outbound
This paper cites Böhme, V.-T.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Böhme, V.-T
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.982071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 351b9293-4f2d-44e4-a897-6cfa26ca2eb4 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.984874Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7a68409-fe7b-40b9-aa13-10bc9800ef19 · outbound
This paper cites Chalupa, J.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Chalupa, J
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.339087Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4faa82e6-633c-426f-b194-50d0b04f05fd · outbound
This paper cites Chien and N.-Z.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Chien and N.-Z
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.329197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 68eae19c-1f03-4318-8e63-06e66fa540a6 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:08.994059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c21f8b25-ddf5-4d6c-b4b3-f7a2aea17dc7 · outbound
This paper cites Condit, M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Condit, M
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.525529Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 17aff9f0-a94b-402a-8bd8-0a8f015e0ff1 · outbound
This paper cites Darke, B.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Darke, B
Reference 39
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.313130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4a63c3de-96c7-479c-a8d2-916395b6073b · outbound
This paper cites Dietsch, M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Dietsch, M
Reference 40
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.303592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c2b8f4d7-61c2-4ba5-ac7c-adb89cc068e1 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.006203Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31882d4f-220d-45cb-a744-fb7c41447988 · outbound
This paper cites A Linguistically Driven Framework for Query Expansion via Grammatical Constituent Highlighting and Role-Based Concept Weighting.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability A Linguistically Driven Framework for Query Expansion via Grammatical Constituent Highlighting and Role-Based Concept Weighting
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T13:36:10.165715Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 582a9a57-9597-4ae8-aad0-967c1f195c62 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 43
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-10T13:36:10.149157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 58790179-583c-4535-80d7-5eda3a3457ed · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.287622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 302dfb49-2268-47d6-8481-18e5dc4eeae5 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 45
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.278399Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3e9b45f0-b762-4ee6-8048-d722c38b6353 · outbound
This paper cites Griggio and M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Griggio and M
Reference 46
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.266939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7e1cbb8b-55cb-42bc-9b88-9c14b55be8f9 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 47
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.257102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4f0a2402-36c0-4e8b-91c0-1926ec3b349b · outbound
This paper cites Supergraph calculation of one-loop divergences in higher-derivative $6D$ SYM theory.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Supergraph calculation of one-loop divergences in higher-derivative $6D$ SYM theory
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.027616Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b9627091-8883-42dc-8550-a32460ce1e83 · outbound
This paper cites Heizmann, M.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Heizmann, M
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.030902Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e4a6783-59b5-490c-8370-2e5283599653 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.033746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69a86344-1217-438a-84fd-3c3aaa65e818 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.037144Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 178d67d2-9f02-4c29-a8f3-248988d0653e · outbound
This paper cites Jeannet, P.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Jeannet, P
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.040541Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83469ce3-2b93-4ea0-a79f-a3f3766c69f2 · outbound
This paper cites Jonáš, K.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Jonáš, K
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.234776Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4716ec35-91ba-42d6-b2c8-40233e384411 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T13:36:10.514533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8426f1a1-5805-4c27-a88b-a2fad0cd2e03 · outbound
This paper cites Madhukar, B.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Madhukar, B
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.504448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a576047a-b2fc-40e0-840c-778899a72cec · outbound
This paper cites Malík, P.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Malík, P
Reference 56
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.224681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ec828d27-1344-49a7-8177-58415a137474 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.057556Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5acffabb-ea6e-4c70-a56a-f8cdb466015a · outbound
This paper cites Metta, H.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Metta, H
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.494544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c580bc46-2e7b-45f1-9c5c-5d4c3b465766 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.064401Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9cbfb545-db35-4ab7-bb2d-94ead43ffc42 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 60
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.208391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 49796596-c50f-4f64-9c7a-fccfeae43b08 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.071520Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 131658bc-dfc9-4cbb-9645-784515631fb0 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 62
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-10T13:36:09.771923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fbffc46f-a05d-4244-bead-5c4f91fc72bc · outbound
This paper cites Peringer, V.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Peringer, V
Reference 63
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.197912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0eebf9ca-efb6-45b1-8a63-8874b559e9ad · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 64
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.186907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6a3a42bc-06de-4f77-a642-845aea208841 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.083685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d8adcb8-cd78-4c3f-9b7d-e4f2a539e170 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 66
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-10T13:36:09.086590Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f63d4f86-ff8e-4de8-81aa-fa8ff4cb2eb6 · outbound
This paper cites 2019.MetAcsl: Specification and Verification of High-Level Properties.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability 2019.MetAcsl: Specification and Verification of High-Level Properties
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T13:36:10.484176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 306c496d-439a-4736-8380-fe25a089288b · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 68
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.169331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 954e58d8-722d-485f-90ea-5414dd9a7a60 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 69
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.159179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c18307c4-3f2e-47d9-b094-6257a510c407 · outbound
This paper cites Silverman and Z.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Silverman and Z
Reference 70
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.149465Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6e4344ab-e5ac-4004-9e91-d4e45801df41 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 71
- Resolution
- verified exact
- doi, observed 2026-08-10T13:36:09.138755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 743fb37a-7a81-44e1-9d07-09c9ecbc93d7 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 72
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-10T13:36:09.632835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 31386a30-2c8b-4c18-b68f-2197f6c04d64 · outbound
This paper cites an unresolved cited work.
A Modular Program-Transformation Framework for Reducing Specifications to Reachability Unresolved cited work
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T13:36:09.106685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.