On the public citation graph

A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

https://doi.org/10.1109/access.2021.3081926
0 signed · 122 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.2702openalex-snapshot
Caterpillar: A business process execution engine on the Ethereum blockchain
inferredcites →https://doi.org/10.1007/978-1-4615-0925-7openalex-snapshot
Ontology Learning for the Semantic Web
inferredcites →https://doi.org/10.1007/978-3-030-01177-2_88openalex-snapshot
A Blockchain-Based Decentralized System for Proper Handling of Temporary Employment Contracts
inferredcites →https://doi.org/10.1007/978-3-030-21290-2_25openalex-snapshot
Dynamic Role Binding in Blockchain-Based Collaborative Business Processes
inferredcites →https://doi.org/10.1007/978-3-030-63479-7_9openalex-snapshot
ContracT – from Legal Contracts to Formal Specifications: Preliminary Results
inferredcites →https://doi.org/10.1007/978-3-319-11955-7_55openalex-snapshot
The ProtégéVOWL Plugin: Ontology Visualization for Everyone
inferredcites →https://doi.org/10.1007/978-3-319-21915-8_1openalex-snapshot
Creation of Smart-Contracting Collaborations for Decentralized Autonomous Organizations
inferredcites →https://doi.org/10.1007/978-3-319-59536-8_3openalex-snapshot
Understanding the Blockchain Using Enterprise Ontology
inferredcites →https://doi.org/10.1007/978-3-662-50539-7_3openalex-snapshot
Establishing Distributed Governance Infrastructures for Enacting Cross-Organization Collaborations
inferredcites →https://doi.org/10.1007/978-981-10-5427-3_61openalex-snapshot
Designing a Smart-Contract Application Layer for Transacting Decentralized Autonomous Organizations
inferredcites →https://doi.org/10.1007/s00287-019-01178-xopenalex-snapshot
Blockchain Support for Collaborative Business Processes
inferredcites →https://doi.org/10.1007/s00450-017-0348-5openalex-snapshot
Privacy-preserving blockchain-based electric vehicle charging with dynamic tariff decisions
inferredcites →https://doi.org/10.1007/s10506-018-9223-3openalex-snapshot
On legal contracts, imperative and declarative smart contracts, and blockchain systems
inferredcites →https://doi.org/10.1007/s10657-014-9439-yopenalex-snapshot
Institutional competition of optional codes in European contract law
inferredcites →https://doi.org/10.1007/s10796-009-9164-1openalex-snapshot
Specification and verification of harmonized business-process collaborations
inferredcites →https://doi.org/10.1007/s10817-014-9305-1openalex-snapshot
HermiT: An OWL 2 Reasoner
inferredcites →https://doi.org/10.1007/s11761-015-0183-0openalex-snapshot
Sound conflict management and resolution for virtual-enterprise collaborations
inferredcites →https://doi.org/10.1007/s13369-020-05245-4openalex-snapshot
Deriving and Formalizing Requirements of Decentralized Applications for Inter-Organizational Collaborations on Blockchain
inferredcites →https://doi.org/10.1016/bs.adcom.2019.06.001openalex-snapshot
Blockchain technology for decentralized autonomous organizations
inferredcites →https://doi.org/10.1016/j.ijinfomgt.2019.05.002openalex-snapshot
Blockchain technology and enterprise operational capabilities: An empirical test
inferredcites →https://doi.org/10.1016/j.infsof.2016.08.004openalex-snapshot
Evolving process views
inferredcites →https://doi.org/10.1016/j.jbvi.2019.e00151openalex-snapshot
Blockchain Disruption and Decentralized Finance: The Rise of Decentralized Business Models
inferredcites →https://doi.org/10.1016/j.techfore.2019.03.015openalex-snapshot
Supply chain re-engineering using blockchain technology: A case of smart contract based tracking process
inferredcites →https://doi.org/10.1088/1367-2630/aba062openalex-snapshot
Lightning network: a second path towards centralisation of the Bitcoin economy*
inferredcites →https://doi.org/10.1093/law/9780198702627.001.0001openalex-snapshot
Commentary on the UNIDROIT Principles of International Commercial Contracts (PICC)
inferredcites →https://doi.org/10.1109/5254.920602openalex-snapshot
Ontology learning for the Semantic Web
inferredcites →https://doi.org/10.1109/compsac.2018.00025openalex-snapshot
SPESC: A Specification Language for Smart Contracts
inferredcites →https://doi.org/10.1109/ecit52743.2021.00022openalex-snapshot
Blockchain-based Cross-border E-business Payment Model
inferredcites →https://doi.org/10.1109/edocw.2011.43openalex-snapshot
Solving Service Ecosystem Governance
inferredcites →https://doi.org/10.1109/fas-w.2016.53openalex-snapshot
From Institutions to Code: Towards Automated Generation of Smart Contracts
inferredcites →https://doi.org/10.1109/fdl.2018.8524068openalex-snapshot
SmaCoNat: Smart Contracts in Natural Language
inferredcites →https://doi.org/10.1109/hicss.1998.648310openalex-snapshot
Modeling directed obligations and permissions in trade contracts
inferredcites →https://doi.org/10.1109/icasi.2018.8394569openalex-snapshot
Blockchain based smart contract for bidding system
inferredcites →https://doi.org/10.1109/icbc48266.2020.9169399openalex-snapshot
Domain Specific Language for Smart Contract Development
inferredcites →https://doi.org/10.1109/icedeg.2018.8372356openalex-snapshot
eGov-DAO: a Better Government using Blockchain based Decentralized Autonomous Organization
inferredcites →https://doi.org/10.1109/icedeg48599.2020.9096704openalex-snapshot
Prerequisites for the Adoption of the X - Road Interoperability and Data Exchange Framework: A Comparative Study
inferredcites →https://doi.org/10.1109/ijcnn.2018.8489235openalex-snapshot
Self-Aware Smart Contracts with Legal Relevance
inferredcites →https://doi.org/10.1109/infocomwkshps47286.2019.9093792openalex-snapshot
EdgeToll: A Blockchain-based Toll Collection System for Public Sharing of Heterogeneous Edges
inferredcites →https://doi.org/10.1109/re48521.2020.00049openalex-snapshot
Symboleo: Towards a Specification Language for Legal Contracts
inferredcites →https://doi.org/10.1109/srii.2012.40openalex-snapshot
A Cloud HUB for Brokering Business Processes as a Service: A "Rendezvous" Platform that Supports Semi-automated Background Checked Partner Discovery for Cross-Enterprise Collaboration
inferredcites →https://doi.org/10.1109/tsc.2013.51openalex-snapshot
Service Outsourcing with Process Views
inferredcites →https://doi.org/10.1142/s0218843007001664openalex-snapshot
DISCOVERING PATTERNS FOR INTER-ORGANIZATIONAL BUSINESS PROCESS COLLABORATION
inferredcites →https://doi.org/10.1145/1629175.1629199openalex-snapshot
Can automated agents proficiently negotiate with humans?
inferredcites →https://doi.org/10.1145/2757001.2757003openalex-snapshot
The protégé project
inferredcites →https://doi.org/10.1145/2846012.2846052openalex-snapshot
Conflict-Resolution Lifecycles for Governed Decentralized Autonomous Organization Collaboration
inferredcites →https://doi.org/10.1145/3359552openalex-snapshot
Some simple economics of the blockchain
inferredcites →https://doi.org/10.1145/3419804.3421454openalex-snapshot
iContractML
inferredcites →https://doi.org/10.1186/s13174-015-0023-7openalex-snapshot
eContractual choreography-language properties towards cross-organizational business collaboration
inferredcites →https://doi.org/10.1628/002268809789648049openalex-snapshot
Commentary on the UNIDROIT Principles of International Commercial Contracts (PICC)
inferredcites →https://doi.org/10.48550/arxiv.1912.12681openalex-snapshot
EdgeToll: A Blockchain-based Toll Collection System for Public Sharing of Heterogeneous Edges
inferredcites →https://doi.org/10.5210/fm.v2i9.548openalex-snapshot
Formalizing and Securing Relationships on Public Networks
inferredcites →https://doi.org/10.7551/mitpress/7682.001.0001openalex-snapshot
The Art of Agent-Oriented Modeling

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4573001openalex-extracted
inferred← citeshttps://doi.org/10.1007/978-3-031-05760-1_20openalex-snapshot
Contratto – A Method for Transforming Legal Contracts into Formal Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-08954-1_109openalex-snapshot
Decentralising the Digital Economy: The Blockchain and Competition Remedy
inferred← citeshttps://doi.org/10.1007/978-3-031-51643-6_4openalex-snapshot
Preventing Data-Security Breaches and Patient-Safety Risks in Cross-Blockchain e-Healthcare Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-75771-6_26openalex-snapshot
Enhanced Encryption Scheme for Cloud-Based Health Care Data
inferred← citeshttps://doi.org/10.1007/978-3-031-81928-5_14openalex-snapshot
Extending Trusted DApp Modeling for Decentralized Autonomous Organization Development
inferred← citeshttps://doi.org/10.1007/978-3-032-11612-3_76openalex-snapshot
Regulating the Revolution: An Analysis of the Legal Challenges and Advantages of Blockchain Technology
inferred← citeshttps://doi.org/10.1007/978-3-032-12484-5_9openalex-snapshot
The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts
inferred← citeshttps://doi.org/10.1007/978-3-032-12795-2_2openalex-snapshot
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
inferred← citeshttps://doi.org/10.1007/978-981-16-6624-7_54openalex-snapshot
Auto-generation of Smart Contracts from a Domain-Specific XML-Based Language
inferred← citeshttps://doi.org/10.1007/978-981-95-4142-3_22openalex-snapshot
Smart Contract Penetrating Supervision Solution for Regional Equity Markets
inferred← citeshttps://doi.org/10.1007/978-981-99-0838-7_53openalex-snapshot
A Review on Blockchain Strategies and Its Applications
inferred← citeshttps://doi.org/10.1007/978-981-99-7161-9_9openalex-snapshot
When Blockchain Meets Domain Specific Language: A Review
inferred← citeshttps://doi.org/10.1007/978-981-99-9247-8_46openalex-snapshot
A Survey on the Integration of Blockchain Smart Contracts and Natural Language Processing
inferred← citeshttps://doi.org/10.1007/s10257-025-00699-1openalex-snapshot
Decentralized autonomous organization in built environments: applications, potential and limitations
inferred← citeshttps://doi.org/10.1007/s10270-023-01109-1openalex-snapshot
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review
inferred← citeshttps://doi.org/10.1007/s10586-025-05469-9openalex-snapshot
A description language for enhancing transparency and interoperability in blockchain smart contracts
inferred← citeshttps://doi.org/10.1007/s11042-025-21039-yopenalex-snapshot
Designing a Web3 ecosystem to facilitate a participatory economy for the movie and series industry
inferred← citeshttps://doi.org/10.1007/s42979-022-01228-4openalex-snapshot
From Legal Contracts to Formal Specifications: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1007/s44227-024-00033-0openalex-snapshot
Kaizen: A Street Smart Low Latency-Aware Resource Choreography Scheme for Decentralized Autonomous Organization (DAO) and Non-DAO Based Application Execution Over Blockchain and MEC Empowered 6 G Network
inferred← citeshttps://doi.org/10.1016/j.autcon.2025.106209openalex-snapshot
Systematic analysis of large language models for automating document-to-smart contract transformation
inferred← citeshttps://doi.org/10.1016/j.future.2022.11.013openalex-snapshot
Designing secure business processes for blockchains with SecBPMN2BC
inferred← citeshttps://doi.org/10.1016/j.jii.2021.100314openalex-snapshot
Towards user-centered and legally relevant smart-contract development: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.jii.2024.100630openalex-snapshot
The role of ontologies in smart contracts: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102911openalex-snapshot
Pacta sunt servanda: Legal contracts in
inferred← citeshttps://doi.org/10.1016/j.websem.2023.100809openalex-snapshot
Semantic Web and blockchain technologies: Convergence, challenges and research trends
inferred← citeshttps://doi.org/10.1108/dprg-04-2023-0053openalex-snapshot
A study on blockchain-based marketplace governance platform adoption: a multi-industry perspective
inferred← citeshttps://doi.org/10.1108/dprg-09-2023-0126openalex-snapshot
Enhancing the democratic nature of voting processes within decentralized autonomous organizations
inferred← citeshttps://doi.org/10.1108/mbr-07-2024-0132openalex-snapshot
New pathways for international business governance via blockchain-based decentralized autonomous organizations
inferred← citeshttps://doi.org/10.1109/access.2021.3115577openalex-snapshot
Toward the Ontological Modeling of Smart Contracts: A Solidity Use Case
inferred← citeshttps://doi.org/10.1109/access.2022.3161392openalex-snapshot
Longevity Foundation: Perspective on Decentralized Autonomous Organization for Special-Purpose Financing
inferred← citeshttps://doi.org/10.1109/apsec66846.2025.00040openalex-snapshot
caSPESC2Vyper: Conformant and Automatic Generation from DeFi SPESC Legal Contract to Vyper Smart Contract
inferred← citeshttps://doi.org/10.1109/blockchain53845.2021.00076openalex-snapshot
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison
inferred← citeshttps://doi.org/10.1109/compsac57700.2023.00029openalex-snapshot
Requirements for an international educational collaboration system architecture, a case study: Coláiste Nano Nagle School in Limerick, Ireland, and Irshad High School in Kabul, Afghanistan
inferred← citeshttps://doi.org/10.1109/icaaic53929.2022.9792875openalex-snapshot
Smart Verification System for Media File Using Blockchain
inferred← citeshttps://doi.org/10.1109/icaaic60222.2024.10575276openalex-snapshot
Secured Land Registration using Ethereum Blockchain and IPFS
inferred← citeshttps://doi.org/10.1109/icadeis65852.2025.10932999openalex-snapshot
Implementation of Zero Knowledge Proof and Smart Contract for E-Voting System on Polygon Blockchain
inferred← citeshttps://doi.org/10.1109/iecon49645.2022.9968450openalex-snapshot
Automated usage control for secure data sharing based on Ricardian contracts
inferred← citeshttps://doi.org/10.1109/teeccon64024.2024.10939435openalex-snapshot
Securing the Future of Electronic Health Records with Blockchain Integration
inferred← citeshttps://doi.org/10.1145/3589335.3651898openalex-snapshot
Open Metaverse: Issues, Evolution, and Future
inferred← citeshttps://doi.org/10.1145/3653679openalex-snapshot
A Language-independent Quantitative Analysis Method on Conformance between Legal Contract and Smart Contract
inferred← citeshttps://doi.org/10.1145/3721283openalex-snapshot
Evaluating the Need for Explanations in Blockchain Smart Contracts to Reconcile Surprises
inferred← citeshttps://doi.org/10.1145/3777414openalex-snapshot
Exploring Human-Centric Dimensions in Blockchain Smart Contracts
inferred← citeshttps://doi.org/10.1145/3794786.3830796openalex-snapshot
Legally-Relevant Smart Contracts on a Stateful Blockchain
inferred← citeshttps://doi.org/10.1145/3810941openalex-snapshot
A Systematisation of Transparency, Accountability and Understandability in Blockchain Smart Contracts
inferred← citeshttps://doi.org/10.18174/579644openalex-snapshot
Community contractual networks
inferred← citeshttps://doi.org/10.21203/rs.3.rs-7976367/v1openalex-snapshot
Mapping the Intellectual Landscape of Blockchain Research: A Bibliometric Analysis
inferred← citeshttps://doi.org/10.21203/rs.3.rs-8397708/v1openalex-snapshot
Automating Accountability: Smart Contracts and the Legal Future of Digital Product Passports in the EU Circular Economy
inferred← citeshttps://doi.org/10.22214/ijraset.2024.59283openalex-snapshot
Decentralized E-Commerce for Digital Assets
inferred← citeshttps://doi.org/10.22219/ljih.v32i1.29964openalex-snapshot
A critical overview of Islamic Performance Bonds
inferred← citeshttps://doi.org/10.22531/muglajsci.1280985openalex-snapshot
THE EVOLUTION OF SMART CONTRACT PLATFORMS: A LOOK AT CURRENT TRENDS AND FUTURE DIRECTIONS
inferred← citeshttps://doi.org/10.2478/amns-2024-1366openalex-snapshot
The Legal Effect and Application of Smart Contracts under the Administrative Law System
inferred← citeshttps://doi.org/10.26668/indexlawjournals/2526-0049/2022.v8i1.8749openalex-snapshot
Smart Contracts no âmbito dos Non-Fungible Tokens (NFTs): desafios e perspectivas de normatização
inferred← citeshttps://doi.org/10.3389/fbloc.2022.931246openalex-snapshot
Augmenting Blockchain With Competition Law for a Sustainable Economic Evolution
inferred← citeshttps://doi.org/10.3389/fbloc.2026.1882027openalex-snapshot
Comparative evaluation of active learning, random sampling, and deep learning for smart contract vulnerability detection
inferred← citeshttps://doi.org/10.3390/app12115339openalex-snapshot
Reconfigurable Smart Contracts for Renewable Energy Exchange with Re-Use of Verification Rules
inferred← citeshttps://doi.org/10.3390/electronics14193788openalex-snapshot
Design of an Intellectual Property Rights Certification System Based on a Consortium Blockchain
inferred← citeshttps://doi.org/10.3390/fi13120319openalex-snapshot
The Machine-to-Everything (M2X) Economy: Business Enactments, Collaborations, and e-Governance
inferred← citeshttps://doi.org/10.3390/fi16120452openalex-snapshot
Policy-Based Smart Contracts Management for IoT Privacy Preservation
inferred← citeshttps://doi.org/10.3390/sym14091796openalex-snapshot
NetDAO: Toward Trustful and Secure IoT Networks without Central Gateways
inferred← citeshttps://doi.org/10.3897/jucs.97112openalex-snapshot
Evaluation of a Legally Binding Smart-Contract Language for Blockchain Applications
inferred← citeshttps://doi.org/10.4018/979-8-3373-3760-9.ch012openalex-snapshot
AI-Driven Governance
inferred← citeshttps://doi.org/10.4018/979-8-3693-1532-3.ch012openalex-snapshot
Transforming the Travel Landscape
inferred← citeshttps://doi.org/10.4018/979-8-3693-3723-3.ch001openalex-snapshot
Emerging Paradigms in Non-Profit Governance
inferred← citeshttps://doi.org/10.4204/eptcs.368.2openalex-snapshot
From Legal Contracts to Legal Calculi: the code-driven normativity
inferred← citeshttps://doi.org/10.54254/2754-1169/2024.19285openalex-snapshot
Decentralized Autonomous Community: Concept, Model, and Innovation
inferred← citeshttps://doi.org/10.5753/cibse.2022.20962openalex-snapshot
Advances in a DSL to Specify Smart Contracts for Application Integration Processes
inferred← citeshttps://doi.org/10.62991/eb1996192528openalex-snapshot
THE POTENTIAL OF AI IN B2B E-COMMERCE: A STRUCTURED LITERATURE REVIEW
inferred← citeshttps://doi.org/10.63090/ijjsrs/3049.0618.0010openalex-snapshot
Role of Smart Contract in Arbitration: A Critical Analysis
inferred← citeshttps://doi.org/10.9734/jsrr/2023/v29i91786openalex-snapshot
Exploring the Landscape of Decentralized Autonomous Organizations: A Comprehensive Review of Blockchain Initiatives
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.