Concepedia

Smart Contract Execution Models

Smart Contract Execution Models is a computational framework that defines the operational mechanisms and determinism guarantees governing how smart contracts are instantiated, processed, and finalized within a distributed ledger environment.

71

Publications

3.7K

Citations

238

Authors

111

Institutions

Publications per year

2017–2026

68

Parents

Publications

71

Blockchain-oriented dynamic modelling of smart contract design and execution in the supply chain

Alexandre Dolgui, Dmitry Ivanov, Semyon Potryasaev et al. · International Journal of Production Research · 2019 · 533 citations

, , +17

Rethinking Permissioned Blockchains

Marko Vukolić · 2017 · 287 citations

, , +17

From Institutions to Code: Towards Automated Generation of Smart Contracts

Christopher Frantz, Mariusz Nowostawski · 2016 · 224 citations

, , +17

Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models

Tesnim Abdellatif, Kei-Léo Brousmiche · 2018 · 167 citations

, , +16

Arbitrum: Scalable, private smart contracts

Harry Kalodner, Steven Goldfeder, Xiaoqi Chen et al. · USENIX Security Symposium · 2018 · 136 citations

, , +7

1–5 of 71

Authors

238

  1. MB
    Massimo Bartoletti

    University of Cagliari, Italy

    3 publications · 57 citations

    3

    h-index

  2. HK
    Henry Kim

    York University, Canada

    3 publications · 116 citations

    3

    h-index

  3. ML
    Marek Laskowski

    York University, Canada

    3 publications · 116 citations

    3

    h-index

  4. TA
    Tesnim Abdellatif

    Électricité de France (France), France

    2 publications · 187 citations

    2

    h-index

  5. JS
    Jun Sun

    National University of Singapore, Singapore

    2 publications · 72 citations

    2

    h-index

1–5 of 238

Institutions

111

  1. University of Cagliari

    Cagliari, Italy

    4 h-index

    8 publications

    210 citations

  2. Guilin University of Electronic Technology

    Guilin, China

    2 h-index

    2 publications

    80 citations

  3. Zhejiang University

    Hangzhou, China

    2 h-index

    2 publications

    63 citations

  4. Institut de Recherche Technologique SystemX

    Palaiseau, France

    2 h-index

    3 publications

    207 citations

  5. University of Copenhagen

    Copenhagen, Denmark

    2 h-index

    8 publications

    532 citations

  6. University of Amsterdam

    Amsterdam, The Netherlands

    2 h-index

    4 publications

    254 citations

  7. Électricité de France (France)

    Paris, France

    2 h-index

    2 publications

    187 citations

  8. Chinese Academy of Sciences

    Beijing, China

    2 h-index

    6 publications

    142 citations

1–8 of 111

Venues

  1. arXiv (Cornell University)

    Repository · 5 publications · 146 citations

    5

    h-index

  2. SSRN Electronic Journal

    Repository · 3 publications · 54 citations

    3

    h-index

  3. IEEE Access

    2 publications · 95 citations

    2

    h-index

  4. Frontiers in Blockchain

    2 publications · 27 citations

    2

    h-index

  5. PLoS ONE

    1 publications · 31 citations

    1

    h-index

1–5