CPN Model Based Standard Feature Verification Method for REST Service Architecture. - Jing Liu 003; Zhen-Tian Liu; Yu-Qiang Zhao (CollaborateCom, 2018)

Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models. - Zhen-Tian Liu; Jing Liu 003 (COMPSAC (2), 2019)

A Survey on Security Verification of Blockchain Smart Contracts. - Jing Liu 003; Zhen-Tian Liu (IEEE Access, 2019)

MBB-MOGWO: Modified Boltzmann-Based Multi-Objective Grey Wolf Optimizer. - Jing Liu 003; Zhentian Liu; Yang Wu; Keqin Li 001 (Sensors, 2024)