Automated Execution of Financial Contracts on Blockchains

Bitcoin: A Peer-to-Peer Electronic Cash System

Dr Craig S Wright · SSRN Electronic Journal · 2008 · 14.3K citations · Full text

Computing, Computer Science, Computer Systems +15

Ethereum: A Secure Decentralised Generalised Transaction Ledger

Gavin Wood · 2013 · 5.3K citations

Computing, Computer Science, Cybersecurity +15

Making Smart Contracts Smarter

Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations

Computing, Computer Science, Information Technology +14

Classes of recursively enumerable sets and their decision problems

H. G. Rice · Transactions of the American Mathematical Society · 1953 · 746 citations

Natural Sciences, Computer Science, Mathematics +14

Classes of Recursively Enumerable Sets and Their Decision Problems

H. G. Rice · Transactions of the American Mathematical Society · 1953 · 134 citations · Full text

Natural Sciences, Computer Science, Mathematics +14