Zhongxin Guo | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Yang Chen
117 publications
Peng Liu
107 publications
Shuo Chen
44 publications
Mao Yang
30 publications
Xian Zhang
9 publications
Lidong Zhou
8 publications
Nikolaj Bjorner
6 publications
Wenyan Liu
3 publications
Xiaobing Guo
2 publications
Nanqing Luo
2 publications
Zixuan Zeng
1 publication

research

∙ 04/17/2023

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts

Smart contracts are crucial elements of decentralized technologies, but ...

0 Nikolaj Bjorner, et al. ∙

research

∙ 07/13/2021

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version)

Anti-piracy is fundamentally a procedure that relies on collecting data ...

0 Xian Zhang, et al. ∙