1. A Survey on Blockchain in Robotics: Issues, Opportunities, Challenges and Future Directions
2. Towards verifying ethereum smart contract bytecode in Isabelle/HOL
3. Isaac Animah and Mahmood Shafiee . 2018. A framework for assessment of technological readiness level (TRL) and commercial readiness index (CRI) of asset end-of-life strategies . In Safety and Reliability-Safe Societies in a Changing World . CRC Press , 1767--1773. Isaac Animah and Mahmood Shafiee. 2018. A framework for assessment of technological readiness level (TRL) and commercial readiness index (CRI) of asset end-of-life strategies. In Safety and Reliability-Safe Societies in a Changing World. CRC Press, 1767--1773.
4. Smart contracts on the blockchain – A bibliometric analysis and review
5. LM Bach , Branko Mihaljevic , and Mario Zagar . 2018 . Comparative analysis of blockchain consensus algorithms . In 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). IEEE, 1545--1550 . LM Bach, Branko Mihaljevic, and Mario Zagar. 2018. Comparative analysis of blockchain consensus algorithms. In 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). IEEE, 1545--1550.