1. Bitcoin-Powered IoT Networks for Climate Change Research: a Peer-to-Peer Micro-Payment System to Enhance Data Collection;Proceedings of the 2023 8th International Conference on Cloud Computing and Internet of Things;2023-09-22
2. Towards automated verification of Bitcoin-based decentralised applications;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
3. An Efficient Block Validation Mechanism for UTXO-based Blockchains;2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2022-05
4. Testing Methods for Blockchain Applications;Communications in Computer and Information Science;2022
5. Liquidity Analysis in Resource-Aware Programming;Formal Aspects of Component Software;2022