Contract Execution Semantics is a formal framework that defines the computational behavior and obligations of parties in automated contracting systems, specifying how contractual clauses are interpreted, enforced, and discharged within a given execution environment.
52
Publications
2.2K
Citations
130
Authors
70
Institutions
Publications per year
2017–2026
16
Publications
52
Lucius Gregory Meredith, Steve Bjorg · Communications of the ACM · 2003 · 134 citations · Full text
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang‐Wei Lin et al. · 2020 · 90 citations · Full text
1–5 of 52
Authors
130
- ZM
6
h-index
- PF
4
h-index
- SK
4
h-index
- CF
4
h-index
- SG
4
h-index
1–5 of 130
Institutions
70
The University of Queensland
Brisbane, Australia
7 h-index
18 publications
899 citations
Queensland University of Technology
Brisbane, Australia
6 h-index
17 publications
895 citations
University of California, Santa Cruz
Santa Cruz, United States
4 h-index
6 publications
244 citations
University of Kent
Canterbury, United Kingdom
3 h-index
5 publications
233 citations
Arizona State University
Tempe, United States
2 h-index
2 publications
67 citations
Northeastern University
Boston, United States
2 h-index
4 publications
216 citations
University of Trento
Trento, Italy
2 h-index
2 publications
75 citations
University of Ottawa
Ottawa, Canada
2 h-index
11 publications
372 citations
1–8 of 70
Venues
- ACM SIGPLAN Notices
2 publications · 80 citations
2
h-index
- arXiv (Cornell University)
Repository · 2 publications · 177 citations
2
h-index
- Automatica
1 publications · 44 citations
1
h-index
- IEEE Access
1 publications · 67 citations
1
h-index
- Queensland's institutional digital repository (The University of Queensland)
Repository · 1 publications · 16 citations
1
h-index
1–5