Yi Ding

Recovery-Oriented Computing : Main Techniques of Building Multitier Dependability

Yi Ding, 2007 .

Verification of concurrent code from synchronous specifications

Jean-Pierre Talpin, Jian Zhu, Kai Hu, 2021, Sci. Comput. Program..

A Scalable Infrastructure for Online Performance Analysis on CFD Application

Kai Hu, Shu Jiang, Xinyu Zhang, 2012 .

A Parallel Smart Contract Model

Wei Yu, Kai Hu, Yi Ding, 2018, ICML 2018.

Smart Contract Engineering

Jian Zhu, Yi Ding, Kai Hu, 2020, Electronics.

SC-RBAC: A Smart Contract based RBAC Model for DApps

Kai Hu, Zhongyi Wu, Yi Ding, 2019, HCC.

Research and Exploration of Mechanism for Reconfigurable Multi-Cluster System

Kai Hu, Yi Ding, Risu Na, 2009, 2009 First International Conference on Information Science and Engineering.