We stand with Ukraine  

Yang Liu

Orcid: 0000-0001-7584-3174

Affiliations:
  • Shanghai Maritime University, Shanghai, China


According to our database1, Yang Liu authored at least 3 papers in 2022.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
DOCS: A Data Ownership Confirmation Scheme for Distributed Data Trading.
[BibTeX]
[DOI]
Yang Liu
,
Yang Zhang
,
Yongsheng Yang
,
Yan Ma
Syst., 2022

Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking.
[BibTeX]
[DOI]
Yang Liu
,
Ziyu Zhou
,
Yongsheng Yang
,
Yan Ma
Syst., 2022

A three-valued model abstraction framework for PCTL* stochastic model checking.
[BibTeX]
[DOI]
Yang Liu
,
Yan Ma
,
Yongsheng Yang
Autom. Softw. Eng., 2022


  Loading...