Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T14:33:26.820073Z
Paper Citation Record · LEDGER
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
As of 20 August 2026, this Paper Citation Record lists 100 of 131 outbound references and 0 inbound Pith citation observations for arXiv:2608.07397.
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-19T06:32:44.657259+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
100 of 131 outbound references displayed
- verified exact28
- verified fuzzy0
- unresolved64
- parse uncertain0
- malformed identifier8
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 376264da-5978-4179-be9c-30af8891874a · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.032054Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 460f0b63-9ed2-45b3-b7f0-3c3c3b8a15b0 · outbound
This paper cites Ayaziová, D.
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.087155Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 18a3db10-dbf3-43b0-ace8-9df25bc451d3 · outbound
This paper cites Ayaziová, M.
Reference 3
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:25.145580Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a5e692f-b39d-4e78-9ad9-59988910ac6a · outbound
This paper cites Ayaziová, M.
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.196616Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fab44aae-d99b-405f-9a4c-a6c1415520ec · outbound
This paper cites Ayaziová and J.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Ayaziová and J
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.212683Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa79cfc2-bba1-44f7-9436-8fc476fa7f72 · outbound
This paper cites Ayaziová and J.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Ayaziová and J
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.226150Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27f1ff8d-3e8b-455f-a760-e33ae7745a24 · outbound
This paper cites Ayaziová and J.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Ayaziová and J
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.234553Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e5a1b61-0652-4d89-bc13-815c0b030679 · outbound
This paper cites Ayaziová and J.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Ayaziová and J
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.242440Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98d7d615-ea9f-4192-b780-dff17c8c98e8 · outbound
This paper cites Baier, D.
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.255569Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b8e8037-9bb6-4d6e-b3a1-c7240faa4e6f · outbound
This paper cites Baier, D.
Reference 10
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:25.259828Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8672dd6e-4e47-46b2-8be3-61d2a3ab37b0 · outbound
This paper cites Barrett, P.
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.263906Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8658061f-fd53-4a37-a90a-06a642360391 · outbound
This paper cites Bentele, M.
Reference 12
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:25.267659Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0fac352-4cdd-4cc5-b878-d1eb94241ffb · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 13
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:25.278714Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e75ca67-b869-435d-9080-a797c8ade448 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.281925Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bfe15ce9-fa3a-41bf-bc67-6fac6acc3e0a · outbound
This paper cites Beyer, P.-C.
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.285340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b4720d2-418a-4064-ab5c-e61f54d7f265 · outbound
This paper cites Beyer, P.-C.
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.289062Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1033a533-8655-4197-8ae9-348e7787cb2f · outbound
This paper cites Beyer, P.-C.
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.294483Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 126de82a-a448-4b45-ba22-1e40f2b9f1a5 · outbound
This paper cites Beyer, P.-C.
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.298503Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3391db3f-7d1e-4787-8a30-f7c7696b2712 · outbound
This paper cites Beyer, M.
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.306034Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 68abcb49-d55e-4a76-a3b2-533ac5fff5e6 · outbound
This paper cites Beyer, M.
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.313241Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa443a93-48c4-4ac4-9af3-ec1f4f37c103 · outbound
This paper cites Beyer, M.
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.317249Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08795c93-698b-44c6-9645-cabf1385f02d · outbound
This paper cites Beyer, G.
Reference 23
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.542968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c8250c16-febb-44f7-bcd8-4422431d856f · outbound
This paper cites Beyer, T.
Reference 24
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.357777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b6f6f355-dddb-4ce2-ace1-586b0106ab06 · outbound
This paper cites Beyer, M.
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.345588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4cf46e01-4e11-4857-9bac-96e0df52810a · outbound
This paper cites Beyer, M.
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.333265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 58baa0b5-2f0d-4a54-98b6-329a14c8a066 · outbound
This paper cites Beyer and S.
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.452217Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3ce581e-5dfb-43c0-baa9-2f445955c32b · outbound
This paper cites Beyer and N.-Z.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Beyer and N.-Z
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.233298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9e96f409-1c5a-42c6-bde0-08393667b72a · outbound
This paper cites Beyer, N.-Z.
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.093143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 315a521c-030f-4a9d-8c8d-31ad78970a9c · outbound
This paper cites Beyer and M.
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.070322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b052603b-89d8-46fb-9657-1bda704f0b2f · outbound
This paper cites Beyer, S.
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.618657Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c66c2751-6a48-444c-b577-1a46faec6673 · outbound
This paper cites Beyer and J.
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.053244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f1466614-381b-4753-8238-54eb7fd499ac · outbound
This paper cites Beyer and J.
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:29.042290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 49a1b532-830d-4724-935d-69abba2f7a6c · outbound
This paper cites Beyer and J.
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.693943Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 57a9629b-d43e-4f13-90e3-f99951a6322d · outbound
This paper cites Beyer and P.
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.950354Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4edde520-b152-45c4-b0dc-1aa9054cacd9 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.744539Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c8922b7-2ddc-45ae-b928-812dcb8de6d5 · outbound
This paper cites Biere, C.
Reference 37
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:25.748457Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 402dd3dc-90dc-43ab-b09a-0b1205fa9af0 · outbound
This paper cites Biere, A.
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.751753Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 684b6921-6323-4dfc-8f72-f7c359dbbf0b · outbound
This paper cites Biere, A.
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.754757Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80660ec8-bdc4-412b-8659-044bc58e4e02 · outbound
This paper cites Biere, T.
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.758072Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 96c62719-b95e-40c9-aa0e-a75d6918ec72 · outbound
This paper cites Biere, K.
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.761203Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0758a20-8dbe-49d0-aadb-e52606d9e248 · outbound
This paper cites Biere, N.
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.767850Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c94c267-cd75-459b-bc4c-10bc061eee69 · outbound
This paper cites Biere, N.
Reference 43
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.784720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 82735a5d-c7e2-4b89-8ef4-784bcf7f08ca · outbound
This paper cites Biere, K.
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.774289Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 935429f0-505e-42d0-ae77-dfc1986e7a13 · outbound
This paper cites Biere and D.
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.777657Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e0bf4787-dab6-4a63-a343-7d7bb43a9136 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.780698Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 61135959-3624-4e20-a64a-a7a0e7b25e6e · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.783636Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e6a6e182-0725-4927-83c1-000ae343a95c · outbound
This paper cites Brayton and A.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Brayton and A
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.871861Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72f0af66-c619-4327-b94e-8498f7c0d561 · outbound
This paper cites Cadar, D.
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.912799Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 62d3ba15-4d86-4ac6-9d93-ad55a12cc9c2 · outbound
This paper cites Cavada, A.
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:25.973632Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed12ee9a-2b43-4cc2-a4b0-00734158de77 · outbound
This paper cites Chien and J.-H.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Chien and J.-H
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.032307Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc312e0b-c679-4350-90bf-0d5a1f6b6c19 · outbound
This paper cites Chien and N.-Z.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Chien and N.-Z
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.632755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0bd7db7b-8764-4ae1-af99-c2a5ff65b095 · outbound
This paper cites Chien and N.-Z.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Chien and N.-Z
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.060622Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9bb82c61-bbdd-46e9-9331-eb6f799229ed · outbound
This paper cites Chien and N.-Z.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Chien and N.-Z
Reference 55
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.615689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation dd54f09d-461f-491a-80fe-cced4c7bd2cc · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.067372Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c06f8fca-2d61-4481-b7e5-e95d654c152a · outbound
This paper cites Cimatti, A.
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.070314Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bef9a1a6-018e-4710-a4a5-ef97f3f9dac4 · outbound
This paper cites Cimatti, A.
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.073376Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82712660-5fde-4dcc-8b33-2fcafdb43693 · outbound
This paper cites Cimatti, A.
Reference 59
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.503647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 742e9ea4-80ab-4642-83d7-c9ba0dd7b76c · outbound
This paper cites Cimatti, A.
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.081829Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0945866f-ccea-42ac-85e9-0ba86ec6a69d · outbound
This paper cites Cimatti, A.
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.085329Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bcae7ab7-8a75-477c-85d3-530871f004cf · outbound
This paper cites Claessen and N.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Claessen and N
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.088669Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation daf63b42-c9f7-4e1c-aa8c-60190902a0fc · outbound
This paper cites Clarke and D.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Clarke and D
Reference 63
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:26.092322Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 39acf80a-b88a-4538-8afc-3d8999ac0186 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.095078Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b36deb67-47b7-4248-93ba-2d5f55f39981 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.102277Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bad859c7-e16f-4c9d-8f1f-31d9b51942f4 · outbound
This paper cites DeLine and R.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs DeLine and R
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.114349Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 62ea81ff-4f93-46f8-8059-c7de13071c3f · outbound
This paper cites Dietsch, M.
Reference 68
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.398558Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1610dd77-f2dd-462b-8346-fe8705c9bd67 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.254748Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e9a3f9e-2d4e-4803-a08f-3c2bcefe505b · outbound
This paper cites https://www.microsoft.com/en-us/research/publication/boogiepl-a-typed-procedural-language-for-checking-object- oriented-programs/.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs https://www.microsoft.com/en-us/research/publication/boogiepl-a-typed-procedural-language-for-checking-object- oriented-programs/
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.152014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8948530f-3c69-40b0-94ec-53a919a2e283 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 71
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:26.326607Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 22245090-12a8-4f4d-aca6-1c9052157841 · outbound
This paper cites Dutertre.
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.292363Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 419ae092-423a-491e-ba65-c62104258e16 · outbound
This paper cites Eén and N.
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.409529Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cf6a07ab-402b-43ba-b7c7-a267f7b0b816 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.389166Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 549ef2b6-c65e-4b41-bd25-e1049ce960a7 · outbound
This paper cites Filliâtre and A.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Filliâtre and A
Reference 75
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.416069Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c5d9085-24e6-4a71-b17c-603983d2057e · outbound
This paper cites Falke, F.
Reference 76
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.413218Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d16c7c2a-eb3e-4ca7-b8c7-c6df3fc2273a · outbound
This paper cites Froleyks, E.
Reference 77
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.350009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a31db805-6e41-43b9-906f-879d19e15f77 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 78
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.362247Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a32eab82-684d-4e5d-bac6-cef475964da2 · outbound
This paper cites Froleyks, E.
Reference 79
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.196470Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6db2247d-6f27-4662-873e-f555f14acf91 · outbound
This paper cites Froleyks, E.
Reference 80
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.336753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e7ab85fb-0e81-4df8-9b7c-c1a3c507f6ec · outbound
This paper cites Girardi, A .Bombardelli, A.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Girardi, A .Bombardelli, A
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.437515Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0dc12ac-cf3d-4a43-b42a-b88e3f3c57f3 · outbound
This paper cites Gario and A.
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.433849Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3c69bb8-67f5-47e8-8a65-38ce4e88d6fa · outbound
This paper cites Goel and K.
Reference 83
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T14:33:26.444526Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbe79c53-17e6-4fd9-8573-18ddceacf2af · outbound
This paper cites Goel and K.
Reference 84
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.107157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 45d413c2-f780-4627-8b57-52a328618f89 · outbound
This paper cites Griggio and M.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Griggio and M
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.470982Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c8f2fc46-d459-43c7-b6f7-5ae075c998e5 · outbound
This paper cites Graf and H.
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.448377Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c25a0ff6-7f8d-4e24-afa2-8b61f252cc36 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 87
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.989208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 739a73a1-9226-4fe8-b3b4-e45673aa5c12 · outbound
This paper cites Kratos2: an SMT-Based Model Checker for Imperative Programs.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Kratos2: an SMT-Based Model Checker for Imperative Programs
Reference 88
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:28.002634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d8bddf11-d710-4743-9188-55a2485445c7 · outbound
This paper cites Heizmann, J.
Reference 89
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.769992Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c6831782-84a1-4bcf-9d2d-d438801144fd · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 90
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.977552Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9aeb87e6-f51d-491c-a428-82f7da789d10 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 91
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.776297Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1f03454-a6cd-4b3c-aaf9-2aafbaae21f5 · outbound
This paper cites Heizmann, J.
Reference 92
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.773002Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fc1e302f-5aa1-4bdf-a31d-25bb158317d0 · outbound
This paper cites Howar, M.
Reference 93
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.953395Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c8cecaea-7a38-4866-a800-bb631318a3a1 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 94
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.779826Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4dbfdc35-9ded-4085-a1cc-98d8bed349b8 · outbound
This paper cites Jussila and A.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Jussila and A
Reference 95
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.935518Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 86c3f46e-a20e-4046-9431-a21b9c568df9 · outbound
This paper cites Jhala, A.
Reference 96
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.787636Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37b6068c-01d9-415a-8307-8d5b747b64ff · outbound
This paper cites Lange, M.
Reference 97
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.922084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 65d1c768-2888-40f1-ae0f-66d808be5cac · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 98
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.795648Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0d191bed-9f00-4fc0-bb3f-5c530fe516e6 · outbound
This paper cites Leike and M.
Reference 99
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.806017Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1fa17429-19eb-4d7b-94ab-570020d93bc7 · outbound
This paper cites Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows
Reference 100
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.802276Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36493b92-db41-4f44-886b-e4ef6966d647 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 101
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:33:26.813194Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9035b67-65cb-4f64-bae3-e08c1738cea3 · outbound
This paper cites an unresolved cited work.
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs Unresolved cited work
Reference 102
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.881235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f352e236-1acd-46ca-a65b-0de3d4dada16 · outbound
This paper cites McCarthy.
Reference 103
- Resolution
- verified exact
- doi, observed 2026-08-15T14:33:27.717013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Pith citing papers
No inbound Pith citation observations are available.