Yezhou Liu

Orcid: 0000-0002-9296-7408

According to our database1, Yezhou Liu authored at least 7 papers between 2020 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Towards automated deduction in cP systems.
Inf. Sci., 2022

Logarithmic SAT Solution with Membrane Computing.
Axioms, 2022

cPV - Simulation and Verification for Membrane Computing.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021
Formal verification of cP systems using Coq.
J. Membr. Comput., 2021

An efficient labelled nested multiset unification algorithm.
J. Membr. Comput., 2021

A Sublinear Sudoku Solution in cP Systems and its Formal Verification.
Comput. Sci. J. Moldova, 2021

2020
Formal verification of cP systems using PAT3 and ProB.
J. Membr. Comput., 2020


  Loading...