Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T04:43:55.970012Z
Paper Citation Record · LEDGER
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation
As of 12 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2412.18484.
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-12T06:34:41.77262+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
78 of 78 outbound references displayed
- verified exact3
- verified fuzzy39
- unresolved36
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation dc0872b0-df8c-427d-b1e9-f2a3cd1070a1 · outbound
This paper cites https://etherscan.io/ address/0x4f9048d95616DBF7acC16FC4179F5aC6eE37bce6.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation https://etherscan.io/ address/0x4f9048d95616DBF7acC16FC4179F5aC6eE37bce6
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.580415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7c59d76e-a999-453c-91b4-d716f4fc1dd0 · outbound
This paper cites https://etherscan.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation https://etherscan
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.572431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 83bc7556-d82f-4ac2-a2a2-46672737972b · outbound
This paper cites https://remix-project.org/?lang=en.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation https://remix-project.org/?lang=en
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.563194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a66ac609-1f05-4204-9501-d54b16c340c9 · outbound
This paper cites https: //www.theblock.co/, 2024.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation https: //www.theblock.co/, 2024
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.555319Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 45ac36d2-bfa0-42c3-9c90-324290f2ab0a · outbound
This paper cites https://etherscan.io/ contractsVerified, 2024.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation https://etherscan.io/ contractsVerified, 2024
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.546906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3b6d884f-6531-4b4f-87b4-f8cbb440d84c · outbound
This paper cites Abdellatif and K.-L.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Abdellatif and K.-L
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.538646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7aba13c7-8a07-4e1d-85dd-3b14507b7197 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.531174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c2a6bb13-6a62-4507-9411-e106a5c45dbb · outbound
This paper cites Bhargavan, A.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Bhargavan, A
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.523483Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6baf7eac-3bc1-4f67-a2ca-c867a217f960 · outbound
This paper cites Bragagnolo, H.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Bragagnolo, H
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.515948Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e2200046-1d58-425b-8361-7f413dca2ad1 · outbound
This paper cites Brent, N.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Brent, N
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.508236Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 18623a67-e9f8-4a51-864e-3f6cfa060e23 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.500738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9686dd62-b4d9-4fcd-89d6-5d38b79aadf8 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.493224Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4c8d9942-f1c8-46db-8164-d3d8e14582c8 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.485834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 53a215da-faae-4dcb-9371-af92f41daa4d · outbound
This paper cites Chotisarn, L.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Chotisarn, L
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.478424Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 76e0ce94-fb6e-466e-8554-30de9a14563c · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.470533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4363c12c-62ed-4b27-9107-c9d5e2a44636 · outbound
This paper cites De Moura and N.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation De Moura and N
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.462391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 07788646-4d8c-496c-8502-7e0380307f7e · outbound
This paper cites Domain-Centered Support for Layout, Tasks, and Specification for Control Flow Graph Visualization.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Domain-Centered Support for Layout, Tasks, and Specification for Control Flow Graph Visualization
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T04:43:56.025245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c2413755-15da-4251-8fbf-3179f8b7443d · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.454588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 68d83aff-7a16-4e16-8f86-619fbbc9f347 · outbound
This paper cites Durieux, J.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Durieux, J
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.446720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8892e3b6-4ac9-46d5-8de7-2d400ebb2ffc · outbound
This paper cites Feist and G.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Feist and G
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.438897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cfba6d04-2337-4a19-9267-3e04325228e5 · outbound
This paper cites Feist, G.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Feist, G
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.430772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b233cd04-f657-4d20-84e9-7cc953980278 · outbound
This paper cites Foundation.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Foundation
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.423158Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation edd87803-23bb-4644-9764-e2f3ea72fd75 · outbound
This paper cites Garfatta, K.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Garfatta, K
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.416151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f924e14a-4ffa-4138-bb4f-dac7982f6ab8 · outbound
This paper cites Ghaleb, J.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Ghaleb, J
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.409270Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 644d791d-7750-458b-82f4-1714ddfd3491 · outbound
This paper cites Grieco, W.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Grieco, W
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.402289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1ba245f3-c50e-451f-a17c-e28f7733d3ba · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.395239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cdff99cf-e46d-4c14-a3f3-964262dc2d82 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.387576Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 78b73bd2-cb8a-43f2-8adb-aaa0efc0166c · outbound
This paper cites Härer and H.-G.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Härer and H.-G
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.380122Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 50d7ba00-b023-43f4-88c3-5f98fc8cae33 · outbound
This paper cites Hayatpur, D.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Hayatpur, D
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.372405Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a5a6445f-269d-4c1a-8d99-aeee38d9c5bd · outbound
This paper cites Huang, Y.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Huang, Y
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.364681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 967c6a50-98b8-4a35-9572-75be476a369b · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.357050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 403aa6e4-f2b8-43ce-a4df-be29c903846a · outbound
This paper cites Jeyakumar, Z.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Jeyakumar, Z
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.349240Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 52ed267c-f00b-4e41-b518-b4f6a570bb64 · outbound
This paper cites Jiang, Y.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Jiang, Y
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.341461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8f6ed312-52bf-4b56-9c18-3e89667eba90 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.333301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 29126771-2493-48ed-94de-b505972fd167 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.325939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5160ce1a-c0b7-41bb-9fbf-cb08ef1dca61 · outbound
This paper cites Krupp and C.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Krupp and C
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.318991Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3bb030ac-baf9-416c-af7b-7a4df6930180 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.311358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5e1bbb42-846b-47a5-b69d-ef4e29f811aa · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.302677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 81015c63-c051-4b05-82b1-1b3ad0e26ea8 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.295619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation eb4592ca-73bd-4cb6-b112-66c3a3a197a4 · outbound
This paper cites Liang, J.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Liang, J
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.288354Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation df25e708-66cc-49a9-90f7-7e5f403d3537 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.280074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 48d091d4-ebeb-4c90-b46a-71666c52544e · outbound
This paper cites Liu and Z.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Liu and Z
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.272268Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 71077bf2-ca3a-4c50-a88f-57029518e6ed · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.264366Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 40c625a8-bb28-4f6c-8455-9dac0706b3e8 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.255927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c44e0c03-799c-4bfe-8ec3-ca79e26ef779 · outbound
This paper cites Luu, D.-H.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Luu, D.-H
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.247545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 995c6107-a5f2-4855-9324-57606a698c52 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.239189Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2adc966b-6f15-4d69-87f7-0ea07421118a · outbound
This paper cites Murray and D.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Murray and D
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.230950Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0648ab00-1e90-4db0-b627-ec835fe39169 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.223015Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ae704969-d7d3-40a4-806d-af09858b5d85 · outbound
This paper cites Norvill, B.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Norvill, B
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.214610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation deec7204-d014-405b-bb38-177181c3a855 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.206283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5d8b54a6-50d2-405c-9c43-95e9e4cff0bf · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.198736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 15d039a8-c25a-4b09-9324-ed0f59bdb877 · outbound
This paper cites MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing
Reference 52
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T04:43:56.015386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9c53ce40-90cb-4842-824f-fe9bf358cf0a · outbound
This paper cites Sedlmair, M.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Sedlmair, M
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T04:43:55.903626Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e79fa331-f156-42b6-9b8b-003a98804ebe · outbound
This paper cites Skotnica and R.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Skotnica and R
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.187370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ffbe7831-d3c8-4ad7-8f7f-db51306971ba · outbound
This paper cites Dissecting Smart Contract Languages: A Survey.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Dissecting Smart Contract Languages: A Survey
Reference 55
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T04:43:56.004215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3e76b942-60c8-429c-88ef-9b84a0d887b9 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.180570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation be292708-2646-4860-8deb-0b6e800229c6 · outbound
This paper cites Sundara, I.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Sundara, I
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.173378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c5c860ab-60fb-41b8-ab5a-2b0673de7728 · outbound
This paper cites Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T04:43:55.916379Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91580521-3617-443b-91cc-b623dc457314 · outbound
This paper cites Tovanich, N.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Tovanich, N
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.166450Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation fc6bed76-b27c-44ba-9819-9846acc05317 · outbound
This paper cites Tovanich, N.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Tovanich, N
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.158896Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7f4e710f-9963-4a1f-855b-81992d393cec · outbound
This paper cites Victor and B.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Victor and B
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.151674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 04c580c0-4ec0-4ef4-bf06-b405b397646c · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.144181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 79966dbb-237e-403a-92d3-82ce90bd5c4a · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.136987Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 837682b1-c4b9-4ca6-a691-b16a5ccd27e7 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.130533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4f458e66-a620-43e5-9c5c-db941d6d468e · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.124021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6e8d6131-443b-42eb-94ad-d4b5953b3bfb · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 66
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.117848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0e148d1c-8d91-4b4c-8d1d-830eca2d4567 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.111231Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f91c6a99-2722-4f26-af51-8a4e01309abc · outbound
This paper cites Wood et al.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Wood et al
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.104982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c74ad259-4f66-4c48-a948-88fc6353086f · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.098550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e4053842-a919-4380-98bb-cb8d35e8f87e · outbound
This paper cites Wüstholz and M.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Wüstholz and M
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.090843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation bb407f62-f168-4c72-b142-8ef228da2ab6 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.083287Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c65cec59-432d-4a8b-a551-4d08e5ff82d6 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.076084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 37dcabd8-ec9a-41f6-9701-81a33fad15a5 · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.067872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 90e0277a-a167-491b-a47d-91bb80b0231b · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.060420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 218470ac-544a-449d-ba69-3b8121e428a7 · outbound
This paper cites Zheng, L.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Zheng, L
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.053473Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4256ac1f-3dcd-423b-9ba8-82857dc1a02f · outbound
This paper cites Zheng, W.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Zheng, W
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.046807Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation fa5e42c9-ea05-47e4-853a-72bb049ef2bf · outbound
This paper cites Zheng, S.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Zheng, S
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T04:43:56.040009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a28031f6-11bf-4a88-82bc-41ab6c8c9b1f · outbound
This paper cites an unresolved cited work.
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T04:43:56.032709Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
No inbound Pith citation observations are available.