CIRD-F: Spread and Influence of COVID-19 in China L Zhou, K Wu, H Liu, Y Gao, X Gao Journal of Shanghai Jiaotong University (Science) 25, 147-156, 2020 | 24 | 2020 |
Certifying zero-knowledge circuits with refinement types J Liu, I Kretz, H Liu, B Tan, J Wang, Y Sun, L Pearson, A Miltner, I Dillig, ... arXiv preprint arXiv:2304.07648, 2023 | 6 | 2023 |