Zhuo Cai

Orcid: 0000-0001-9673-6888

Affiliations:
  • Hong Kong University of Science and Technology, Hong Kong


According to our database1, Zhuo Cai authored at least 7 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts.
Proc. ACM Program. Lang., October, 2023

A Game-theoretic Approach for Provably-Uniform Random Number Generation in Decentralized Networks.
CoRR, 2023

Game-Theoretic Randomness for Proof-of-Stake.
Proceedings of the Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, 2023

Trustless and Bias-resistant Game-theoretic Distributed Randomness.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

PureLottery: Fair Leader Election without Decentralized Random Number Generation.
Proceedings of the IEEE International Conference on Blockchain, 2023

2021
Towards Visual Question Answering on Pathology Images.
Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020
Pathological Visual Question Answering.
CoRR, 2020


  Loading...