Matches in SemOpenAlex for { <https://semopenalex.org/work/W3156736175> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3156736175 abstract "In a blockchain environment, smart contracts have been defined to be a way of setting up trust between parties by providing a self-executing equivalent of legal contracts. Besides, ensuring correctness and reliability of smart contracts is vital to checking trust in blockchain-based systems. In this paper, we discuss a logic-based approach in order to ensure the quality of the blockchain in terms of trustworthiness of smart contracts by considering some minors behaving as a logical satisfiability service. The service selection is designed as a Proof of Work of the minors." @default.
- W3156736175 created "2021-04-26" @default.
- W3156736175 creator A5073280092 @default.
- W3156736175 creator A5086740653 @default.
- W3156736175 date "2021-01-01" @default.
- W3156736175 modified "2023-10-16" @default.
- W3156736175 title "Smart Contract Satisfiability Checking for Blockchain Consistency" @default.
- W3156736175 cites W1549449731 @default.
- W3156736175 cites W2772287189 @default.
- W3156736175 cites W2794965318 @default.
- W3156736175 cites W2899593607 @default.
- W3156736175 cites W2949980080 @default.
- W3156736175 cites W2953737708 @default.
- W3156736175 cites W2970573752 @default.
- W3156736175 cites W2973974458 @default.
- W3156736175 cites W2974196887 @default.
- W3156736175 cites W2995871203 @default.
- W3156736175 cites W2997035848 @default.
- W3156736175 cites W3011777425 @default.
- W3156736175 cites W3023319856 @default.
- W3156736175 cites W3102542096 @default.
- W3156736175 doi "https://doi.org/10.1007/978-3-030-73203-5_20" @default.
- W3156736175 hasPublicationYear "2021" @default.
- W3156736175 type Work @default.
- W3156736175 sameAs 3156736175 @default.
- W3156736175 citedByCount "0" @default.
- W3156736175 crossrefType "book-chapter" @default.
- W3156736175 hasAuthorship W3156736175A5073280092 @default.
- W3156736175 hasAuthorship W3156736175A5086740653 @default.
- W3156736175 hasConcept C144133560 @default.
- W3156736175 hasConcept C153701036 @default.
- W3156736175 hasConcept C154945302 @default.
- W3156736175 hasConcept C162853370 @default.
- W3156736175 hasConcept C168773769 @default.
- W3156736175 hasConcept C199360897 @default.
- W3156736175 hasConcept C2776436953 @default.
- W3156736175 hasConcept C2779687700 @default.
- W3156736175 hasConcept C2779950589 @default.
- W3156736175 hasConcept C2780378061 @default.
- W3156736175 hasConcept C38652104 @default.
- W3156736175 hasConcept C41008148 @default.
- W3156736175 hasConcept C55439883 @default.
- W3156736175 hasConcept C80444323 @default.
- W3156736175 hasConceptScore W3156736175C144133560 @default.
- W3156736175 hasConceptScore W3156736175C153701036 @default.
- W3156736175 hasConceptScore W3156736175C154945302 @default.
- W3156736175 hasConceptScore W3156736175C162853370 @default.
- W3156736175 hasConceptScore W3156736175C168773769 @default.
- W3156736175 hasConceptScore W3156736175C199360897 @default.
- W3156736175 hasConceptScore W3156736175C2776436953 @default.
- W3156736175 hasConceptScore W3156736175C2779687700 @default.
- W3156736175 hasConceptScore W3156736175C2779950589 @default.
- W3156736175 hasConceptScore W3156736175C2780378061 @default.
- W3156736175 hasConceptScore W3156736175C38652104 @default.
- W3156736175 hasConceptScore W3156736175C41008148 @default.
- W3156736175 hasConceptScore W3156736175C55439883 @default.
- W3156736175 hasConceptScore W3156736175C80444323 @default.
- W3156736175 hasLocation W31567361751 @default.
- W3156736175 hasOpenAccess W3156736175 @default.
- W3156736175 hasPrimaryLocation W31567361751 @default.
- W3156736175 hasRelatedWork W12455754 @default.
- W3156736175 hasRelatedWork W12583312 @default.
- W3156736175 hasRelatedWork W1331764 @default.
- W3156736175 hasRelatedWork W14349579 @default.
- W3156736175 hasRelatedWork W2921878 @default.
- W3156736175 hasRelatedWork W2927358 @default.
- W3156736175 hasRelatedWork W4761847 @default.
- W3156736175 hasRelatedWork W7999270 @default.
- W3156736175 hasRelatedWork W8018568 @default.
- W3156736175 hasRelatedWork W6238336 @default.
- W3156736175 isParatext "false" @default.
- W3156736175 isRetracted "false" @default.
- W3156736175 magId "3156736175" @default.
- W3156736175 workType "book-chapter" @default.