Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Life Cycle of Smart Contracts in Blockchain Ecosystems
Making Smart Contracts Smarter
Blockchain - From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract)
Towards a Design Philosophy for Interoperable Blockchain Systems
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
On Trees, Chains and Fast Transactions in the Blockchain
A scalable verification solution for blockchains
The Blockchain as a Decentralized Security Framework [Future Directions]
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Understanding the software development practices of blockchain projects: a survey
Lessons Learned from Developing Permissioned Blockchains
A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts
BlockSci: Design and applications of a blockchain analysis platform
Understanding Blockchain Consensus Models
From Institutions to Code: Towards Automated Generation of Smart Contracts
Turning Trust Around: Smart Contract-Assisted Public Key Infrastructure
Bug Characteristics in Blockchain Systems: A Large-Scale Empirical Study
A Temporal Blockchain: A Formal Analysis
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things
Beyond Bitcoin - Part I: A critical look at blockchain-based systems
Factors influencing Internet shopping value and customer repurchase intention
Forecasting model of a movie's profitability
crowdsourcing the last mile delivery of online orders by exploiting the social networks of retail .
NooShare : A decentralized ledger of shared computational resources
Immigration theory for a new century : Some problems and opportunities