Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Blockchain-based Smart Contracts: A Systematic Mapping Study
Blockchain contract: Securing a blockchain applied to smart contracts
Survey of consensus protocols on blockchain applications
Making Smart Contracts Smarter
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
Understanding the software development practices of blockchain projects: a survey
A Survey on the Security of Blockchain Systems
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
Supply Chain Management based on Blockchain: A Systematic Mapping Study
Bug Characteristics in Blockchain Systems: A Large-Scale Empirical Study
Configuring blockchain architectures for transaction information in blockchain consortiums: The case of accounting and supply chain systems
SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts
Formal Verification of Smart Contracts: Short Paper
Blockchain contract: A complete consensus using blockchain
Smart Contracts Using Blockly: Representing a Purchase Agreement Using a Graphical Programming Language
A Survey of Blockchain: Techniques, Applications, and Challenges
Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges
Untangling Blockchain: A Data Processing View of Blockchain Systems
From Institutions to Code: Towards Automated Generation of Smart Contracts
Blockchains and Online Dispute Resolution: Smart Contracts as an Alternative to Enforcement
Memory replay in balanced recurrent networks
A Weather-Based Hybrid Method for 1-Day Ahead Hourly Forecasting of PV Power Output
Labeled Random Finite Sets and the Bayes Multi-Target Tracking Filter
Practical byzantine fault tolerance and proactive recovery
Regulation by mitophagy.