Zhentian Liu

According to our database, Zhentian Liu authored at least 4 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MBB-MOGWO: Modified Boltzmann-Based Multi-Objective Grey Wolf Optimizer.

Jing Liu, Zhentian Liu, Yang Wu, Keqin Li

Sensors, March, 2024

2019

A Survey on Security Verification of Blockchain Smart Contracts.

Jing Liu, Zhen-Tian Liu

IEEE Access, 2019

Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models.

Zhen-Tian Liu, Jing Liu

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

CPN Model Based Standard Feature Verification Method for REST Service Architecture.

Jing Liu, Zhen-Tian Liu, Yu-Qiang Zhao

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018