Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair | Paper Citation Record

Observation 94ad2e60-a9d0-432e-9faa-99658d0a4dd4 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.643518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 72c179ab-bf2e-47da-b10f-d43dc41320d6 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.623881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 79f12a61-4260-48ab-9436-26ac5cb3f835 · outbound

This paper cites We also review transactions in database and blockchain systems, comparing their properties with our concept of trade transactions.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair We also review transactions in database and blockchain systems, comparing their properties with our concept of trade transactions

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.606857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c1fc2a8d-43db-4355-b3e1-aea91eb99830 · outbound

This paper cites The mapping ensures that for any DAG vertex or edge, the corresponding BPMN element can be identified, and vice versa.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair The mapping ensures that for any DAG vertex or edge, the corresponding BPMN element can be identified, and vice versa

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.588548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 29081f9a-19c7-45a7-b278-1bc06575f8fa · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.564788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4b78d7e2-4db2-4f37-9802-588d81229cb3 · outbound

This paper cites Each node in the DE- HSM model represents either a DE-HSM sub-model or a computation expressed using concurrent FSMs, with some FSM states indicating execution of BPMN tasks.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Each node in the DE- HSM model represents either a DE-HSM sub-model or a computation expressed using concurrent FSMs, with some FSM states indicating execution of BPMN tasks

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.541584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5cb03982-b277-4a8e-99eb-6e2b2321fabc · outbound

This paper cites Each BPMN task element is represente d as a separate method within the smart contract.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Each BPMN task element is represente d as a separate method within the smart contract

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.523542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7ae58c04-9a29-4d87-b43e-9abbadc4952c · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.502450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b5585801-68c4-4adb-97f3-7a20b587c978 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.481638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 17cf805c-5a91-45a4-bb47-725f9df245d4 · outbound

This paper cites Since the trade transaction mechanism commits ledger updates only during the successful commit phase, there is no need for ledger recovery.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Since the trade transaction mechanism commits ledger updates only during the successful commit phase, there is no need for ledger recovery

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.462397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c1439443-46f9-4afb-a09c-24dcfd112e27 · outbound

This paper cites However, not all failures can be anticipated.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair However, not all failures can be anticipated

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.443580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c134f418-cf9b-4f0e-8c83-803b5d1b1d8c · outbound

This paper cites The repair begins with the BPMN patte rn associated with the innermost trade (sub)transaction where the failure occurred.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair The repair begins with the BPMN patte rn associated with the innermost trade (sub)transaction where the failure occurred

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.425667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation de5a3ca8-c71f-44ab-9acc-18087c19940a · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.408470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e03f08a7-65d2-4093-b7cd-85a2d4ba597b · outbound

This paper cites backtrack.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair backtrack

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.391214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 354cd943-857a-4244-873f-bbe91966b7a8 · outbound

This paper cites Related work The Lorikeet project [12] uses a 2-phase approach to transform BPMN models into smart contracts.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Related work The Lorikeet project [12] uses a 2-phase approach to transform BPMN models into smart contracts

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.371222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8ff7173d-2c47-46d8-aa33-547faed15dc3 · outbound

This paper cites Bodorik, C.G.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Bodorik, C.G

Reference 16

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:06.620264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f1f7cd43-a974-4853-ac45-34641457fd7e · outbound

This paper cites Activities in the trade of goods and services are subject to effects from external ev ents that may cause failure of a trade activity su pported by a smart contract.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Activities in the trade of goods and services are subject to effects from external ev ents that may cause failure of a trade activity su pported by a smart contract

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.334321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d513bda5-c3bf-452b-899c-cbbfca9db014 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.315231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0f8bc953-d277-449f-9e3f-af772cb60146 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.292916Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c597cc0d-605c-48cf-a054-532214cc26de · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 20

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:06.975927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8e5db25c-12e1-49e7-b0e6-01fa1a78efe9 · outbound

This paper cites Taylor, T.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Taylor, T

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.472584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 52d9ee7a-9a93-4afc-a423-eb8e5dba877d · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.450962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a7b8d9e3-d8bc-4416-90c2-a1e4693e4f45 · outbound

This paper cites Vacca, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Vacca, A

Reference 23

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:06.880886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1ffe4352-b2ed-428a-8444-df7e59de7be1 · outbound

This paper cites Belchior, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Belchior, A

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.595519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1a866bd-a7ff-4ffc-9575-1f8711d108e7 · outbound

This paper cites Saito, H.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Saito, H

Reference 25

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.416216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 04a423e4-fbf8-4adc-bb39-ca86ad042d2f · outbound

This paper cites Garcia-Garcia, N.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Garcia-Garcia, N

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.608869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 152c83d3-fddc-4374-81ce-557d99d617a6 · outbound

This paper cites Lauster, P.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Lauster, P

Reference 27

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.394785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bc29a199-b738-4b16-902a-2202bb20c2f9 · outbound

This paper cites Levasseur, M.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Levasseur, M

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.270763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 83fe2dea-5059-4dc4-813a-5239d6996f9e · outbound

This paper cites Tolmach, Y.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Tolmach, Y

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.627643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bbeb389-688a-49bd-a056-6117f59aa215 · outbound

This paper cites López-Pintado, L.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair López-Pintado, L

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.351797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b97a8e6a-7107-4558-aeba-62255d86ef31 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.247658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b1cbd0ac-ac7d-4f81-8a28-80181e3e9e7b · outbound

This paper cites Mendling, I.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Mendling, I

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.329186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b8beca80-49ab-437d-9813-fda969f212a1 · outbound

This paper cites Loukil, K.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Loukil, K

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.309854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 86555f14-279a-4335-ab05-d21fc296eb37 · outbound

This paper cites Bodorik, C.G.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Bodorik, C.G

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.655221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48f10c05-1275-4a77-96df-9b20f3c7edd0 · outbound

This paper cites Di Ciccio, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Di Ciccio, A

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.163792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5aa5040f-1d8a-48cf-b145-675ea173ef10 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:06.517296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 77d4721c-fc8a-43f4-885e-3475965396bf · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.674497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f82530ea-6613-4c1d-94ce-0320e161cda0 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 38

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.284347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 24a98992-2494-4838-b2e6-36597157c15f · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.263121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation eed65a91-f375-40f7-b486-157f1e643b32 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 40

Resolution: verified exact; raw_fallback, observed 2026-08-07T10:57:06.349646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 076153eb-5db9-43db-b877-a26f7b91bf42 · outbound

This paper cites EVMPatch upgrades faulty Ethereum smart cont racts using a bytecode rewriting technique to patch common bugs, such as integer over or underflows and access control errors.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair EVMPatch upgrades faulty Ethereum smart cont racts using a bytecode rewriting technique to patch common bugs, such as integer over or underflows and access control errors

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.352537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 65ca5856-7f71-4c35-9cad-26883658cf6a · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 42

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.241083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9e29df58-5643-4c0a-b08e-0dc912bb7b2e · outbound

This paper cites https://en.wikipedia.org/w/index.php?title=Object%E2%80%93relational_impedance_mismatch&oldid=1134321907.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair https://en.wikipedia.org/w/index.php?title=Object%E2%80%93relational_impedance_mismatch&oldid=1134321907

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.226741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 57d8c8a6-3bb4-44b6-9dfb-4caeb7dd187a · outbound

This paper cites https://flowable.com/open-source/docs/.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair https://flowable.com/open-source/docs/

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.201814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7d28fa0a-b58d-4cd4-9180-c8b76917c547 · outbound

This paper cites https://camunda.com/bpmn/reference/.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair https://camunda.com/bpmn/reference/

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.181602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fa722326-3e2c-447f-95d2-ce7be87ed043 · outbound

This paper cites https://www.omg.org/spec/BPMN/2.0.2/PDF.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair https://www.omg.org/spec/BPMN/2.0.2/PDF

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.163477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0034c37e-78e3-48a7-8fd4-d19475bd6f4c · outbound

This paper cites https://www.omg.org/spec/bpmn/2.0/About-BPMN.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair https://www.omg.org/spec/bpmn/2.0/About-BPMN

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.143536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2174f21c-960d-434b-8574-a5d50a63b23e · outbound

This paper cites Process Orchestration for end-to-end automation.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Process Orchestration for end-to-end automation

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.121296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 56a8924d-9746-4742-a327-cc2f9fa7f036 · outbound

This paper cites Dikmans, Transforming BPMN into BPEL: Why and Ho w.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Dikmans, Transforming BPMN into BPEL: Why and Ho w

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.100435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9c1dfa7e-669c-440e-8ee0-5dc717eea000 · outbound

This paper cites Yannakakis, Hierarchical state machines, in: J.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Yannakakis, Hierarchical state machines, in: J

Reference 50

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.217752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ff5ce75f-eeef-47b8-af20-cb94a3d6f49a · outbound

This paper cites Girault, B.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Girault, B

Reference 51

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.195377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7c1854de-b376-4b0c-bce9-627546a0987e · outbound

This paper cites Hoare, Communicating sequential processes, Commun.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Hoare, Communicating sequential processes, Commun

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.779417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e38e981d-5514-4306-9a11-dcfeafa72079 · outbound

This paper cites Cassandras, Discrete event systems: Modeling and performance analysis, 1st ed., CRC, Boca Raton, FL, 1993.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Cassandras, Discrete event systems: Modeling and performance analysis, 1st ed., CRC, Boca Raton, FL, 1993

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.081068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8b2d6f10-0bc6-45ba-bf4a-f16bdc6a79ae · outbound

This paper cites López-Pintado, M.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair López-Pintado, M

Reference 54

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:06.189131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e0efb982-2f85-4dad-be76-7fb95032e22d · outbound

This paper cites Bagozi, D.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Bagozi, D

Reference 55

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.139865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bfb4d5ef-9012-4cbd-8a92-f6e3c7830673 · outbound

This paper cites Mavridou, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Mavridou, A

Reference 56

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.117965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e51275bc-a737-4e48-b1d3-d1f11d5a0a17 · outbound

This paper cites Mavridou, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Mavridou, A

Reference 57

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.093662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a2067c09-1252-4ef5-9cbc-a5b01bf280e9 · outbound

This paper cites Mavridou, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Mavridou, A

Reference 58

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.066803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6b851179-bc64-480d-ae6f-b007bd43bb0d · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 59

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.039630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3bf6a88b-788a-4156-895b-68bc0be85ee3 · outbound

This paper cites Rodler, W.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Rodler, W

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.058110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 065a4f13-a463-4cb9-8103-1a4ffabebaee · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.846594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dffb2e1c-46eb-4f9f-97a4-5fb2fb1c49b1 · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.852571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb7aac42-311d-41b5-a803-6abeb31ed729 · outbound

This paper cites Corradini, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Corradini, A

Reference 63

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:05.907896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c312dab2-25bb-4839-b6b4-1c4fed129884 · outbound

This paper cites Corradini, A.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Corradini, A

Reference 64

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:57:05.765350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation db258687-39b6-4a18-8037-50735f4394c8 · outbound

This paper cites Falazi, M.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Falazi, M

Reference 65

Resolution: verified exact; doi, observed 2026-08-07T10:57:05.002269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0307ec4f-0962-4fe2-acff-4992cbcfd063 · outbound

This paper cites Falazi, M.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Falazi, M

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-07T10:57:04.878220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28485b92-684a-4b98-b029-1091485e7ff7 · outbound

This paper cites Klinger, L.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Klinger, L

Reference 67

Resolution: verified exact; doi, observed 2026-08-07T10:57:04.974216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4df87054-91b8-4d25-821c-f29c972655ee · outbound

This paper cites an unresolved cited work.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Unresolved cited work

Reference 68

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:57:07.038031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 57327871-229f-4994-9758-e4d6b437d245 · outbound

This paper cites A Comprehensive Survey of Upgradeable Smart Contract Patterns.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair A Comprehensive Survey of Upgradeable Smart Contract Patterns

Reference 69

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:57:05.507665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b13856b2-256d-43f7-b142-5cc050403781 · outbound

This paper cites Girish, S.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Girish, S

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:07.020277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5a8113cb-5067-43b6-8465-2c1117b244c2 · outbound

This paper cites Palladino, The state of smart contract upgrades.

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair Palladino, The state of smart contract upgrades

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:57:06.999521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers