Yezhou Liu

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 7

Top Topics

Constraint Programming

Formal Verification

Top Venues

J. Membr. Comput.

Comput. Sci. J. Moldova

Publications

Yezhou Liu, Radu Nicolescu, Jing Sun
Towards automated deduction in cP systems. Inf. Sci. 587 (2022)
Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang
cPV - Simulation and Verification for Membrane Computing. QRS (2022)
Radu Nicolescu, Michael J. Dinneen, James Cooper, Alec Henderson, Yezhou Liu
Logarithmic SAT Solution with Membrane Computing. Axioms 11 (1) (2022)
Yezhou Liu, Radu Nicolescu, Jing Sun
An efficient labelled nested multiset unification algorithm. J. Membr. Comput. 3 (3) (2021)
Yezhou Liu, Radu Nicolescu, Jing Sun
Formal verification of cP systems using Coq. J. Membr. Comput. 3 (3) (2021)
Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson
A Sublinear Sudoku Solution in cP Systems and its Formal Verification. Comput. Sci. J. Moldova 29 (1) (2021)
Yezhou Liu, Radu Nicolescu, Jing Sun
Formal verification of cP systems using PAT3 and ProB. J. Membr. Comput. 2 (2) (2020)