Formal verification of cP systems using PAT3 and ProB. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (J. Membr. Comput., 2020)

A Sublinear Sudoku Solution in cP Systems and its Formal Verification. - Yezhou Liu; Radu Nicolescu; Jing Sun 002; Alec Henderson (Comput. Sci. J. Moldova, 2021)

An efficient labelled nested multiset unification algorithm. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (J. Membr. Comput., 2021)

Formal verification of cP systems using Coq. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (J. Membr. Comput., 2021)

cPV - Simulation and Verification for Membrane Computing. - Yezhou Liu; Jing Sun 002; Radu Nicolescu; Hai Wang 016 (QRS, 2022)

Logarithmic SAT Solution with Membrane Computing. - Radu Nicolescu; Michael J. Dinneen; James Cooper; Alec Henderson; Yezhou Liu (Axioms, 2022)

Towards automated deduction in cP systems. - Yezhou Liu; Radu Nicolescu; Jing Sun 002 (Inf. Sci., 2022)