Yezhou Liu

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

Collaborative distances:

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

2022

Towards automated deduction in cP systems.

Yezhou Liu, Radu Nicolescu, Jing Sun

Inf. Sci., 2022

Logarithmic SAT Solution with Membrane Computing.

Radu Nicolescu, Michael J. Dinneen, James Cooper, Alec Henderson, Yezhou Liu

Axioms, 2022

cPV - Simulation and Verification for Membrane Computing.

Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Formal verification of cP systems using Coq.

Yezhou Liu, Radu Nicolescu, Jing Sun

J. Membr. Comput., 2021

An efficient labelled nested multiset unification algorithm.

Yezhou Liu, Radu Nicolescu, Jing Sun

J. Membr. Comput., 2021

A Sublinear Sudoku Solution in cP Systems and its Formal Verification.

Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson

Comput. Sci. J. Moldova, 2021

2020

Formal verification of cP systems using PAT3 and ProB.

Yezhou Liu, Radu Nicolescu, Jing Sun

J. Membr. Comput., 2020