Enabling AI-Accelerated Multiscale Modeling of Thrombogenesis at Millisecond and Molecular Resolutions on Supercomputers. - Yicong Zhu; Peng Zhang; Changnian Han; Guojing Cong; Yuefan Deng (ISC, 2021)

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (SRDS, 2022)

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (CoRR, 2022)

Scalable multiscale modeling of platelets with 100 million particles. - Changnian Han; Peng Zhang; Yicong Zhu; Guojing Cong; James R. Kozloski; Chih-Chieh Yang; Leili Zhang; Yuefan Deng (J. Supercomput., 2022)

AI-aided multiscale modeling of physiologically-significant blood clots. - Yicong Zhu; Changnian Han; Peng Zhang; Guojing Cong; James R. Kozloski; Chih-Chieh Yang; Leili Zhang; Yuefan Deng (Comput. Phys. Commun., 2023)

Improved Parameterized Algorithms for Scheduling with Precedence Constraints and Time Windows. - Feng Shi 003; Yicong Zhu; Guangwei Wu; Jingyi Liu; Jian-xin Wang 001 (COCOON (2), 2025)