Yicong Zhu

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Transition Systems

Computation Tree Logic

Automated Verification

Top Venues

Comput. Phys. Commun.

Publications

Yicong Zhu, Changnian Han, Peng Zhang, Guojing Cong, James R. Kozloski, Chih-Chieh Yang, Leili Zhang, Yuefan Deng
AI-aided multiscale modeling of physiologically-significant blood clots. Comput. Phys. Commun. 287 (2023)
Changnian Han, Peng Zhang, Yicong Zhu, Guojing Cong, James R. Kozloski, Chih-Chieh Yang, Leili Zhang, Yuefan Deng
Scalable multiscale modeling of platelets with 100 million particles. J. Supercomput. 78 (18) (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. CoRR (2022)
Yicong Zhu, Changnian Han, Peng Zhang, Guojing Cong, James R. Kozloski, Chih-Chieh Yang, Leili Zhang, Yuefan Deng
AI-aided multiscale modeling of physiologically-significant blood clots. CoRR (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. SRDS (2022)
Yicong Zhu, Peng Zhang, Changnian Han, Guojing Cong, Yuefan Deng
Enabling AI-Accelerated Multiscale Modeling of Thrombogenesis at Millisecond and Molecular Resolutions on Supercomputers. ISC (2021)